太和四年（公元230年）秋，曹真請求出兵討伐蜀國，曹睿便拜曹真為大司馬、征西大都督，司馬懿為大將軍、征西副都督，劉曄為軍師，率兵四十萬，攻打漢中。當時，諸葛亮也正準備再次北伐，得知曹真、司馬懿率兵打來的消息，令王平、張嶷先行駐守陳倉道口，自己率大軍隨后接應。王平、張嶷知魏兵人多勢眾，不敢前去，諸葛亮說道：“幾天之后將有一場大雨，魏軍不敢冒雨深入山區險地，你們放心去吧。等他們退走時，我率大軍隨后...