Cao Zhen
228年12月（『三国志』曹真伝によると229年の春）、諸葛亮は漢中より出撃し、曹真の予測通り陳倉道を北上し陳倉城を包囲した。雍州に駐屯していた曹真は将軍費曜を派遣してこれを拒んだ。さらに洛陽では曹叡が張郃を召しだし3万の兵を与たえて援軍とした。曹叡は張郃の到着が遅れたため陳倉が既に陥落しているのではないかと心配したが、張郃は陳倉城の防衛の堅さと蜀軍は食料をあまり携帯してきていないことを指摘して、援軍到着前に諸葛亮が撤退することを予測する一方、朝夜の強行で漢中南鄭まで進軍した。果たして以前からの備えがあった為、蜀軍は食料が尽き兵を引いた。以上が『三国志』明帝紀、曹真伝、張郃伝に見える経過である。