建兴六年春，诸葛亮第一次北伐，兵出祁山，南安、天水、安定响应，关中震动。他不用旧将魏延出子午谷的险计，而派马谡督诸军在前，与魏将张郃战于街亭。街亭在今甘肃庄浪一带，是陇右进入关中的咽喉，并不在汉中城下。

马谡违背诸葛亮的部署，舍水上山，被张郃断了汲道，士卒溃散。诸葛亮进无所据，只好退兵，并把西县一带的人口迁走。他上表自贬，又斩马谡以谢众。陈寿写的是戮谡，不是只写一卷军令状的戏。

同一次北伐里，赵云、邓芝率偏师出箕谷，同样失利。赵云能敛众固守，贬职而不至于全军覆没。箕谷不是街亭。司马懿当时尚未成为对蜀的主帅，空城计更不是这一仗的记载。街亭失败说明的是诸葛亮用人与山地补给的限度，不是一场被小说写满的斗智。