概念上講一個(gè)接口的值，接口值，由兩個(gè)部分組成，一個(gè)具體的類(lèi)型和那個(gè)類(lèi)型的值。它們 被稱(chēng)為接口的動(dòng)態(tài)類(lèi)型和動(dòng)態(tài)值。對(duì)于像Go語(yǔ)言這種靜態(tài)類(lèi)型的語(yǔ)言，類(lèi)型是編譯期的概 念；因此一個(gè)類(lèi)型不是一個(gè)值。在我們的概念模型中，一些提供每個(gè)類(lèi)型信息的值被稱(chēng)為類(lèi) 型描述符，比如類(lèi)型的名稱(chēng)和方法。在一個(gè)接口值中，類(lèi)型部分代表與之相關(guān)類(lèi)型的描述 符。

下面4個(gè)語(yǔ)句中，變量w得到了3個(gè)不同的值。（開(kāi)始和最后的值是相同的）

var w io.Writer
w = os.Stdout
w = new(bytes.Buffer)
w = nil

讓我們進(jìn)一步觀察在每一個(gè)語(yǔ)句后的w變量的值和動(dòng)態(tài)行為。第一個(gè)語(yǔ)句定義了變量w

var w io.Writer

在Go語(yǔ)言中，變量總是被一個(gè)定義明確的值初始化，即使接口類(lèi)型也不例外。對(duì)于一個(gè)接口 的零值就是它的類(lèi)型和值的部分都是nil。

一個(gè)接口值基于它的動(dòng)態(tài)類(lèi)型被描述為空或非空，所以這是一個(gè)空的接口值。你可以通過(guò)使 用w==nil或者w!=nil來(lái)判讀接口值是否為空。調(diào)用一個(gè)空接口值上的任意方法都會(huì)產(chǎn)生panic:

w.Write([]byte("hello")) // panic: nil pointer dereference

第二個(gè)語(yǔ)句將一個(gè)*os.File類(lèi)型的值賦給變量w:

w = os.Stdout

這個(gè)賦值過(guò)程調(diào)用了一個(gè)具體類(lèi)型到接口類(lèi)型的隱式轉(zhuǎn)換，這和顯式的使用 io.Writer(os.Stdout)是等價(jià)的。這類(lèi)轉(zhuǎn)換不管是顯式的還是隱式的，都會(huì)刻畫(huà)出操作到的類(lèi)型 和值。這個(gè)接口值的動(dòng)態(tài)類(lèi)型被設(shè)為*os.Stdout指針的類(lèi)型描述符，它的動(dòng)態(tài)值持有os.Stdout的拷貝；這是一個(gè)代表處理標(biāo)準(zhǔn)輸出的os.File類(lèi)型變量的指針。

調(diào)用一個(gè)包含*os.File類(lèi)型指針的接口值的Write方法，使得(*os.File).Write方法被調(diào)用。這個(gè) 調(diào)用輸出“hello”。

w.Write([]byte("hello")) // "hello"

通常在編譯期，我們不知道接口值的動(dòng)態(tài)類(lèi)型是什么，所以一個(gè)接口上的調(diào)用必須使用動(dòng)態(tài) 分配。因?yàn)椴皇侵苯舆M(jìn)行調(diào)用，所以編譯器必須把代碼生成在類(lèi)型描述符的方法Write上，然 后間接調(diào)用那個(gè)地址。這個(gè)調(diào)用的接收者是一個(gè)接口動(dòng)態(tài)值的拷貝，os.Stdout。效果和下面 這個(gè)直接調(diào)用一樣：

os.Stdout.Write([]byte("hello")) // "hello"

第三個(gè)語(yǔ)句給接口值賦了一個(gè)*bytes.Buffer類(lèi)型的值

w = new(bytes.Buffer)

現(xiàn)在動(dòng)態(tài)類(lèi)型是*bytes.Buffer并且動(dòng)態(tài)值是一個(gè)指向新分配的緩沖區(qū)的指針

Write方法的調(diào)用也使用了和之前一樣的機(jī)制：

w.Write([]byte("hello")) // writes "hello" to the bytes.Buffers

這次類(lèi)型描述符是*bytes.Buffer，所以調(diào)用了(*bytes.Buffer).Write方法，并且接收者是該緩沖 區(qū)的地址。這個(gè)調(diào)用把字符串“hello”添加到緩沖區(qū)中。

最后，第四個(gè)語(yǔ)句將nil賦給了接口值：

w = nil

這個(gè)重置將它所有的部分都設(shè)為nil值，把變量w恢復(fù)到和它之前定義時(shí)相同的狀態(tài)圖，在第一張圖中可以看到。

一個(gè)接口值可以持有任意大的動(dòng)態(tài)值。例如，表示時(shí)間實(shí)例的time.Time類(lèi)型，這個(gè)類(lèi)型有幾 個(gè)對(duì)外不公開(kāi)的字段。我們從它上面創(chuàng)建一個(gè)接口值。

var x interface{} = time.Now()

結(jié)果可能和下圖相似。從概念上講，不論接口值多大，動(dòng)態(tài)值總是可以容下它。（這只是一 個(gè)概念上的模型；具體的實(shí)現(xiàn)可能會(huì)非常不同）

接口值可以使用＝＝和?。絹?lái)進(jìn)行比較。兩個(gè)接口值相等僅當(dāng)它們都是nil值或者它們的動(dòng)態(tài) 類(lèi)型相同并且動(dòng)態(tài)值也根據(jù)這個(gè)動(dòng)態(tài)類(lèi)型的＝＝操作相等。因?yàn)榻涌谥凳强杀容^的，所以它 們可以用在map的鍵或者作為switch語(yǔ)句的操作數(shù)。

然而，如果兩個(gè)接口值的動(dòng)態(tài)類(lèi)型相同，但是這個(gè)動(dòng)態(tài)類(lèi)型是不可比較的（比如切片），將 它們進(jìn)行比較就會(huì)失敗并且panic：

var x interface{} = []int{1, 2, 3}
fmt.Println(x == x) // panic: comparing uncomparable type []int

考慮到這點(diǎn)，接口類(lèi)型是非常與眾不同的。其它類(lèi)型要么是安全的可比較類(lèi)型（如基本類(lèi)型 和指針）要么是完全不可比較的類(lèi)型（如切片，映射類(lèi)型，和函數(shù)），但是在比較接口值或 者包含了接口值的聚合類(lèi)型時(shí)，我們必須要意識(shí)到潛在的panic。同樣的風(fēng)險(xiǎn)也存在于使用接 口作為map的鍵或者switch的操作數(shù)。只能比較你非常確定它們的動(dòng)態(tài)值是可比較類(lèi)型的接口值。

當(dāng)我們處理錯(cuò)誤或者調(diào)試的過(guò)程中，得知接口值的動(dòng)態(tài)類(lèi)型是非常有幫助的。所以我們使用 fmt包的%T動(dòng)作:

var w io.Writer
fmt.Printf("%T\n", w) // "<nil>"
w = os.Stdout
fmt.Printf("%T\n", w) // "*os.File"
w = new(bytes.Buffer)
fmt.Printf("%T\n", w) // "*bytes.Buffer"

在fmt包內(nèi)部，使用反射來(lái)獲取接口動(dòng)態(tài)類(lèi)型的名稱(chēng)。我們會(huì)在第12章中學(xué)到反射相關(guān)的知 識(shí)。

總結(jié) 

到此這篇關(guān)于go語(yǔ)言接口之接口值的文章就介紹到這了,更多相關(guān)go語(yǔ)言接口值內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論