Golang - oaoa

垃圾回收演示图

iface定义

itab定义

_type字段描述了 interface 所持有的值的类型，data 指针所指向的值的类型。

inter字段描述了 interface 本身的类型。

由于 interface 只能持有指针，任何用 interface 包装的具体类型，都会被取其地址。这样多半会导致一次堆上的内存分配，编译器会保守地让 receiver 逃逸。即使是标量类型，也不例外！

编译器会为值-receiver的方法提供对应的指针-receiver包装方法，因为interface的虚表里存储的是指针，后续通过interface虚表调用方法时，会用到这些包装方法。

eface是表示 runtime 中空接口的根类型

_type 持有 data 指针指向的数据类型的信息。

go-internals-cn/go-internals

go version go version go1.10 linux/amd64 本章覆盖 GO 的 interface 内部实现。我们主要关注：函数和方法在运行时如何被调用。 interface 如何构建，其内容如何组成。动态分发是如何实现的，什么时候进行，并且有什么样的调用成本。空接口和其它特殊情况有什么异同。怎么组合 interface 完成工作。如何进行断言，断言的成本有多高。随着我们越来越深入的挖掘，我们将会研究各种各样的底层知识，比如现代 CPU 的实现细节，Go 编译器的各种优化手段。目录本章假设你已经对 Go 的汇编器比较熟悉了 (第一章). 当你需要开始研究架构相关的内容时，请假设自己是在使用 linux/amd64.

go-internals-cn/go-internals

https://github.com/go-internals-cn/go-internals/blob/master/chapter2_interfaces/README.md

go-internals-cn/go-internals


type iface struct { // 16 bytes on a 64bit arch
    tab  *itab
    data unsafe.Pointer
}


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.
}


type eface struct { // 16 bytes on a 64bit arch
    _type *_type
    data  unsafe.Pointer
}