应该没有3万人，但1万以上肯定有。陈寿似乎是有意隐瞒人数，否则，在对四、五个人记载了《街亭战》，就是不肯交代出守街亭的蜀军数字。若他父真的是马谡当时的部将，那陈寿就不可能不知道这个数字。

其实陈寿不写具体人数，在《三国志》里不算新鲜事。你去翻他写的其他战役，好多时候也只记谁赢谁输，不写双方带了多少兵。可能当时的史官觉得，打仗的关键是指挥得好不好、士兵勇不勇敢，具体数字没那么重要。就像现在说一场比赛，大家更关心谁进球了、战术怎么安排的，不会总纠结场上到底多少观众。

马谡带的兵就算真有1万多，可他是第一次独立带这么多人打仗吧？手下的将领认不认他这个主将？王平当时劝他别上山，他非要上，这就不光是地形选得对不对的事了，是主将和副将的配合出了问题。古代打仗讲究上下一心，副将说话不管用，士兵心里能踏实吗？

再说张郃，他是魏国的老将，带的兵都是跟着他打过不少仗的。就算从关中爬陇山累了点，到了街亭扎下营，休息一天半天，战斗力就能恢复过来。蜀军呢？当时刚拿下陇右几个郡，好多士兵可能是刚投降过来的，跟马谡又不熟，真打起来能拼命吗？

还有粮草和水，街亭那地方，蜀军是临时过去的，粮草能不能及时运到？马谡把营扎在山上，要是被张郃断了水道，士兵没水喝，别说守10天，3天都撑不住。陈寿写这段的时候，可能觉得这些细节比具体多少人更重要——主将不听劝、军心不齐、后勤没保障，就算人数够，也打不赢。

现在看历史，有时候觉得挺无奈的。一个将军，就算上面有好计策，底下执行的时候出点岔子，结果就完全不一样。也不知道马谡当时站在山上往下看张郃的军队时，心里有没有后悔没听王平的话。历史书就这么几行字，可当时的人，心里的纠结和害怕，谁又能真的知道呢？