Union 编译指示

union 编译指示可以应用于任意 object 类型,表示这个对象的每个字段在内存中都重叠在一起。生成 C/C++ 代码时将产生联合体(union)而不是结构体(struct)。声明这个对象时禁止使用继承、禁止使用带 GC 的内存,但目前编译器不做这个检查。

未来的方向: 应该允许联合体使用带 GC 的内存,而 GC 应该保守地扫描联合体。