蜀の武将。異民族の統治で功績を上げ、諸葛亮の信頼を得た。姜維と共に魏との戦いを繰り広げた。