【经文】诸葛亮以马谡败于街亭，杀之。后蒋琬谓亮曰：“昔楚杀得臣，然后文公喜可知也。天下来定，而戮智计之士，岂不惜哉？”亮流涕曰：“孙武所以能制胜者，用法明也。是以杨干乱法，魏绛戮之。四海分裂，兵交方始，若复废法，何用讨贼耶？”习凿齿曰：“诸葛亮之不能兼上国也，岂不宜哉？夫晋人视林父之后济，故废法而收功。楚成暗得臣之益己，故杀之以重败。令蜀僻陋一方，才少上国，而杀其俊杰，退收驽下之用，明法胜才，不师三败之道，将以成业，不亦难乎？”[晋侯使荀桓子与楚战于邲，桓子败归而请死，晋侯欲许之。士贞子曰：“不可。城濮之役，晋师三日馆谷，文公犹有忧色。左右曰：‘有喜而忧如有忧而喜乎？’公曰：‘得臣犹在，忧未歇也。困兽犹斗，况国相乎！’及楚杀子玉，公喜而后可知曰：‘是晋再克而楚再败也。’楚是以再世不竞。今天或者大警晋也，而又杀林父，以重楚胜，其无乃不竞乎？林父之事君也，进思尽忠，退思补过，社稷之保也。君若之何杀之？夫其败也，若日月之蚀，何损于明？”晋侯使之复其位也。]

        【译文】诸葛亮因马谡失守街亭，按军法论斩。事后蒋琬对诸葛亮说：“战国时楚晋交战，楚国因元师得臣兵败被逼自刎，晋文公得信后很是高兴。可见往事不可不引以为戒。现在天下未定，处死马谡这样有智谋的大将，岂不可惜？”诸葛亮泪流满面说：“孙武所以能克敌制胜，是因为军法严明，也正因为此，晋悼公伐郑战于虎牢时，杨干仗着是悼公的弟弟，不听军令，被司马魏绛以军法论处。如今四海分裂，战争刚刚开始，如果废止了刑法，还怎么讨伐贼寇呢？”晋代史学家习凿齿说：“诸葛亮不能兼并魏国，不是理所当然的吗？昔日晋文公在城濮之战中，看到荀林父没有及时过河，文公没有按军法处置他，结果取得了成功；楚成王不理解得臣是为了他才失败的，杀了得臣后导致了更大的失败。当时蜀国的疆域狭窄荒僻，人才比不上魏图兴旺，再把马谡这样的俊杰杀了，无可奈何收罗起用才德都较差的人，很明显是把法律看得比人才更重要。这种不记取三次北伐失败之教训的做法，还想成就大业，不是勉为其难吗？”[还有一件战国时的故事可以作为这一观点的参考。公元前597 年，晋景公命令荀林父（即桓子）率军与楚国在邲地（今河南荥阳东北）打了一仗，晋军大败。荀林父回国后请求处死自己。晋景公想答应他，士贞子劝阻说：“不可以。晋楚城濮之战时，晋军取胜之后，占领了楚军大寨，寨中屯积着大量的粮草，晋军整整吃了三天。晋文公仍旧神色忧郁。左右随从说：“有喜事还忧虑，如果有了忧愁还能高兴吗？”文公说：‘楚国的元师得臣还活着，总是忧心忡忡，高兴不起来。困兽犹斗，何况是一位国相呢！’等到楚国杀了子玉（即得臣），晋文公喜形于色，说：‘这是晋国的再一次胜利，楚国的又一次失败呀！’从那以后，楚国有两代之久国力衰弱。现在上天或许是要给晋国一个严重警告吧！再把林父处死，让楚国得到双重的胜利，晋国从此以后大概再不会有与其它国家抗衡的力量了吧？荀林父事奉你大王，处理国务的时候竭尽忠诚，回家休息的时候想着称补过失。他是国家的楝梁啊！这样的忠臣，为什么要杀他呢？他这次失败，如同日月有日蚀、月蚀，怎能损害其光明呢？”晋景公听从了这一意见，恢复了荀林父的职权。]