函数指针列表在 itab 结构中的实际运作方式是如何的？

哈喽！今天心血来潮给大家带来了《函数指针列表在 itab 结构中的实际运作方式是如何的？》，想必大家应该对Golang都不陌生吧，那么阅读本文就都不会很困难，以下内容主要涉及到，若是你正在学习Golang，千万别错过这篇文章~希望能帮助到你！

研究 go 中的接口价值 - 我发现了 russ cox 写的一篇很棒的（可能已经过时的）文章。 据其介绍：

itable 以有关所涉及类型的一些元数据开始，然后成为函数指针列表。

此 itable 的实现应该来自 src/runtime/runtime2.go：

type itab struct {
    inter *interfacetype
    _type *_type
    hash  uint32 // copy of _type.hash. Used for type switches.
    _     [4]byte
    fun   [1]uintptr // variable sized. fun[0]==0 means _type does not implement inter.
}

第一个令人困惑的事情是 - 数组的大小如何可变？ 其次，假设我们在索引 0 处有一个满足接口的方法的函数指针，那么我们可以在哪里存储第二个/第三个/...函数指针？

正确答案

编译后的代码和运行时访问 fun 就好像该字段声明为 fun [n]uintpr，其中 n 是接口中方法的数量。第二种方法存储在 fun[1] 中，第三种存储在 fun[2] 中，依此类推。 go语言没有这样的可变大小数组功能，但是可以使用unsafe恶作剧来模拟该功能。

方法如下：itab is allocated：

m = (*itab)(persistentalloc(unsafe.sizeof(itab{})+uintptr(len(inter.mhdr)-1)*goarch.ptrsize, 0, &memstats.other_sys))

函数 persistentalloc 分配内存。该函数的第一个参数是要分配的大小。表达式inter.mhdr是接口中方法的数量。

这里的 code 在可变大小数组上创建一个切片：

methods := (*[1 << 16]unsafe.Pointer)(unsafe.Pointer(&m.fun[0]))[:ni:ni]

表达式 methods[i] 在假设的世界中引用与 m.fun[i] 相同的元素，其中 m.fun 是长度为 > i 的可变大小数组。后面的代码使用普通切片语法和 methods 来访问可变大小数组 m.fun。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《函数指针列表在 itab 结构中的实际运作方式是如何的？》文章吧，也可关注golang学习网公众号了解相关技术文章。