蜀は魏を倒して漢王朝復活が国是なので
北伐しない選択肢は存在しなかったよ。