GC shape stenciling in Go generics
2 days ago
- #GC shape stenciling
- #Go generics
- #compiler implementation
- GC形状模板是Go语言对泛型的实现方式，基于类型的GC形状进行单态化，而不是完全的单态化或类型擦除。
- GC形状指的是类型在内存分配器和垃圾回收器中的表现：包括大小、对齐方式以及包含指针的部分；指针类型共享同一种形状。
- 实现上，为每种GC形状生成单独的函数体，并为每个实例化创建字典，以便在运行时提供特定于类型的信息。
- 共享的函数体在执行依赖于类型的操作（如方法调用和类型断言）时会产生运行时开销，这些操作依赖字典来获取确切的类型数据。
- 泛型最初曾降低编译器的性能，但在Go 1.20版本中的改进使得构建速度恢复到了泛型引入之前的水平。