街亭之战是张郃率军攻打，和司马懿没有一毛钱关系，这是历史事实。