孔明令魏延、张嶷、陈式、杜琼等四将兵出箕谷，自提大军随后赶来。因担心四人遭魏军伏击，便命邓芝前去提醒。哪知陈式听到邓芝告诫，仍执意冒进，结果中伏。陈式死战，不能突走。忽一员蜀将领军杀入，救出了陈式。这员蜀将是谁呢？三国