TypeScript中如何懒赋值需泛型类型参数的类属性

之前的写法无法实现类型安全，核心原因有两点：

• 将foo声明为Foo<ABC>时，相当于主动把属性类型放宽为支持完整联合类型，TypeScript无法追踪后续createFoo<T>传入的泛型子集和属性类型的绑定关系，自然不会对非法参数报错。
• 由于Bar不能声明为泛型类，类属性的类型在定义阶段就被固定，无法根据实例方法的调用动态变更，这是类型失效的本质矛盾。

核心思路：不预先给foo属性绑定固定泛型类型，用仅在编译时存在的虚拟类型标记追踪实例绑定的泛型参数，通过类型断言收窄实例方法的this类型，实现懒加载下的类型安全。
该方案完全满足所有约束：

• Bar本身不是泛型类，外部代码可以直接无参实例化，构造函数不需要传入任何非序列化参数
• 第三方类Foo保持懒实例化，泛型参数、无法透传的函数参数都可以在你完全控制的createFoo方法内传入
• 类型安全和直接使用Foo实例完全一致，非法传参会在编译阶段报错

实现代码：

type ABC = 'a' | 'b' | 'c';

// 第三方不可修改的Foo类
class Foo<T extends ABC> {
  foo (x: T): void {
    console.log(x.repeat(2))
  }
}

class Bar {
  // 私有存储Foo实例，运行时才赋值，不预先绑定固定泛型
  private _foo?: Foo<any>;
  // 虚拟类型标记：仅用于TS编译时追踪绑定的泛型子集，编译后会被删除，不影响运行时和序列化
  private _typeTag?: ABC;

  /**
   * 懒初始化Foo实例
   * 调用后会将当前实例的类型收窄为绑定了T泛型的类型
   */
  createFoo<T extends ABC>(this: Bar & { _typeTag?: never }): asserts this is Bar & { _typeTag: T, _foo: Foo<T> } {
    // 运行时防御：禁止重复初始化
    if (this._foo) {
      throw new Error('Foo instance has already been initialized');
    }
    // 这里可以传入所有Foo需要的、无法透传给Bar构造函数的参数
    this._foo = new Foo<T>();
  }

  /**
   * 获取已初始化的Foo实例
   * 未调用createFoo时调用该方法会直接报编译错误
   */
  getFoo<T extends ABC>(this: Bar & { _typeTag: T, _foo: Foo<T> }): Foo<T> {
    return this._foo;
  }
}

const bar = new Bar();
// 未初始化时调用getFoo会触发编译错误
// bar.getFoo(); 

bar.createFoo<'b' | 'c'>();
const fooIns = bar.getFoo();
fooIns.foo('a'); // 编译报错：类型"a"不能赋值给类型"b"|"c"，符合预期
fooIns.foo('b'); // 正常
fooIns.foo('c'); // 正常

// 重复调用createFoo会触发编译错误+运行时报错
// bar.createFoo<'a'>();

如果你一定要直接暴露foo属性而非通过getFoo访问，只需要把_foo改为公共的foo，调整对应的this收窄逻辑即可，但这种写法无法在编译阶段阻止你在未初始化时访问foo，需要自己加非空判断，安全性弱于getFoo的写法。

内容的提问来源于stack exchange，提问作者Jared Smith