首先要说一下，诸葛亮在陈仓可能并未全力攻城，而且击退诸葛亮的并非只是郝昭的部队，还有曹真的大军在。
根据《魏略》记载，诸葛亮在第一次北伐以后，曹真命将军郝昭在陈仓口筑城，防止诸葛亮出陈仓道北伐。就在几个月后，诸葛亮真的兵出陈仓道，进攻郝昭守卫的陈仓城。郝昭手下不过千余兵马，而蜀军有数万之众。诸葛亮以云梯、冲车、井阑、地道等方式攻城，却被郝昭击退。最后魏国援兵赶来，诸葛亮不得不撤军而退。
不过这个记载和《三国志》略有出入。
根据《三国志·诸葛亮传》和《三国志·明帝纪》记载，诸葛亮率军出散关包围陈仓以后，曹真就命费曜等率军赶来救援。诸葛亮撤军时，魏将王双率兵追击，被诸葛亮击败，王双战死。
而《三国志·张郃传》也写到诸葛亮攻打陈仓时，曹叡命张郃率军三万赶来救援，结果没到诸葛亮就已经撤军。郝昭手下不过千余人，张郃援军未到，追赶诸葛亮的显然不可能是郝昭和张郃的部队，只能是曹真手下的兵马。
所以在诸葛亮围攻陈仓时，曹真就已经率部赶来，魏军并不只是只有郝昭手下的千余人。
另外诸葛亮此次北伐主要是因为魏国派司马懿、张郃进攻东吴，东吴向蜀汉告急，所以才出兵北伐，以吸引魏国注意力。这种请况下诸葛亮也不会全力攻打陈仓，白白损伤士卒。因此此战实际的规模，远不如《魏略》说的那么大。
当然，郝昭以千余兵马守住陈仓这个功劳也是很大的，所以事后被曹叡封爵，并打算提拔使用。可惜郝昭不久就病逝，错过了升官的机会。
