Golang 内存模型详解（一）
开始之前
首先，这是一篇菜B写的文章，可能会有理解错误的地方，发现错误请斧正，谢谢。
为了治疗我的懒癌早期，我一次就不写得太多了，这个系列想写很久了，每次都是开了个头就没有再写。这次争取把写完，弄成一个系列。
此 nil 不等彼 nil
先声明，这个标题有标题党的嫌疑。
Go 的类型系统是比较奇葩的，nil 的含义跟其它语言有些差别，这里举个例子（可以直接进入 http://play.golang.org/p/ezFhXX0dnB 运行查看结果）：
package main
import "fmt"
type A struct {
}
func main() {
var a *A = nil
var ai interface{} = a
var ei interface{} = nil
fmt.Printf("ai == nil: %v\n", ai == nil)
fmt.Printf("ai == ei: %v\n", ai == ei)
fmt.Printf("ei == a: %v\n", a == ei)
fmt.Printf("ei == nil: %v\n", ei == nil)
}
// -> 输出
// ai == nil: false
// ai == ei: false
// ei == a: false
// ei == nil: true
这里 ai != nil，对于没有用过 Go 的人来说比较费解，对我来说，这个算得上一门语言设计有歧义的地方（Golang FAQ 有对于此问题的描述，可以参考一下：http://golang.org/doc/faq#nil_error）。
简单的说就是 nil 代表 “zero value”（空值），对于不同类型，它具体所代表的值不同。比如上面的 a 为“*A 类型的空值”，而 ai 为“interface{} 类型的空值”。造成理解失误的最大问题在于，struct pointer 到 interface 有隐式转换（var ai interface{] = a，这里有个隐式转换），至于为什么对于 Go 这种在其它转换方面要求严格，而对于 interface 要除外呢，for convenience 吧，呵呵……
碰到了这个坑，我就开始好奇了，Go 的类型系统到底是什么样的？
Go 内存模型 - interface
概述
为了读懂下面的内容，你需要：
了解 C、Go 语言
Go 1.3 源代码 (https://go.googlecode.com/archive/go1.3.zip)
PS: 由于 Go 用到了 Plan9 C 这个小众的C编译器的扩展，比如在函数签名中使用 · 字符以区分 package/function（比如runtime·panic），这对理解不会产生什么影响。
PSS: 对于 Go runtime，可以参考src/pkg/reflect（reflect包）中的的代码，对类型系统的实现的理解有帮助。
Go 语言的类型定义可以在 src/pkg/runtime/ 目录下找到，主要由以下几个文件构成：
1.runtime.h
2.type.h
对于 interface 类型，主要看下面几个结构体定义：
1.InterfaceType
2.Itab
3.Iface
4.Eface
它们的C语言定义如下 (可以在 runtime.h 中找到)：
InterfaceType:
代表了总的 interface 类型，其中：
1.Type: 类型描述，所有的类型都有这个类型描述（比如 array, map, slice）
2.mhdr 以及 m: interface 接口方法列表
struct InterfaceType
{
Type;
Slice mhdr;
IMethod m[];
};
Itab:
类似于虚函数表，该表不会被GC回收，其中：
1.inter: 指向具体的 interface 类型
2.type: 具体实现类型, 也即 receiver type
3.link: 指向下一个函数表，因为 interface 可以 embed 多个 interface，因此实现为一个链表形式
4.bad: <略>
5.unsued: <略>
6.fun: 函数列表，每个元素是一个指向具体函数实现的指针
struct Itab
{
InterfaceType* inter;
Type* type;
Itab* link;
int32 bad;
int32 unused;
void (*fun[])(void);
};
Iface:
该类型为一般的 interface 类型所对应的数据结构，其中：
1.tab: 参见 Itab 的说明，尤其是 Itab::link
2.data: 指向具体数据（比如指向struct，当然，如果一个数据不超过一个字长，那么这个data就可以直接存放，不需要指针再做以及跳转）
struct Iface
{
Itab* tab;
void* data;
};
Eface:
该类型为 interface{} (empty interface) 所对应的数据结构，其中：
1.type: 具体实现类型, 也即 receiver type
2.data: 同 Iface
struct Eface
{
Type* type;
void* data;
};
他们的依赖关系如下图所示：
先到这里，下一篇将会举例子说明给一个 interface{} 类型的变量赋值后，其具体的内存结构是怎么样的。
打了几个小时，真费时间，争取这个系列不坑 (逃
相关文章
网上给出的使用delve进行远程调试,都需要先在本地交叉编译或者在远程主机上编译出可运行的程序,然后再用delve在远程启动程序,本教程会将上面的步骤简化为只需要两步,1,在远程运行程序2,在本地启动调试,需要的朋友可以参考下2024-08-08
这篇文章主要为大家介绍了从错误中学习改正Go语言五个坏习惯提高编程技巧示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2023-05-05
在编写程序时,流程控制是必不可少的一部分,本文主要介绍了Golang流程控制语句的具体使用,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧2024-05-05
这篇文章主要为大家介绍了Go语言利用ffmpeg转hls实现简单视频直播，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2022-04-04
在java 和go语言 大字符传达的时候， 采用snappy 压缩 解压缩是最好的方案。下面这篇文章主要给大家介绍了关于golang中snappy使用场合的相关资料，文中通过示例代码介绍的非常详细，需要的朋友可以参考下。2017-12-12
在 Golang 中,nil 是一个预定义的标识符,在不同的上下文环境中有不同的含义,但通常表示“无”、“空”或“零值”,本文主要来带大家了解下nil的正确使用,需要的可以参考下2023-12-12
golang pprof 监控系列 go trace统计原理与使用解析
这篇文章主要为大家介绍了golang pprof 监控系列 go trace统计原理与使用解析，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2023-04-04
本文主要介绍了浅谈golang的json.Unmarshal的坑，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2023-01-01
这篇文章主要介绍了golang post请求常用的几种方式小结，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧2021-04-04
这篇文章主要为大家介绍了Go语言数据结构之选择排序示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2022-08-08
最新评论