三国义阳棘阳（今河南新野东北）人，字士载。初为司马懿掾属，建议屯田两淮，广开漕渠，并著《济河论》加以阐述。后为魏征西将军，与蜀将姜维相拒。景元四年（263），魏大举伐蜀，率部至阴平（今甘肃文县），经山路至江油（今四川平武东南），进迫成都，刘禅投降。后钟会诬他谋反，被杀。