在历史上，诸葛亮与司马懿确实有过交手。根据正史《三国志》和《晋书》的记载，两人的交手记录如下：
第一次交手：
发生在公元231年二月，即诸葛亮的第四次北伐期间。司马懿接替曹真成为魏军统帅，面对诸葛亮的进攻，他选择坚守不出，最终蜀军因粮尽而退兵。此战虽未分胜负，但司马懿的战略目的达到了逼退蜀军。
第二次交手：
发生在公元234年二月，即诸葛亮的第五次北伐期间。诸葛亮率领十万大军出斜谷口，与司马懿对峙。司马懿继续采取坚守策略，最终诸葛亮因粮尽退兵，并在撤退过程中击败了追击的魏军将领张郃。
因此，根据正史记载，诸葛亮与司马懿在历史上至少有过两次交手，分别发生在诸葛亮的第四次和第五次北伐期间。
需要注意的是，《三国演义》虽然详细描述了诸葛亮与司马懿的多次交锋，但这些描述并不完全符合历史事实，而是带有较强的文学加工色彩。在评价两人的军事才能和战略时，应以正史记载为准。
