2024年最新不懂汇编，也能看懂的 Go interface 原理分析(3)，含小米、腾讯、阿里

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以添加戳这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

}

type Man struct {

}

func (m *Man) Say() string {

return “Man”

}

func main() {

var p Person

m := &Man{}

p = m

println(p.Say())

}

iface 我们也看下汇编：

0x0029 00041 (main.go:24) LEAQ runtime.zerobase(SB), AX

0x0030 00048 (main.go:24) MOVQ AX, “”…autotmp_6+48(SP)

0x0035 00053 (main.go:24) MOVQ AX, “”.m+32(SP)

0x003a 00058 (main.go:25) MOVQ AX, “”…autotmp_3+64(SP)

0x003f 00063 (main.go:25) LEAQ go.itab.*“”.Man,“”.Person(SB), CX

0x0046 00070 (main.go:25) MOVQ CX, “”.p+72(SP)

0x004b 00075 (main.go:25) MOVQ AX, “”.p+80(SP)

这段汇编上，能够看出来是有 itab 的，但是是否真的是转成了 iface，汇编上仍然反应不出来。

同样，我们继续用 gdb 查看 Person interface 确实被转换成了 iface。

关于 iface 内存布局，我们仍然加点代码来查看

type itab struct {

inter *interfacetype

_type *_type

hash uint32

_ [4]byte

fun [1]uintptr

}

type iface struct {

tab *itab

data unsafe.Pointer

}

type Person interface {

Say() string

}

type Man struct {

Name string

}

func (m *Man) Say() string {

return “Man”

}

func main() {

var p Person

m := &Man{Name: “hhf”}

p = m

println(p.Say())

fmt.Println(“itab:”, *(*iface)(unsafe.Pointer(&p)).tab)

fmt.Println(“data:”, *(*Man)((*iface)(unsafe.Pointer(&p)).data))

}

output:

Man

itab: {0x10b3ba0 0x10b1900 1224794265 [0 0 0 0] [17445152]}

data: {hhf}

关于想继续探究 eface, iface 的内存布局的同学，可以基于上面的代码，利用 unsafe 的相关函数去看对应的内存位置上的值。

类型断言

type Person interface {

Say() string

}

type Man struct {

Name string

}

func (m *Man) Say() string {

return “Man”

}

func main() {

var p Person

m := &Man{Name: “hhf”}

p = m

if m1, ok := p.(*Man); ok {

fmt.Println(m1.Name)

}

}

我们仅关注类型断言那块内容，贴出对应的汇编

0x0087 00135 (main.go:23) MOVQ “”.p+104(SP), AX

0x008c 00140 (main.go:23) MOVQ “”.p+112(SP), CX

0x0091 00145 (main.go:23) LEAQ go.itab.*“”.Man,“”.Person(SB), DX

0x0098 00152 (main.go:23) CMPQ DX, AX

能够看出来的是：将 iface.itab 放入了 AX，将 go.itab.*"".Man,"".Person(SB) 放入了 DX，比较两者是否相等，来判断 Person 的真实类型是否是 Man。

另外一个类型断言的方式就是 switch 了，其实两者本质上没啥区别。

坑

interface 最著名的坑的，应该就是下面这个了。

func main() {

var a interface{} = nil

var b *int = nil

isNil(a)

isNil(b)

}

func isNil(x interface{}) {

if x == nil {

fmt.Println(“empty interface”)

return

}

fmt.Println(“non-empty interface”)

}

output:

empty interface

non-empty interface

为什么会这样呢？这就涉及到 interface == nil 的判断方式了。一般情况只有 eface 的 type 和 data 都为 nil 时，interface == nil 才是 true。

当我们把 b 复制给 interface 时，x._type.Kind = kindPtr。虽说 x.data = nil，但是不符合 interface == nil 的判断条件了。

关于 interface 源码阅读的一点建议

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以添加戳这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

关于 interface 源码阅读的一点建议

[外链图片转存中…(img-As1W4eLe-1715747712713)]
[外链图片转存中…(img-v21J1vR1-1715747712714)]

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以添加戳这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！