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

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