泛型#
Generics in General#
一般范型有三种实现方案：
- 泛型实例化:
Rust、C++采用这种方案。是一种静态派发，性能是最好的。存在的问题是实现难度很大，需要进行语法树的深拷贝和指针的重定向，很容易出现段错误。另外在跨包的时候相同的类型会出现相同代码生成的问题。这些问题都是可以解决的，只是需要时间。
- 字典:
Swift 采用这种方案。这种方案实现起来最大的好处就是不容易出错。但是性能会差一点，因为泛型变量必须分配到堆上，而且要生成很多字典数据，从产物上来说不一定比第一种少多少。
- 类型擦除:
Java 采用这种方案。将泛型出现的地方都用 Object 代替。这种最简单，但是不支持基础类型
int、bool等。Java 对于这些类型如果想要调用方法需要进行装箱—— from
ganbo.xiao
Go's Implementation#
GC Shape Stenciling = Stenciling + Dictionaries
- Stenciling
在编译期，据使用的类型为泛型函数生成多份代码
运行速度快，编译速度慢，产物臃肿
- Dictionaries
一个泛型函数只生成一份代码
在运行时传递一个包含类型参数信息的字典
编译速度快，运行速度慢，产物精简
- GC Shape of Type
类型的 GC 相关信息
和类型的大小 (size) 、内存对齐 (alignment) 以及指针成员的位置相关
- GC Shape Stenciling ⇒ 根据 GC Shape 生成模版
在编译期，根据不同的 GC Shape 生成多份代码（即，具有相同 GC Shape 的类型共享一份代码）
在编译期，为「相同 GC Shape 的不同类型」生成多个字典
在运行期，通过传递不同的字典处理「GC Shape 相同的不同类型」的差异
在编译速度和运行速度之间取得了平衡
评论
如果你有任何意见，请在此评论。 如果你留下了电子邮箱，我可能会通过 回复你。