Go泛型：GC shape stenciling揭秘

GC shape stenciling in Go generics

在研究Go泛型提案时，我深入探究了编译器背后的实现机制。不同于Rust的完全单态化或Java的类型擦除，Go采用了一种独特的折中方案：GC shape stenciling。这种策略根据类型的GC形状（如大小、对齐方式及指针分布）进行单态化，让形状相同的类型共享同一份编译后的代码体，从而在保持高性能的同时控制二进制体积。文章通过对比Rust和Java的实现细节，展示了Go如何通过字典参数在运行时补充类型信息，并分析了这种机制对编译速度和运行时性能的具体影响。

"Go在两者之间采取了一种称为GC shape stenciling的方法，它进行单态化，但仅细化到类型的GC形状。"