Go语言编译器自动检测类型是否实现接口_程序开发

Go语言编译器自动检测类型是否实现接口

创始人

2024-12-25 16:01:26

0次

编译器自动检测类型是否实现接口

　　经常看到一些开源库里会有一些类似下面这种奇怪的用法：

　　这时候会有点懵，不知道作者想要干什么，实际上这就是此问题的答案。编译器会由此检查*myWriter类型是否实现了io.Writer接口。

　　实际上，上述赋值语句会发生隐式地类型转换，在转换的过程中，编译器会检测等号右边的类型是否实现了等号左边接口所规定的函数。

接口的构造过程是怎样的

　　我们已经看过了iface和eface的源码，知道iface最重要的是itab和_type。

　　为了研究清楚接口是如何构造的，接下来我会拿起汇编的武器，还原背后的真相。

　　把每个字段的大小相加，itab结构体的大小就是40字节。上面那一串数字实际上是itab序列化后的内容，注意到大部分数字是0，从24字节开始的4个字节da9f20d4实际上是itab的hash值，这在判断两个类型是否相同的时候会用到。

　　下面两行是链接指令，简单说就是将所有源文件综合起来，给每个符号赋予一个全局的位置值。这里的意思也比较明确：前8个字节最终存储的是type."".Person的地址，对应itab里的inter字段，表示接口类型；8-16字节最终存储的是type."".Student的地址，对应itab里_type字段，表示具体类型。

　　第二个参数就比较简单了，它就是数字18的地址，这也是初始化Student结构体的时候会用到。

　　在main函数里，先构造出一个接口对象qcrao，然后强制类型转换，最后读取出hash值，非常妙！你也可以自己动手试一下。

上一篇：Go语言类型转换和断言的区别是什么

下一篇：Go语言中iface和eface的区别有什么

Go语言编译器自动检测类型是否实现接口

编译器自动检测类型是否实现接口

接口的构造过程是怎样的

相关内容

热门资讯