首先,我们来看一个例子
type Stringer interface {
String() string
}
type String struct {
data string
}
func (s *String) String() string {
return s.data
}
上面是类型,然后
func GetString() *String {
return nil
}
func CheckString(s Stringer) bool {
return s == nil
}
func main() {
println(CheckString(GetString()))
}
你们猜答案是什么?
当然,这么诡异的提问方式一看答案就是不合常理的false。
在CheckString
里面,s是不等于nil的。
如果你觉得不可思议,那么可以继续看下去了。
需要强调的是,本篇文章仅仅适用于golang。
类型转换
官方文档明确说明了怎么判断类型T是否可以转换成V,正常来说,T要转换成V必需显式声明。
func check64(v int64){}
func check(v int){}
a := 5
b := int64(10)
check64(int64(a))
check(int(b))
check64(a) // panic
不过,如果在满足Assignability的情况下,就可以在没有显式声明的情况下自动进行类型转换
其中,比较容易被忽略的是这两条:
- x is the predeclared identifier nil and T is a pointer, function, slice, map, channel, or interface type.
- x is an untyped constant representable by a value of type T.
const a = 5
func check64(v int64){}
func checkSlice(v []int){}
check64(a) // -> check64(int64(a))
check64(1024) // -> check64(int64(1024))
checkSlice(nil) // -> checkSlice([]int(nil))
上面的代码是能够正确执行了, 需要注意的是,1024也是属于常量(这里说明了Integer literals
是表示了一个integer constant
).
分析
当了解之后,再看我刚开始给的例子
func GetString() *String {
return nil
}
println(interface{}(GetString()))
这里扔出去的实际上是*String(nil)
, 如果print出来,应该是一个(0x****, 0x0)的值
需要ps的是,print打印一个interface时,第一个值为一个变量的动态类型的指针,第二个值为实际值的指针。这里为了得到动态类型,故意转换成了interface{}
然后,到CheckString
,
func CheckString(s Stringer) bool {
return s == nil
}
这里的nil
会被转换成Stringer(nil)
, 用print大法打印出来,结果是(0x0, 0x0)
是不是感到很奇怪,print打印出来的第一个是类型的指针,为什么是0?首先,一个变量会有一个动态类型和静态类型,如果不是interface的话,静态类型和动态类型是一样的,当interface时,静态类型是interface的值,而动态类型确是他储存的值的实际类型。而print打印的是动态类型,由于这里他的值为0,动态类型也肯定为0.
当这时候执行CheckString(GetString())
的时候,这时候s便是*String(nil)
, 而nil确是<nil>(nil)
(空类型的空指针),进行equals判断的时候,根据spec, interface会在dynamic type
和dynamic value
完全一样的时候才返回true。所以这里很明显是false。
如何不踩坑
虽然例子看起来很无厘头,但实际上这个比较容易踩坑的,特别是在想要作死的时候…
type SpecError struct {
err Error
}
func NewSpecError(err error) *SpecError {
if err == nil {
return nil
}
return &SpecError{err}
}
func (se *SpecError) Error() string {
return se.err.Error()
}
func GetObjByID(id string) (*Obj, error) {
obj, err := xxxxx(id)
return obj, NewSpecError(err)
}
func main(){
obj, err := GetObjByID("123")
if err != nil {
panic(err)
}
。。。
}
好吧我承认只要不作死乖乖在GetObjByID
把if err != nil
不上就不会有这种事了…
思考
type RouterString func() string
type RouterBytes func() []byte
func AddRouter(router interface{}) {
switch router := router.(type) {
case RouterString:
println("string")
case RouterBytes:
println("bytes")
default:
println("unknown types")
}
}
func main() {
AddRouter(func() string{
println("hello?")
})
}
这段代码哪里错了?怎么改?