《晋书·宣帝纪》中记载司马懿在"卤城之战"中战俘达到一万以上，这个数字肯定是有水分的，不过性质是一场胜仗；而《汉晋春秋》中记载则完全不同。诸葛亮在卤城，司马懿来到卤城，但是不敢与诸葛亮交战。这引起了部下的很大的不满。你不打你干什么来了呢？为了平复军队的情绪，司马懿不得不寻求决战。司马懿派张郃绕到诸葛亮南围，自己进攻诸葛亮。结果被刷出一个"甲首三千"的数据出来。
《晋书》与《汉晋春秋》有诸多冲突甚至不合理的地方，也十分有争议。有人偏信一边，也有人将两者结合在一起，诸葛亮先撤出卤城，然后双方再进行野战。这个不在本文讨论范围内。我们来看《三国志》中的记载，诸葛亮是粮尽退军，后方的李严不给力，司马懿派张郃追击诸葛亮，诸葛亮登高设伏，射死了张郃。诸葛亮第四次北伐的轮廓大概是这样的。
