據《三國志·諸葛亮傳》:蜀漢建興六年(228年)諸葛亮擊降南安、天水、安定三郡,而前鋒馬謖喪失軍事戰略要地街亭,于是“亮開拔西縣千余家,退還漢中,戮謖以謝眾?!薄吨T葛亮傳》中遷民的西縣正是歷來盛傳的施行空城計的西城。
西縣是秦民族早期都邑,本名西垂,地在今天水市秦州區西南;秦遷都關中后在其地置西縣,西漢、東漢因之。是一個很古老的縣治,歷史上相當有名。東漢初年,隗囂、劉秀大戰,隗囂敗逃的西城也即此地。時諸葛亮大軍在祁山,臨近西縣城,所以就近遷民。
關于空城計,諸葛亮本傳沒有直接記載,裴松之注引《郭沖三事》所言,和空城計相似:蜀漢建興五年(227年),諸葛亮屯兵陽平關,派魏延等統帥各路兵馬東下進攻魏軍,自統1萬人守城。司馬懿則統帥20萬大軍西上拒敵,和魏延錯道而過,各不相知。司馬懿得以徑抵城前,蜀軍將士大驚失色,不知如何是好。亮則“意氣自若,敕軍中皆臥旗息鼓,不得妄出幔,又令大開四城門,掃地卻灑。宣帝常謂亮持重,而猥見勢弱,疑其伏兵,于是引軍去北山。明日食時,亮謂參佐拊手大笑曰‘司馬懿必謂吾怯,將有強伏,循山走矣。侯邏還白,如亮所言?!迸崴芍畬Α豆鶝_三事》的說法是否定的。事實上諸葛亮屯兵陽平關時,司馬懿任荊州督都,屯兵宛城,駐防孫吳;至曹真卒后才專制西方軍事,之前不曾和諸葛亮對陣,即使對陣也不可能遠在天水的西城。
諸葛亮雖不曾設空城計,或者說諸葛亮的空城計是否真實尚有疑點,而從《諸葛亮傳》上看,他無疑是退兵高手。五次北伐,戰果不佳,卻從未被魏軍追敗,倒是魏軍每追必敗,輒厥上將。西縣搬民退兵是諸葛料定魏大軍上隴,戰事不速決,割據隴右的兵勢不存后做出的退兵計劃。