从这两段记载可以得知，街亭之战的蜀汉一方将领确为马谡和王平，曹魏将领则是名将张郃。不过，至于小说中提到的司马懿却并未参与街亭之战。据《晋书·宣帝纪》载，司马懿斩杀孟达后，“振旅还于宛。乃劝农桑，禁浮费，南土悦附焉。”由此可见，战事结束后，司马懿便回到了宛城，继续担任荆州、豫州两州的都督，专门负责对抗东吴帝国。直到曹真病逝后，司马懿才出现在西北战场，与诸葛亮的北伐大军首次交锋。
至于为什幺小说作者要让司马懿“提前”与北伐大军进行较量，这个问题我在以前的文章中说过，是因为要为诸葛亮寻找一个合适的对手，而这个人非司马懿莫属。另外，当诸葛亮告诫马谡司马懿并非等闲之辈时，马谡为何不以为然？这一点也是事出有因。因为作者在第九十一回有过一个铺垫。当时，马谡献计离间司马懿和曹睿。此计大获成功，几乎让司马懿死于曹睿之手。也正因为如此，马谡认为自己的计策几乎让司马懿丢掉性命，对司马懿的才能不屑一顾，滋生骄傲自满情绪，最终兵败街亭，不但断送了诸葛亮的隆中对，自己也丢掉了性命。
参考书籍：《三国志》、《晋书》、《三国演义》
