京劇有一套傳統劇目叫“失空斬”，由《失街亭》《空城計》和《斬馬謖》3部戲組成，劇情相連，起因都是馬謖丟失街亭。

根據劇情，馬謖失街亭讓蜀軍措手不及，為避免全線潰敗諸葛亮不得不上演了一出“空城計”，騙過了魏軍統帥司馬懿，之后蜀軍安全撤回漢中，諸葛亮追查街亭失利的責任，馬謖被斬。

以上情節與歷史事實大體相合，失街亭、斬馬謖都是有的，但其中一些細節并不符合史實，尤其“空城計”這一段。

...