“失空斩”是著名的三国故事，请简要叙述其情节及主要人物诸葛亮 马谡 司马懿的性格特征

京剧《失街亭·空城计·斩马谡》的故事，取材于古典小说《三国演义》。描写三国时，蜀魏交兵，司马懿统领魏军兵至祁山，诸葛亮料定魏军必夺汉中咽喉要地街亭，选将防守；马谡请令前往；行前，诸葛亮再三嘱咐，切须慎选营地，勿有疏虞，并命王平同往相佐。马谡刚愎自用，不听王平谏言，扎营山顶，致遭魏军围攻，街亭失守。司马懿乘胜直取西城，蜀军兵将俱被调遣在外，西城空虚。仓卒间，诸葛亮难以抵御，遂用空城之计，将城门大开，稳坐城楼，抚琴饮酒，镇定自若。司马懿疑有伏兵，未敢进城，率军而去。马谡贻误军机，诸葛亮为严明军纪，虽惜马谡之才，终于挥泪斩之。并以任人不当，奏明幼主，自请罪责。

《三国演义》中“马谡拒谏失街亭”的故事是文人墨客常常议论的话题，提起它，人们总要对孔明、马谡叹息一番。的确，街亭一役，损兵折将，甚为惨重。蜀国不得不由战略反攻转为战略防御，这是谁之过？马谡刚愎自用，固然是直接原因，但究其根本，却在孔明身上，是孔明在街亭一役中屡屡失败，最终导致了令人扼腕的历史结局。

首先，孔明不该派马谡去守街亭，古人云：用人不疑，疑人不用。孔明深知“街亭干系甚大，倘有失，大军皆休”，且“司马懿非等闲之辈，先锋张郃乃魏之良将”，深恐“马谡不能敌之”，更何况刘备在永安宫托孤时曾明言，“马谡言过其实，不可大用”，可见，孔明是深知其中利害的。既如此，又何必派不放心的人去守要塞呢？用人不疑，疑人不用，孔明正好犯了兵家大忌。虽注重人才，却不能知人善用，这样也酿成了意料之中的悲剧。

其二，孔明并未真正认识马谡。平素马谡“好论军事，才气过人”，在征讨南蛮，七擒孟获时出谋划策，颇有建树，可谓“将才”，但掌管帅印，规划全局之职却非马谡做的来的。殊不知“只有所短，寸有所长”，就如今日之倪光南，这位中国工程院院士白手起家，在技术方面，为创建高品质的联想电脑立下汗马功劳；但在市场经济大潮下，因缺乏现代化管理目光，他也只能急流勇退。而“联想”现今总裁杨元庆虽非科技界精英，却对管理经营颇有自己的见地。在科技领域，倪光南稳操胜券，而在经济领域，杨元庆却棋高一着。两人之所以进行职位的更替，其根本原因就在于，知识经济时代，人才要与所处的发展领域相一致，试想一下，叫世界文豪莎士比亚到居里夫人的实验室工作，恐怕他永远发现不了镭。反之，让居里夫人坐在阁楼里构思着四大悲剧，到头