街亭之战时，魏国的主将是司马懿还是张郃？

在中国历史上，有许多著名的战役，其中街亭之战就是其中之一。这场战役发生在三国时期，是魏蜀两国之间的一场决定性的战斗。然而，关于这场战役中魏国的主将究竟是司马懿还是张郃，却一直存在着争议。本文将根据历史资料，对这个问题进行详细的解析。

首先，我们需要明确的是，街亭之战的主要指挥官是司马懿。这是因为在战役开始之前，魏国的实际掌权者曹操已经任命司马懿为主将，负责指挥这场战争。而张郃虽然也是魏国的重要将领，但他在这场战役中的地位并不高，他只是司马懿的副手。

其次，从战役的过程来看，也可以看出司马懿的主将地位。在战斗中，司马懿以冷静的判断和精准的指挥，成功地击败了蜀军的主力，取得了决定性的胜利。而张郃虽然也有一些出色的表现，但他的影响力并不如司马懿。

最后，从战后的处理来看，也可以看出司马懿的主将地位。战后，司马懿因为战功显赫，被魏国封为骠骑大将军，成为了魏国的更高军事领导人。而张郃虽然也有一些战功，但他的地位并没有得到提升。

综上所述，无论是从战争的指挥、战斗的过程，还是战后的处理来看，都可以看出街亭之战的魏国主将是司马懿，而不是张郃。虽然张郃是一位优秀的将领，但在这场战役中，他的地位并不高。因此，我们可以确定，街亭之战的魏国主将是司马懿。