三国时期，司马懿与诸葛亮确实存在交手记录，但正史中仅明确记载了两次正面交锋，且多为战略对抗而非直接肉搏。以下是具体分析：

一、正史中的两次正面交锋

第四次北伐（231年）

诸葛亮第五次北伐时，司马懿率军抵御。双方在卤城遭遇战，但《晋书》记载结果模糊，仅提到“帝攻拔其围，亮宵遁”，后续追击中俘斩万计。此战以蜀军撤退告终，司马懿未直接交锋。

第五次北伐（234年）

诸葛亮第六次北伐期间，司马懿采用坚壁清野策略，与诸葛亮对峙于五丈原。最终因蜀军粮草耗尽撤退，司马懿未发起进攻。

二、其他交锋与战术对抗

间接交锋与策略博弈：

两人多次通过诱敌深入、空城计等战术对抗，但未形成直接正面交锋。例如，诸葛亮第四次北伐时，司马懿通过坚守不战消耗蜀军粮草，蜀军最终撤退。

非正面交锋：部分记载提到司马懿在诸葛亮北伐期间曾率军偷袭蜀军后方（如祁山附近），但未明确是否为正面交锋。

三、结论

综合权威史料，司马懿与诸葛亮在正史中仅明确有两次正面交锋（第四次、第五次北伐），且多为战略对抗。小说《三国演义》则通过虚构情节（如空城计）强化了两人对抗的戏剧性。