scriptc

已知编译器 bug(v0.3.0,issue #963)。在泛型类实例上的任何位置进行计算键写入,例如使用非字面量键的 (obj as any)[key] = fn,会使方法名普查将该类的方法降级到 prototypeMethodAccesses 中。降级后的代码随后会在没有 dyn.hasKey 保护的情况下读取每个实例的动态属性包,而 classPrototypeData 对泛型/泛型实例类返回 null,因此不存在原型回退:属性包读取得到 undefined,调用随即抛出异常。非泛型类不受影响,因为它们会获得原型数据辅助函数。

在编译器修复落地之前的变通方法:
1. 消除泛型类实例上的动态键写入 —— 将外部元数据存储在单独的 Map/旁表中,或使用字面量属性赋值代替 obj[expr] = value。
2. 如果可行,去掉类型参数(使用具体类型代替 Ctx<T>),使该类通过非泛型路径编译,该路径会构建原型数据辅助函数并正确解析方法。

正在讨论的编译器端修复方向:为泛型实例生成原型数据,使属性包读取拥有回退方案;或者为泛型类的方法保留 dyn.hasKey 保护,使读取回退到静态方法。

SC1090 表示编译器无法静态证明接收者的运行时类，而这是必需的，因为泛型方法采用静态分派。当对象经过 any 再被转换回接口时会出现这种情况（例如 const restored = erased as GenericIdentity; restored.id(42)）。此模式目前尚不受支持（功能请求 #905）。解决方法：(1) 在原始类型化对象被擦除为 any 之前，直接对其调用泛型方法——通过原始对象直接调用是受支持的。(2) 对于类实例，将接收者绑定到一个用其 new 表达式初始化的 const，以便类可被证明：const r: GenericIdentity = new C(...)。注意：对于必须经过 any 或类型擦除存储往返的对象字面量上的泛型箭头函数属性，目前没有解决方法。