诸葛亮是不是在上方谷有过一战？

有诗云：

谷风口狂烈焰飘，何期骤雨降青霄。

武侯妙计如能就，安得山河属晋朝！

据后人推断，当时诸葛亮想要有火攻。
既然是要用火烧，就不会再精心准备弓箭，只会在司马懿有可能突围的谷口安排一些弓箭手以射杀漏网的个别魏军，但这样一些弓箭手对已经深入谷中的魏军起不到太大的作用——阻止魏军突围主要依靠滚木等路障及谷口燃起的大火；其次，上方谷很深，弓箭射程有限，很难起到大规模杀伤的作用（诸葛亮在上面对司马懿讲话时，司马懿也没有命令弓箭手向诸葛亮射击，原因也在于此吧）；第三，谷口不宜有太多伏兵，否则容易暴露。如果在谷口设10万伏兵，恐怕早就被魏军发现了。还是那句话，阻止魏军突围并消灭他们主要依靠谷里地雷引发的大火。

这个情节是《三国演义》里描写的，正史未见记载。但尽管是小说家言，这个情节也并非一点道理都没有：诸葛亮此次伐魏是在魏青龙二年春二月（这是真的），这是个乍暖还寒的季节。当司马懿被引入上方谷后，蜀军引燃了埋在谷底的火药，大火燃烧时产生了巨大的热量并随之上升。今天我们都知道，降水是由于暖湿气流交汇而产生的。当上方谷底腾升的巨大热量与山谷上空的强冷空气剧烈反应后，突降大雨就顺理成章了。诸葛亮不是气象专家，他对一般的气象规律清楚，但像这种特殊的突发降雨他预料不到也是不能苛求的——当然，其实还是罗贯中不懂得其中的道理。

据后人推断，当时诸葛亮想要有火攻。
既然是要用火烧，就不会再精心准备弓箭，只会在司马懿有可能突围的谷口安排一些弓箭手以射杀漏网的个别魏军，但这样一些弓箭手对已经深入谷中的魏军起不到太大的作用——阻止魏军突围主要依靠滚木等路障及谷口燃起的大火；其次，上方谷很深，弓箭射程有限，很难起到大规模杀伤的作用（诸葛亮在上面对司马懿讲话时，司马懿也没有命令弓箭手向诸葛亮射击，原因也在于此吧）；第三，谷口不宜有太多伏兵，否则容易暴露。如果在谷口设10万伏兵，恐怕早就被魏军发现了。还是那句话，阻止魏军突围并消灭他们主要依靠谷里地雷引发的大火。

这个情节是《三国演义》里描写的，正史未见记载。但尽管是小说家言，这个情节也并非一点道理都没有：诸葛亮此次伐魏是在魏青龙二年春二月（这是真的），这是个乍暖还寒的季节。当司马懿被引入上方谷后，蜀军