首先要說一下,諸葛亮在陳倉可能并未全力攻城,而且擊退諸葛亮的并非只是郝昭的部隊,還有曹真的大軍在。
根據《魏略》記載,諸葛亮在第一次北伐以后,曹真命將軍郝昭在陳倉口筑城,防止諸葛亮出陳倉道北伐。就在幾個月后,諸葛亮真的兵出陳倉道,進攻郝昭守衛的陳倉城。郝昭手下不過千余兵馬,而蜀軍有數萬之眾。諸葛亮以云梯、沖車、井闌、地道等方式攻城,卻被郝昭擊退。最后魏國援兵趕來,諸葛亮不得不撤軍而退。
不過這個記載和《三國志》略有出入。
根據《三國志·諸葛亮傳》和《三國志·明帝紀》記載,諸葛亮率軍出散關包圍陳倉以后,曹真就命費曜等率軍趕來救援。諸葛亮撤軍時,魏將王雙率兵追擊,被諸葛亮擊敗,王雙戰死。
而《三國志·張郃傳》也寫到諸葛亮攻打陳倉時,曹叡命張郃率軍三萬趕來救援,結果沒到諸葛亮就已經撤軍。郝昭手下不過千余人,張郃援軍未到,追趕諸葛亮的顯然不可能是郝昭和張郃的部隊,只能是曹真手下的兵馬。
所以在諸葛亮圍攻陳倉時,曹真就已經率部趕來,魏軍并不只是只有郝昭手下的千余人。
另外諸葛亮此次北伐主要是因為魏國派司馬懿、張郃進攻東吳,東吳向蜀漢告急,所以才出兵北伐,以吸引魏國注意力。這種情況下諸葛亮也不會全力攻打陳倉,白白損傷士卒。因此此戰實際的規模,遠不如《魏略》說的那麼大。
當然,郝昭以千余兵馬守住陳倉這個功勞也是很大的,所以事后被曹叡封爵,并打算提拔使用。可惜郝昭不久就病逝,錯過了升官的機會。