曹魏伐蜀与陈仓水灾，是一场战役的转折点——战事起初看似敌军兵力压倒性占优，最终却以撤退告终，并使魏军暴露于蜀军反击之下。面对四十万大军，孔明预料到连日降雨将使山路无法通行，并削弱入侵军的战力；洪水迫使曹真部众撤退时，孔明便利用敌军预料之中的谨慎，部署蜀军威胁其经由祁山撤退的路线。

背景与战略利害

此次入侵发生在街亭败绩、孔明撤军之后。次年秋天，曹真提议直接进攻汉中，意图夺取通往蜀地的山口。此计划获朝廷批准，曹真奉命与司马懿、刘晔率领四十万兵马出征。如此庞大的兵力使受威胁的山口成为战略要冲——若魏军夺取此处，通往汉中的道路便会畅通。

孔明召来张嶷和王平，命二人仅率一千人守卫山口。面对双方悬殊的兵力，他们心存疑虑并不奇怪。孔明的决定并非基于以兵力抗衡来敌，而是依靠能够改变兵力优势作用的预判——他料定降雨会使魏军难以穿越山区，并削弱魏军士气。在小股部队守住道路的同时，孔明准备大军，待入侵者撤退时发动攻击。

陈仓水灾

司马懿抵达陈仓，发现城池已被夷为平地，无处可供驻军。他的将领劝他另寻避难之处，但司马懿也看出了孔明预料到的同一危险——星象预示将有暴雨。他命令大军留在废墟之间，并就地搭建营帐，而不转移到平原或山区。

暴雨持续多日。营地水位上涨三尺有余，士兵们一直受寒受潮；马匹死亡，疾病蔓延，士气崩溃。朝廷下令放弃战事、班师回朝后，士兵们欣然接受，尽管他们知道蜀军可能在撤退途中发动攻击。因此，洪水不仅阻碍了进攻，还使原定的入侵变成艰难的撤军，魏军既已疲弱，也警惕着身后的危险。

将撤退化为伏击

孔明预料司马懿会留下部队，以伏击追击撤退魏军的蜀军。他没有追赶魏军、落入对方预设的圈套，而是派军先行占据穿过祁山的山口，以便威胁撤退路线本身。魏延、陈式等人奉命守卫山口，并接到谨慎推进、留意伏兵的命令。

这一计划既依赖预判，也依赖纪律。在祁山，陈式对魏延谨慎的做法逐渐失去耐心。他认为被雨水削弱的魏军无力有效反击，于是擅自率五千人离队。这支部队遭到伏击；陈式损失大部分兵力，只能率领一小支残部撤回山口。他的失败说明了孔明的命令试图防范的风险——指挥官若以自信取代协同，机会便可能转为陷阱。

反击及其后果

由于蜀军迟迟没有现身，曹真的军营逐渐松懈。魏军派出五千人前往侦察，却遭孔明部将伏击；其主将被杀，士兵被迫投降。随后，孔明利用缴获的魏军盔甲和服饰，把蜀兵伪装成魏兵。他们被派往曹真的营地，蒙骗守军，并协助为大军突袭打开通路，摧毁魏军营地、使其部队四散。

曹真在司马懿救援下侥幸脱身。两位将领此前已经就孔明是否会在祁山设伏产生分歧——司马懿料到会有伏击，曹真却不以为然。战败后，司马懿提议放下彼此的竞争，共同为魏国效力。因此，这场战役不仅带来入侵失败和蜀军反击，也改变了魏军将领之间的关系；在各自的判断经受考验后，他们必须携手合作。

孔明下令处死违抗命令的陈式，却饶过魏延，打算日后继续任用他，尽管并未完全信任他。这一区别凸显了该事件所强调的、服从协同计划的重要性，同时也使魏延的处境仍未明朗。得知曹真患病后，孔明试图进一步打击敌军士气，便托几名投降的魏兵送信给曹真，并放他们离去。洪水已经终结了这次入侵；之后的欺敌与伏击又将影响延伸至撤退过程中，使天气、地形、情报和指挥纪律继续左右战局。