当然是有的。正史中《晋书宣帝纪 》《资治通鉴·卷第七十二》等中有明确记载。
比如:
《晋书宣帝纪 》 亮闻大军且至,乃自帅众将芟上邽之麦。诸将皆惧,帝曰:“吾倍道疲劳,此晓兵者之所贪也。亮不敢据渭水,此易与耳。”进次汉阳,与亮相遇,帝列阵以待之。使将牛金轻骑饵之,兵才接而亮退,追至祁山。亮屯卤城(今甘肃天水南),据南北二山,断水为重围。帝攻拔其围,亮宵遁。追击,破之,俘斩万计。
《资治通鉴·卷第七十二》记载如下:……郭淮、费曜等徼亮,亮破之,因大芟刈其麦,与懿遇于上邽之东。懿敛军依险,兵不得交,亮引还。懿等寻亮后至于卤城。张郃曰:“彼远来逆我,请战不得,谓我利不在战,欲以长计制之也。且祁山知大军已在近,人情自固,可止屯于此,分为奇兵,示出其后,不宜进前而不敢逼,坐失民望也。今亮孤军食少,亦行去矣。”懿不从,故寻亮。既至,又登山掘营,不肯战。贾诩、魏平数请战,因曰:“公畏蜀如虎,奈天下笑何!”懿病之。诸将咸请战。夏,五月,辛已,懿乃使张郃攻无当监何平于南围,自案中道向亮。亮使魏延、高翔、吴班逆战,魏兵大败,汉人获甲着三千,懿还保营。六月,亮以粮尽退军,司马懿遣张郃追之。郃进至木门(今甘肃天水西南),与亮战,蜀人乘高布伏,弓弩乱发,飞矢中郃右膝而卒。
别提空城计 那是魏武曹操的 司马懿是把诸葛亮拖垮的
远征人困马乏 补给线太长 蜀地不好走啊
司马懿是高手 三国演义是渲染的 诸葛亮是政治家 不是军事家
有啊,最经典就是空城计了
交手过