golang interface判斷為空nil
要判斷interface 空的問題,首先看下其底層實現。
interface 底層結構
根據 interface 是否包含有 method,底層實現上用兩種 struct 來表示:iface 和 eface。eface表示不含 method 的 interface 結構,或者叫 empty interface。對於 Golang 中的大部分資料型別都可以抽象出來 _type 結構,同時針對不同的型別還會有一些其他資訊。
1.eface
type eface struct {
_type *_type
data unsafe.Pointer
}
type _type struct {
size uintptr // type size
ptrdata uintptr // size of memory prefix holding all pointers
hash uint32 // hash of type; avoids computation in hash tables
tflag tflag // extra type information flags
align uint8 // alignment of variable with this type
fieldalign uint8 // alignment of struct field with this type
kind uint8 // enumeration for C
alg *typeAlg // algorithm table
gcdata *byte // garbage collection data
str nameOff // string form
ptrToThis typeOff // type for pointer to this type, may be zero
}
2.iface
iface 表示 non-empty interface 的底層實現。相比於 empty interface,non-empty 要包含一些 method。method 的具體實現存放在 itab.fun 變數裡。如果 interface 包含多個 method,這裡只有一個 fun 變數怎麼存呢?這個下面再細說。
type iface struct {
tab *itab
data unsafe.Pointer
}
// layout of Itab known to compilers
// allocated in non-garbage-collected memory
// Needs to be in sync with
// ../cmd/compile/internal/gc/reflect.go:/^func.dumptypestructs.
type itab struct {
inter *interfacetype
_type *_type
link *itab
bad int32
inhash int32 // has this itab been added to hash?
fun [1]uintptr // variable sized
}
概括起來,介面物件由介面表 (interface table) 指標和資料指標組成,或者說由動態型別和動態值組成。
struct Iface
{
Itab* tab;
void* data;
};
struct Itab
{
InterfaceType* inter;
Type* type;
void (*fun[])(void);
};
介面表儲存元資料資訊,包括介面型別、動態型別,以及實現介面的方法指標。無論是反射還是通過介面呼叫方法,都會用到這些資訊。
再來看下nil的定義。
nil的定義
// nil is a predeclared identifier representing the zero value for a pointer, channel, func, interface, map, or slice type.
var nil Type // Type must be a pointer, channel, func, interface, map, or slice type
也就是說,只有pointer, channel, func, interface, map, or slice 這些型別的值才可以是nil.
如何判定interface裡面的動態值是否空
對於一個介面的零值就是它的型別和值的部分都是nil。
一個介面值基於它的動態型別被描述為空或非空。
例如,
var w io.Writer
一般情況下,通過使用w==nil或者w!=nil來判讀介面值是否為空,只是判斷了動態型別,而沒有判斷動態值。
例如,下面的例子。
package main
import ("fmt")
func main(){
var a interface{} = nil // tab = nil, data = nil
var b interface{} = (*int)(nil) // tab 包含 *int 型別資訊, data = nil
fmt.Println(a==nil)
fmt.Println(b==nil)
}
output:
true
false
上面程式碼中,介面b的動態型別為*int, 而動態值為nil,直接使用等於號無法判斷。
所以不能直接通過與nil比較的方式判斷動態值是否為空。
那如何判斷動態值是否為空?
可以藉助反射來判斷。
func IsNil(i interface{}) bool {
defer func() {
recover()
}()
vi := reflect.ValueOf(i)
return vi.IsNil()
}
如果呼叫IsNil的不是一個指標,會出現異常,需要捕獲異常。
或者修改成這樣:
func IsNil(i interface{}) bool {
vi := reflect.ValueOf(i)
if vi.Kind() == reflect.Ptr {
return vi.IsNil()
}
return false
}
總結
一個介面包括動態型別和動態值。
如果一個介面的動態型別和動態值都為空,則這個介面為空的。
參考
https://golang.org/src/builtin/builtin.go?h=var+nil+Type#L101
《Go學習筆記–雨痕》