預(yù)備知識(shí)：
- 任何空接口類型的變量，即interface{}，其內(nèi)存布局均如下：
type eface struct {
_type *_type // 指向動(dòng)態(tài)類型
data unsafe.Pointer // 指向動(dòng)態(tài)值
}
- 判斷interface{}變量是否為nil，那么就是在判斷該空接口變量的動(dòng)態(tài)類型和動(dòng)態(tài)值是否均為空(因?yàn)閮蓚€(gè)字段均為指針類型，故其零值均為0，后面你會(huì)看到代碼執(zhí)行的效果)
下面可以巧妙地運(yùn)用interface{}的內(nèi)存布局，來(lái)驗(yàn)證go關(guān)于接口類型比較的結(jié)論。
type eface struct {
_type uintptr
data uintptr
}
func main() {
var a interface{}
var b interface{} = (*int)(nil)
n := 1024
var c interface{} = &n
ia := *(*eface)(unsafe.Pointer(&a))
ib := *(*eface)(unsafe.Pointer(&b))
ic := *(*eface)(unsafe.Pointer(&c))
fmt.Printf("%+v %+v %+v\n", ia, ib, ic)
fmt.Printf("%t %t %t\n", a == nil, b == nil, c == nil)
fmt.Println(*(*int)(unsafe.Pointer(ic.data)))
// output: 只有_type==0 && data == 0時(shí)，該interface{}變量才會(huì)為nil
// {_type:0 data:0} {_type:17365472 data:0} {_type:17365472 data:824634805912}
// true false false
// 1024
}
想必你已經(jīng)看懂了。這就是我前面提到的，通過(guò)巧妙地查看接口的內(nèi)存布局，來(lái)協(xié)助我們驗(yàn)證go的一些特性。
FAQ：
- 為什么不直接使用go內(nèi)置的eface，而是自定義一個(gè)類型？
因?yàn)閞untime.eface不支持導(dǎo)出，只能自定義。而go里面只要內(nèi)存布局是一致的，得到的字段數(shù)據(jù)也就是和運(yùn)行時(shí)是一致的。
用上面的思路來(lái)驗(yàn)證一下非空接口:
非空接口的運(yùn)行時(shí)表示為runtime.iface，結(jié)構(gòu)如下:
type iface struct {
tab *itab
data unsafe.Pointer
}
type itab struct {
inter *interfacetype
_type *_type
hash uint32 // copy of _type.hash. Used for type switches.
_ [4]byte
fun [1]uintptr // variable sized. fun[0]==0 means _type does not implement inter.
}
直接上代碼：
type iface struct {
tab *itab
data uintptr
}
type itab struct {
inter *uintptr
_type *uintptr
hash uint32 // copy of _type.hash. Used for type switches.
_ [4]byte
fun [1]uintptr // variable sized. fun[0]==0 means _type does not implement inter.
}
func main() {
var a io.Reader
var b io.Reader = (*os.File)(nil)
var c io.Reader = bytes.NewReader(nil)
ia := *(*iface)(unsafe.Pointer(&a))
ib := *(*iface)(unsafe.Pointer(&b))
ic := *(*iface)(unsafe.Pointer(&c))
fmt.Printf("%A %A %A\n", ia, ib, ic) // %A是無(wú)效的格式化符號(hào)，這里只是正好能打印struct內(nèi)部指針數(shù)據(jù)而已
fmt.Printf("%t %t %t\n", a == nil, b == nil, c == nil)
// output:
// {%!A(*main.itab=<nil>) %!A(uintptr=0)} {%!A(*main.itab=&{0x10965c0 0x109fd00 871609668 [0 0 0 0] [16815968]}) %!A(uintptr=0)} {%!V(*main.itab=&{0x10965c0 0x109d020 2769700948 [0 0 0 0] [16815968]}) %!V(uintptr=824634359856)}
// true false false
}
結(jié)果也是一樣的：tab和data都為nil的情況下，該接口變量才為nil。
細(xì)心的朋友可能發(fā)現(xiàn)了，b和c的inter數(shù)據(jù)一樣，但是_type值不一樣，這里說(shuō)明一下：inter代表接口類型，_type代表動(dòng)態(tài)類型。那么接口類型均為io.Reader，而動(dòng)態(tài)類型一個(gè)為*os.File，一個(gè)為bytes.Reader，當(dāng)然不同了。
參考列表：
- 《Go程序員面試筆試寶典》
