Go 面试题:Go interface 的一个 “坑” 及原理分析

时间:2022-09-05 16:49:49

 Go 面试题:Go interface 的一个 “坑” 及原理分析

大家好,我是煎鱼。

前几天在读者交流群里看到一位小伙伴,针对 interface 的使用有了比较大的疑惑。

无独有偶,我也在网上看到有小伙伴在 Go 面试的时候被问到了:

Go 面试题:Go interface 的一个 “坑” 及原理分析

来自网上博客的截图

今天特意分享出来让大家避开这个坑。

例子一

第一个例子,如下代码:

func main() { 

    var v interface{} 

    v = (*int)(nil) 

    fmt.Println(v == nil) 

你觉得输出结果是什么呢?

答案是:

false 

为什么不是 true。明明都已经强行置为 nil 了。是不是 Go 编译器有问题?

例子二

第二个例子,如下代码:

func main() { 

    var data *byte 

    var in interface{} 

 

    fmt.Println(data, data == nil) 

    fmt.Println(inin == nil) 

 

    in = data 

    fmt.Println(inin == nil) 

你觉得输出结果是什么呢?

答案是:

<nil> true 

<nil> true 

<nil> false 

这可就更奇怪了,为什么刚刚声明出来的 data 和 in 变量,确实是输出结果是 nil,判断结果也是 true。

怎么把变量 data 一赋予给变量 in,世界就变了?输出结果依然是 nil,但判定却变成了 false。

和上面的第一个例子结果类似,真是神奇。

原因

interface 判断与想象中不一样的根本原因是,interface 并不是一个指针类型,虽然他看起来很像,以至于误导了不少人。

我们钻下去 interface,interface 共有两类数据结构:

Go 面试题:Go interface 的一个 “坑” 及原理分析

  • runtime.eface 结构体:表示不包含任何方法的空接口,也称为 empty interface。
  • runtime.iface 结构体:表示包含方法的接口。

看看这两者相应的底层数据结构:

type eface struct { 

    _type *_type 

    data  unsafe.Pointer 

 

type iface struct { 

    tab  *itab 

    data unsafe.Pointer 

你会发现 interface 不是单纯的值,而是分为类型和值。

所以传统认知的此 nil 并非彼 nil,必须得类型和值同时都为 nil 的情况下,interface 的 nil 判断才会为 true。

解决办法

与其说是解决方法,不如说是委婉的破局之道。在不改变类型的情况下,方法之一是利用反射(reflect),如下代码:

func main() { 

    var data *byte 

    var in interface{} 

 

    in = data 

    fmt.Println(IsNil(in)) 

 

func IsNil(i interface{}) bool { 

    vi := reflect.ValueOf(i) 

    if vi.Kind() == reflect.Ptr { 

        return vi.IsNil() 

    } 

    return false 

利用反射来做 nil 的值判断,在反射中会有针对 interface 类型的特殊处理,最终输出结果是:true,达到效果。

其他方法的话,就是改变原有的程序逻辑,例如:

  • 对值进行 nil 判断,再返回给 interface 设置。
  • 返回具体的值类型,而不是返回 interface。

总结

Go interface 是 Go 语言中最常用的类型之一,大家用惯了 if err != nil 就很容易顺手就踩进去了。

原文地址:https://mp.weixin.qq.com/s/vNACbdSDxC9S0LOAr7ngLQ