他出身潁川陳氏,打退​薑維​多次北伐,還懟過司馬昭