作者是 岑璧 由于其已经退吧保智商了，所以我就不@他了，估计@了也不会来。
首先表明我个人的立场，我认为魏军对蜀军的实际杀伤应在“俘斩千计”左右
证据：
《国渊传》：“【破贼文书，旧以一为十】，及渊上首级，如其实数。”
窃以为《晋书》中“俘斩万计”这个事件我们没有充足的史料反驳之，而且并不与其它史料相矛盾，故而应采信之，但“俘斩万计”这个数字确实又比较离谱了，蜀军除去一伐、五伐兵力最盛大约有十来万，真正二三四都大概只有数万，更何况魏将张郃追击蜀军中伏阵亡，这种情况下如果真能杀伤敌军上万人如何不载？
但如果是“俘斩千计”的话不载的可能性就很大了，因为张郃是曹魏名将，正所谓三军易得，一将难求，如果张郃用其性命仅仅换来“千计”的结果而入其传简直是有损其名声。
那么有人说张郃明明中伏死了，那么“俘斩千计”是如何完成的呢？
《诸葛亮传》：“九年，亮复出祁山，以木牛运，粮尽退军，【与魏将张郃交战】，射杀郃。”
《后主传》：“夏六月，亮粮尽过军，郃追至青封，【与亮交战】，被箭死。”
《张郃传》：“诸葛亮复出祁山，诏郃督诸将西至略阳，亮还保祁山，【郃追至木门，与亮军交战，飞矢中郃右膝】，薨，谥曰壮侯。”
三处记载都足以证明张郃确实与蜀军【交战】，而且张郃与王双不同，张郃并未被【斩】，可见张郃不是阵亡，而是中箭后被救走然后身亡的。进一步印证了张郃确实对蜀军还是有一定打击的，不过这场仗的结果是魏国损失一员大将，蜀国损失了千人，算来算去还是蜀汉赚到了。
《张郃传》本传将交战的细节匿去了，《宣帝纪》对张郃的死也匿去了，还把战果扩大了十倍。
最后我自己再补充一点，甲首三千是与俘斩万计冲突，但并不是不能并存，所谓先败后胜。继而本传讳败。诸葛亮先使魏延给司马懿来了计甲首三千，司马懿传讳败不记甲首三千。继而战场转换蜀军全军被司马懿大败，“俘斩万计”，张颌继续领兵追击，然后张颌中伏身死。诸葛亮传讳败不记俘斩万计，独记伏杀张颌。