gopl-zh.github.com/ch7/ch7-05-1.md

2.4 KiB
Raw Blame History

7.5.1. 警告一個包含nil指針的接口不是nil接口

一個不包含任何值的nil接口值和一個剛好包含nil指針的接口值是不同的。這個細微區别産生了一個容易絆倒每個Go程序員的陷阱。

思考下面的程序。當debug變量設置爲true時main函數會將f函數的輸出收集到一個bytes.Buffer類型中。

const debug = true

func main() {
	var buf *bytes.Buffer
	if debug {
		buf = new(bytes.Buffer) // enable collection of output
	}
	f(buf) // NOTE: subtly incorrect!
	if debug {
		// ...use buf...
	}
}

// If out is non-nil, output will be written to it.
func f(out io.Writer) {
	// ...do something...
	if out != nil {
		out.Write([]byte("done!\n"))
	}
}

我們可能會預計當把變量debug設置爲false時可以禁止對輸出的收集但是實際上在out.Write方法調用時程序發生了panic

if out != nil {
	out.Write([]byte("done!\n")) // panic: nil pointer dereference
}

當main函數調用函數f時它給f函數的out參數賦了一個*bytes.Buffer的空指針所以out的動態值是nil。然而它的動態類型是*bytes.Buffer意思就是out變量是一個包含空指針值的非空接口如圖7.5所以防禦性檢査out!=nil的結果依然是true。

動態分配機製依然決定(*bytes.Buffer).Write的方法會被調用但是這次的接收者的值是nil。對於一些如*os.File的類型nil是一個有效的接收者(§6.2.1),但是*bytes.Buffer類型不在這些類型中。這個方法會被調用但是當它嚐試去獲取緩衝區時會發生panic。

問題在於盡管一個nil的*bytes.Buffer指針有實現這個接口的方法它也不滿足這個接口具體的行爲上的要求。特别是這個調用違反了(*bytes.Buffer).Write方法的接收者非空的隱含先覺條件所以將nil指針賦給這個接口是錯誤的。解決方案就是將main函數中的變量buf的類型改爲io.Writer因此可以避免一開始就將一個不完全的值賦值給這個接口

var buf io.Writer
if debug {
	buf = new(bytes.Buffer) // enable collection of output
}
f(buf) // OK

現在我們已經把接口值的技巧都講完了讓我們來看更多的一些在Go標準庫中的重要接口類型。在下面的三章中我們會看到接口類型是怎樣用在排序web服務錯誤處理中的。