TypeScript类可选构造参数下的类型收窄与动态方法签名实现

原实现的问题根因 #

• 原代码直接把构造参数标记为可选，属性定义也跟着加了?，导致不管构造时有没有传值，属性类型永远是「传入类型 + undefined」的联合，就算传了具体的初始值，类型检查也不会自动把undefined分支消掉，直接做运算、调方法就会报不必要的错
• 原代码给泛型设置的默认约束太宽松，显式指定了字面量联合的泛型类型却不传构造参数时，类型检查会直接放行，后续访问属性的方法时就会触发非预期的报错

具体实现方案 #

通过给类拆分独立的构造函数重载签名，把“无参初始化”和“带参初始化”两个场景的类型规则完全解耦，全程不需要对对外暴露的类型做显式断言：

class Foo {
  // 无参构造签名：固定返回type属性为undefined的实例
  constructor(): Foo<undefined>;
  // 带参构造签名：根据传入的初始值推断泛型类型，返回对应类型的实例
  constructor<T>(type: T): Foo<T>;

  // 构造函数内部实现签名（对外不可见）
  public type: unknown;
  constructor(type?: unknown) {
    this.type = type;
  }

  // 实例方法通过this类型绑定，匹配不同实例的参数要求
  bar<T>(this: Foo<T>, type: T) {
    if (type !== undefined) {
      this.type = type;
    }
  }
}

匹配预期的校验效果 #

• 无参初始化的实例：type属性类型固定为undefined，bar()方法不需要传参数，传入任意非undefined类型都会触发类型报错
• 传具体值初始化的实例：type属性类型就是传入值对应的具体类型，没有多余的undefined联合分支，可以直接做数值比较、调用字符串方法，不会触发非预期的类型报错；bar()方法要求必须传入对应类型的参数，不传、传不匹配的类型都会触发预期报错
• 显式指定字面量联合泛型却不传构造参数的场景：因为匹配不到有效的构造签名，会直接触发类型报错；传入非法参数值的场景也会被正常拦截，合法初始化后的实例可以正常访问对应类型的内置方法

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