在正史上 ，即三國諸事一般比較認可陳壽的《三國志》。陳壽在《三國志》中並沒有為陳式這位武將單獨列傳，所以，陳式的生平事蹟，我們也只能從《徐晃傳》、《諸葛亮傳》等他人的傳記中尋找。

一，曹操征討張魯之後返回鄴城，留下徐晃與夏侯淵拒劉備於陽平。

【備遣陳式等十餘營絕馬鳴閣道，晃別徵破之，賊自投山谷，多死者。太祖聞，甚喜，假晃節，令曰：“此閣道，漢中之險要咽喉也。劉備欲斷絕外內，以取漢中。將軍一舉，克奪賊計，善之善者也。”太祖遂自至陽平，引出漢中諸軍。】（出自徐晃傳）

劉備派遣包括陳式為首的十餘名將領帶著各營部隊去截斷馬鳴閣道（棧道），因為徐晃的阻擊，使曹操得以親自帶走各路大軍撤退，打亂了劉備的巨大戰略策劃。在不少歷史學者看來，劉備的這一進攻兵行險招，無疑是非常有風險的。而在這場冒險的戰役中，陳式不僅獲得了劉備的重用，而且在失敗後成功撤回益州之地。更為關鍵的是，在這場敗仗中，陳式還和曹魏五子良將之一的徐晃交手。所以，這從側面體現出了陳式的勇猛，並且受到了劉備的信任和重用。就徐晃來說，無疑是曹操五子良將中的佼佼者，比如在襄樊之戰中，徐晃就在和關羽的正面較量中不落下風。因此，陳式敗給徐晃，顯然不是一件值得貶低的事情。所以陳式贏得了劉備更大的信任。

二，劉備東征孫吳期間。

【章武二年，（222）亭之戰前，與吳班率水軍屯夷陵，夾江東西岸。】（出自先主傳）

公元222年，劉備興兵伐吳，為二弟關羽報仇。作為軍中戰將，陳式也和另一蜀江吳班一同隨劉備出征。只不過，他與吳班率水軍屯夷陵，在劉備率領的陸軍兵敗後，他所率的水軍則獨木難支，便隨之撤退了。

三，諸葛亮斬殺王雙的次年。

【建興七年（229）春，亮遣陳式攻武都、陰平，遂克定二郡。】（出自後主傳）

【七年，亮遣陳式攻武都、陰平。魏雍州刺史郭淮率眾欲擊式，亮自出至建威，淮退還，遂平二郡。 】（出自諸葛亮傳）

諸葛亮在眾將中選擇派遣陳式攻打武都、陰平，可見此時的陳式已經成長為蜀漢重將。郭淮企圖反擊陳式，被諸葛亮大軍震懾下，不戰而退。可見此時陳式已是蜀漢大將之一，軍中地位低於魏延、吳班、高翔，但高於其他人。

關於陳式最終的結局，在《三國志》等史料中並沒有相關的記載。也即陳式的結局，屬於下落不明的情況。當然，作為蜀漢的一員猛將，陳式如果戰死沙場的話或者被諸葛亮所殺，應該會在正史中有所體現的。所以，陳式很可能是病逝的，所以陳壽才沒有《三國志》特意提及陳式的最終結局。總的來說，陳式在蜀漢武將中的地位雖然不如魏延、吳班、吳懿、王平等，但也是獨當一面的大將。 陳式在蜀漢軍中屬於兢兢業業，恪盡職守，中規中矩的基層指揮官，即使上級的命令是讓他深陷險境或是孤軍深入都會毫無疑問的執行，是忠誠軍人的典範，是所有的上級都喜歡的型別，也是必須有的一類人，是不顯眼但不可或缺的人。

有傳言陳式是陳壽父親，實屬娛樂。陳壽父親早亡，且當年陳壽父親為馬謖參軍，在馬謖被殺後也同受牽連受罰，陳式之後在攻打陰平武都兩郡時被委以重任，可見與前者有悖，而且古人講究為長者諱，如果陳壽是陳式之子，不可能在《三國志》裡直書其名，所以說這個觀點是不成立的。至於演義中的那個陳式被殺的情節，在歷史上是肯定不可能的。