WasmGC提案中i31类型的必要性及堆类型归类疑问

1. 为何需要引入i31类型？ #

WasmGC的核心目标是构建一套能统一处理GC引用和整数的类型系统，i31的引入主要解决两个关键问题：

• 支持带标签的混合类型场景：比如在变体类型（sum type）中，需要同时容纳对象引用和整数，i31把31位整数包装成符合GC类型体系的类型，让这类混合类型无需额外装箱就能被GC正确识别和处理。
• 适配Tagged Pointer内存布局：WasmGC的引用类型通常用指针的最低位作为标记位（区分是对象引用还是整数），i31只使用31位有效数据，刚好预留出1位作为标记位，这样i31可以直接嵌入到Tagged Pointer的格式中，避免了额外的内存分配或转换开销。

2. i31与原始标量类型的差异是否仅在于标记位？ #

不止标记位，两者在语义和使用场景上有本质区别：

• 类型范畴不同：原始标量类型（如i32）属于值类型，直接存储在栈或寄存器中，不会被GC追踪；而i31属于GC类型体系的一部分，可参与GC相关操作（如类型转换检查、变体类型成员）。
• 取值范围不同：i31仅支持31位有符号整数，而i32是32位，这是实际的数值范围差异。
• 类型约束不同：i31可以被当作anyref类型的子类型使用，能和对象引用在同一类型上下文共存；但原始i32不行，必须显式转换才能进入GC类型体系。

3. 为何i31未分配至存储却被归类为堆类型？ #

根据WasmGC规范中堆类型的定义，堆类型并非仅指“在堆上分配的对象”，而是所有能参与GC类型系统的可识别类型，包括引用类型和i31。
GC的工作不只是回收堆内存，还要处理整个类型体系中需要被追踪或类型检查的实体：i31虽然不需要堆分配，但它是Tagged Pointer模型的核心组成，需要和对象引用共享同一类型空间，这样GC才能统一判断一个值是整数还是对象引用，类型系统也能对混合类型（如包含i31和对象的变体）进行合法检查。因此i31必须被纳入堆类型范畴，才能让WasmGC的类型系统和GC逻辑自洽。

内容的提问来源于stack exchange，提问作者Jason Yu