from:https://blog.csdn.net/qq_26981997/article/details/52608081
對(duì)go做過開發(fā)的朋友都很熟悉interface睦擂。這幾天在網(wǎng)上看到了篇文章赢底，談到了interface與nil判等的問題。題是好題趾唱，就進(jìn)一步了解了一下。原題如下：Nil接口并不是有Nil指針的接口type Cat interface { Meow()}type Tabby struct {}func (*Tabby) Meow() { fmt.Println("meow") }func GetACat() Cat { var myTabby *Tabby = nil // Oops, we forgot to set myTabby to a real value return myTabby}func TestGetACat(t *testing.T) { if GetACat() == nil { t.Errorf("Forgot to return a real cat!") }} 毫無疑問腺晾，輸出結(jié)果是空捆昏。也就是說GetACat()方法返回的值，不為nil淌友。解答是“將一個(gè)指針返回了空指針”煌恢。說實(shí)話，真心沒看懂震庭！官方對(duì)interface的定義官方在常見問題中瑰抵，對(duì)interface判斷nil進(jìn)行了描述：原文interface的內(nèi)部實(shí)現(xiàn)，其實(shí)有兩個(gè)很核心的元素器联，那就是type與value二汛。interface==nil,僅當(dāng)type婿崭、value均為nil，即(nil,nil)肴颊。很多時(shí)候氓栈，type有值，而value==nil婿着，比如上題颤绕。實(shí)際開發(fā)中，不應(yīng)存在type==nil祟身，value奥务！=nil的情況。 因此袜硫，原題的解答應(yīng)該是：為type確定了類型指針氯葬，但value依然沒有賦值。更多的疑問婉陷？查看了一些資料帚称，有幾個(gè)困惑，需要逐個(gè)分析： - 接口變量是否為指針類型秽澳？ - 結(jié)構(gòu)體指針能否與其接口變量判等闯睹？首先定義一個(gè)全局的接口和對(duì)應(yīng)的兩個(gè)實(shí)現(xiàn)類，便于后續(xù)的分析担神。//接口type Cat interface { Meow()}//實(shí)現(xiàn)類1type Tabby struct{}func (*Tabby) Meow() { fmt.Println("Tabby meow") }func GetNilTabbyCat() Cat { var myTabby *Tabby = nil return myTabby}func GetTabbyCat() Cat { var myTabby *Tabby = &Tabby{} return myTabby}//實(shí)現(xiàn)類2type Gafield struct{}func (*Gafield) Meow() { fmt.Println("Gafield meow") }func GetNilGafieldCat() Cat { var myGafield *Gafield = nil return myGafield}func GetGafieldCat() Cat { var myGafield *Gafield = &Gafield{} return myGafield} 接口變量是否為指針類型楼吃？ 在面對(duì)類型時(shí)，可以利用反射包（reflect）的TypeOf獲取的Type妄讯，再調(diào)用Kind來了解基礎(chǔ)結(jié)構(gòu)類別孩锡。 var ( cat2 = GetNilTabbyCat() ) fmt.Printf("cat1 information: type=%15v,kind=%10v \n",reflect.TypeOf(cat2),reflect.TypeOf(cat2).Kind())1234通過結(jié)果，我們可以知道亥贸，cat2是指針. 接口變量之間的判等 var ( cat1 Cat = nil cat2 = GetNilTabbyCat() cat3 = GetTabbyCat() cat4 = GetNilGafieldCat() ) fmt.Printf("cat1 information: nil?:%5v, type=%15v, value=%5v \n", cat1 == nil, reflect.TypeOf(cat1), reflect.ValueOf(cat1)) //接口變量躬窜，type、value都是nil炕置，所以cat1==nil fmt.Printf("cat2 information: nil?:%5v, type=%15v, type.kind=%5v, value=%5v \n", cat2 == nil, reflect.TypeOf(cat2), reflect.TypeOf(cat2).Kind(), reflect.ValueOf(cat2)) //接口變量荣挨，type!=nil，所以cat2!==nil fmt.Printf("cat3 information: nil?:%5v, type=%15v, type.kind=%5v, value=%5v \n", cat3 == nil, reflect.TypeOf(cat3), reflect.TypeOf(cat3).Kind(), reflect.ValueOf(cat3)) //接口變量朴摊，type!=nil, 所以cat3!=nil fmt.Printf("cat4 information: nil?:%5v, type=%15v, type.kind=%5v, value=%5v \n", cat4 == nil, reflect.TypeOf(cat4), reflect.TypeOf(cat4).Kind(), reflect.ValueOf(cat4)) //接口變量默垄， fmt.Printf("cat1==cat2?%5v , cat2==cat3?%5v， cat2==cat4?%5v \n", cat1 == cat2, cat2 == cat3, cat2 == cat4) //Output: //cat1 information: nil?: true, type=, value=//cat2 information: nil?:false, type= *main.Tabby, type.kind= ptr, value=//cat3 information: nil?:false, type= *main.Tabby, type.kind= ptr, value=&{} //cat4 information: nil?:false, type= *main.Gafield, type.kind= ptr, value=//cat1==cat2?false , cat2==cat3?false仍劈， cat2==cat4?false 從運(yùn)行結(jié)果看厕倍，接口變量之間判斷寡壮，是要比較type和value的贩疙。cat1的type是空讹弯，所以cat1!=cat2。cat2與cat3的值不同这溅，所以不等组民。cat2與cat4的type不同，所以不等悲靴。 更進(jìn)一步臭胜，其實(shí)可以使用unsafe.Pointer來了解，可以很清楚的了解cat2變量的類別和值的情況癞尚，代碼如下：type iface struct { itype uintptr ivalue uintptr }d1 := (*iface)(unsafe.Pointer(&cat1))d2 := (*iface)(unsafe.Pointer(&cat2))d3 := (*iface)(unsafe.Pointer(&cat3))d4 := (*iface)(unsafe.Pointer(&cat4))fmt.Println(d1)fmt.Println(d2)fmt.Println(d3)fmt.Println(d4)//Output://&{0 0} //&{7024192 0} //&{7024192 7302976} //&{7024128 0} 接口變量能否與其結(jié)構(gòu)體指針判等 從前面代碼對(duì)比可以知道耸三，接口變量是指針。那接口指針是否會(huì)與結(jié)構(gòu)體指針相同呢浇揩？ type iface struct { itype uintptr ivalue uintptr } var ( cat1 Cat = GetNilTabbyCat() //接口指針 cat2 = GetTabbyCat() //接口指針 cat3 *Tabby = &Tabby{} //結(jié)構(gòu)體指針 ) d1 := (*iface)(unsafe.Pointer(&cat1)) d2 := (*iface)(unsafe.Pointer(&cat2)) d3 := (*iface)(unsafe.Pointer(&cat3)) fmt.Printf("cat1 information: nil?:%5v, type=%15v, value=%v ,%v \n", cat1 == nil, reflect.TypeOf(cat1), reflect.ValueOf(cat1), d1) //接口變量仪壮，type、value都是nil胳徽，所以cat1==nil fmt.Printf("cat2 information: nil?:%5v, type=%15v, type.kind=%10v, value=%v ,%v \n", cat1 == nil, reflect.TypeOf(cat2), reflect.TypeOf(cat2).Kind(), reflect.ValueOf(cat2), d2) //接口變量积锅，type!=nil，所以cat2!==nil fmt.Printf("cat3 information: nil?:%5v, type=%15v, type.kind=%10v, value=%v ,%v \n", cat3 == nil, reflect.TypeOf(cat3), reflect.TypeOf(cat3).Kind(), reflect.ValueOf(cat3), d3) //接口變量养盗，type!=nil, 所以cat3!=nil fmt.Printf("cat1==cat2?:%5v, cat2==cat3?%v \n", cat1==cat2,cat2==cat3 ) //Output: //cat1 information: nil?:false, type= *main.Tabby, value= ,&{7024192 0}
? ? //cat2 information: nil?:false, type=? ? *main.Tabby, type.kind=? ? ? ptr, value=&{} ,&{7024192 7302976}
? ? //cat3 information: nil?:false, type=? ? *main.Tabby, type.kind=? ? ? ptr, value=&{} ,&{7302976 0}
? ? //cat1==cat2?:false, cat2==cat3?true
可以看出缚陷，結(jié)構(gòu)體指針是可以與接口指針進(jìn)行判等的，但要注意往核，盡管cat2箫爷、cat3的ivalue指向的地址不同，但比較的是具體的值聂儒，所以相等蝶缀。
簡單結(jié)論：
指針的判斷，都涉及到type和value薄货。
接口指針之間的判等翁都，要基于type與value，一個(gè)不同則不等谅猾。
接口指針與其對(duì)應(yīng)實(shí)現(xiàn)的結(jié)構(gòu)體指針柄慰，可以進(jìn)行判等操作。
