在其他編程語(yǔ)言里，聲明變量卻不賦值，拿到的往往是undefined或null。Go語(yǔ)言走了一條完全不同的路——每個(gè)變量從誕生那一刻起，就帶著一個(gè)確定的初始值，這個(gè)機(jī)制被稱為"零值"（Zero Value）。

這不是簡(jiǎn)單的語(yǔ)法糖，而是Go設(shè)計(jì)哲學(xué)的核心體現(xiàn)。當(dāng)你寫下var x int或var s string，編譯器不會(huì)放任內(nèi)存中的隨機(jī)數(shù)據(jù)，而是強(qiáng)制填入類型對(duì)應(yīng)的默認(rèn)值：整數(shù)是0，字符串是空串""，布爾值是false。沒(méi)有垃圾內(nèi)存，沒(méi)有未定義行為，程序從一開(kāi)始就是確定的。

這種設(shè)計(jì)帶來(lái)了兩個(gè)直接好處。首先是內(nèi)存安全——C語(yǔ)言里讀取未初始化變量會(huì)返回內(nèi)存中的任意殘留值，而Go的編譯器在編譯期就保證了初始狀態(tài)。其次是"有用的零值"（useful zero value）模式，標(biāo)準(zhǔn)庫(kù)中的許多類型可以直接使用，無(wú)需繁瑣的構(gòu)造函數(shù)：

var b bytes.Buffer能直接寫入字符串；var mu sync.Mutex能直接加鎖；var wg sync.WaitGroup能直接添加計(jì)數(shù)。這些類型在零值狀態(tài)下就是可用的，省去了其他語(yǔ)言中常見(jiàn)的new Buffer()或createMutex()之類的樣板代碼。

但零值并非總是無(wú)害的。切片（slice）、映射（map）和通道（channel）的零值都是nil，三者的行為卻天差地別，這是Go新手最容易踩坑的地方。

nil切片的行為相當(dāng)寬容。你可以對(duì)它調(diào)用len()得到0，可以用range遍歷（循環(huán)體不會(huì)執(zhí)行），可以用append追加元素——操作后它會(huì)變成真正的非空切片。幾乎在所有場(chǎng)景下，nil切片都能當(dāng)空切片來(lái)用。唯一的區(qū)別是類型比較：var a []int等于nil，而b := []int{}不等于nil，盡管兩者的長(zhǎng)度都是0。

nil映射就危險(xiǎn)得多。讀取操作是安全的，會(huì)返回值類型的零值；但寫入會(huì)直接觸發(fā)panic：panic: assignment to entry in nil map。任何向map寫入數(shù)據(jù)之前，必須先make初始化。這個(gè)設(shè)計(jì)沒(méi)有妥協(xié)空間，寫代碼時(shí)必須時(shí)刻警惕。

nil通道的行為最特殊：發(fā)送和接收都會(huì)永久阻塞。這看起來(lái)像bug，實(shí)則是select語(yǔ)句的強(qiáng)大工具——通過(guò)將某個(gè)case的通道設(shè)為nil，可以動(dòng)態(tài)禁用該分支，實(shí)現(xiàn)復(fù)雜的并發(fā)控制邏輯。

結(jié)構(gòu)體的零值同樣值得注意。每個(gè)字段自動(dòng)獲得對(duì)應(yīng)類型的零值，如果所有字段都可比較，還能直接與空結(jié)構(gòu)體字面量比較：if u == (User{})來(lái)判斷是否未被填充。

JSON序列化是零值機(jī)制最隱蔽的陷阱。當(dāng)你把一個(gè)剛聲明的結(jié)構(gòu)體編碼為JSON，零值字段不會(huì)消失，而是變成顯式的空字符串或0：

json.Marshal(T{})輸出{"Name":"","Age":0}。這與JavaScript等語(yǔ)言的習(xí)慣截然不同，也是API對(duì)接時(shí)常見(jiàn)的bug來(lái)源。理解零值，是寫出健壯Go代碼的第一課。