Vào giai đoạn Thục - Ngụy tranh hùng, có thể nói sự tồn tại của Tư Mã Ý chính là trở ngại khó khăn nhất đối với chiến dịch phạt Bắc của Gia Cát Lượng.