爭取漢中的戰(zhàn)役中，劉備派陳式等十余營的兵力企圖斷馬鳴棧道，被徐晃趨軍打敗。跟隨劉備伐吳，與吳班統(tǒng)水軍。后在建興七年攻克武都、陰平二郡。在三國志中陳式早在劉備時代便被點用，在諸葛亮時代也是被重用的大將，不過其中并沒有記載其被殺一事，或者說其死都沒有記載。另有一說陳式是陳壽父親，但是這也只是傳說而已，其因乃是陳壽父親早亡，且當年陳壽父親為馬謖參軍，在馬謖被殺后也同受牽連受罰，有觀點便認為陳式便是陳壽之父，但是在之后攻打陰平武都兩郡時陳式被委以重任，這點與前者有悖，而且古人講究為長者諱，如果陳壽是陳式之子，不可能在《三國志》里直書其名，所以說這個觀點是不成立的。至于演義中的那個陳式被殺是肯定不可能的。

蜀漢之將。在定軍山曾被敵人夏侯淵俘獲，但是與夏侯尚交換戰(zhàn)俘得以返回。第三次北伐中，追擊魏軍失敗，被追究戰(zhàn)敗的責任，遭諸葛亮斬首。而與之同犯軍法的魏延因將來有用而免死。