《三國演義》記載了這樣一個故事：陳式、魏延等四將在進軍箕谷之時，不顧鄧芝勸阻，擅自違背諸葛亮的軍令，輕敵冒進，結果中司馬懿埋伏，損兵折將，事後諸葛亮將陳式斬首示眾，以正軍法。
孔明大驅士馬，復出祁山。勞軍已畢，魏延、陳式、杜瓊、張嶷入帳拜伏請罪。孔明曰：“是誰失陷了軍來？”延曰：“陳式不聽號令，潛入谷中，以至大敗。”式曰：“此事魏延教我行來。”孔明曰：“他倒救你，你反攀他！將令已違，不必巧說！”即叱武士推出陳式斬之。須臾懸手於帳前，以示諸將。——《三國演義》
在《三國演義》中，陳式可謂死的很冤枉很悲慘，原本擅自進軍並非陳式一個人的責任，支持陳式，並且嘲諷丞相的魏延也有很大的責任，然而諸葛亮卻因為魏延勇猛還有利用價值，隻殺陳式不殺魏延，在殺陳式之前，諸葛亮為了穩住陳式，防止他帶兵叛逃，居然還派遣鄧芝安撫陳式，在陳式認為諸葛亮不再追究的時候，卻又秋後算账，諸葛亮斬陳式的這段故事把涉及到的三個人都黑了一遍。
首先黑的是諸葛亮，實際上歷史上的諸葛亮是賞罰分明的，即使他視為己出、重點培養的得意門生馬謖，在違背他的部署導致街亭失守以後，依然被他斬殺，他自己也自貶三等謝罪，魏延因為諸葛亮不同意他的“子午谷”奇謀，多次公開感歎諸葛亮太怯懦，自己的才能沒有得到全部的施展，諸葛亮也沒有因此怪罪魏延，在魏延取得陽溪大捷以後，諸葛亮直接給予了他征西大將軍、假節、南鄭侯的殊榮。而《三國演義》這段故事卻讓讀者誤以為諸葛亮當面一套背後一套，賞罰不明，對將領不能一視同仁。其次黑的是魏延，在這裡魏延居然被中了司馬懿的埋伏之計，而在真實的歷史上，魏延對魏作戰毫無敗績，陽溪之戰，以偏師打的郭淮隴西軍團幾乎全軍覆沒，鹵城之戰，大破司馬懿親自率領的魏國中央軍。最後黑的是陳式，陳式也算是蜀漢名將，卻黑成一個有勇無謀、狂妄自大、不聽號令的庸將，而他最終被諸葛亮斬殺也是不符合歷史的。
那麽歷史上真實的陳式，他在戰場上的表現又是怎樣的呢？
備遣陳式等十餘營絕馬鳴閣道，晃別征破之，賊自投山谷，多死者。——三國志
據《三國志》記載，劉備在漢中之戰時，曾派遣陳式去阻斷馬鳴閣道，以隔斷陽平關北面的魏軍與漢中的聯繫，然而徐晃卻將陳式擊破，粉碎了劉備的計劃，但是馬鳴閣之戰陳式雖然戰敗，但是劉備不僅沒有怪罪他，反而更加重用了，雖然馬鳴閣之戰細節未見記載，但是從劉備態度上可以猜測其在馬鳴閣之戰的表現還是有可圈可點之處的。
劉備率軍討伐孫權期間，陳式與吳班一起率領蜀漢水軍駐扎在夷陵一線，分別佔據了長江兩岸，之後並未有陳式與吳軍交戰的記載，後來劉備親自率領的陸軍中陸遜火攻之計而兵敗，陳式率領的水軍獨木難支，也隨軍撤退。
七年，亮遣陳式攻武都、陰平。魏雍州刺史郭淮率眾余擊式，亮自出自建威，淮退還，遂平二郡。——《三國志》
第二次北伐還沒結束，第三次北伐已經開始，當諸葛亮在陳倉戰場擊敗魏將王雙之時，陳式已經奉命乘虛奪取魏國的武都、陰平二郡，諸葛亮能夠讓陳式單獨領兵去攻打與諸葛亮主力相聚遙遠的地區，可見諸葛亮對陳式的信任，而陳式也不負丞相所托，幾乎兵不血刃的奪取二郡，此後直到蜀漢滅亡前夕，這2個郡都沒有被魏國攻破，陳式奪取的武都、陰平，是諸葛亮北伐唯一徹底奪取的魏國地盤。
《三國志》中，並沒有關於陳式怎麽死，什麽時候死的記載。
陳式在蜀漢軍界地位雖然不如魏延、吳班等，但也是獨當一面的大將，可惜被演義黑慘了。
參考文獻：三國志
香港九龍灣馬來街興發大廈15樓D室