TypeScript构造函数类型检查复用：如何避免冗余校验？

要解决这个问题，核心是让TypeScript编译器能识别构造函数的运行时检查结果，避免重复校验或非空断言的尴尬。以下是几种优雅的实现方式：

1. 重构选项类型为联合类型（推荐） #

先从源头优化类型定义，把两种状态的配置分开，让TypeScript在编译期就强制校验参数合法性，同时保留构造函数的运行时检查作为兜底：

// 区分两种配置场景的联合类型
type ExampleOptions = 
  | { someType: "basic" } // basic类型无需extra
  | { someType: "needsExtra"; extra: string }; // needsExtra必须携带extra

class Example {
  readonly someType: "basic" | "needsExtra";
  readonly extra?: string;
  
  constructor(opts: ExampleOptions){
    this.someType = opts.someType;
    this.extra = "extra" in opts ? opts.extra : undefined;
    
    // 兜底检查：防止有人用any绕过类型校验
    if (this.someType === "needsExtra" && !this.extra) {
      throw new Error("gotta define extra when using type 'needsExtra'");
    }
  }

  doSomething() {
    return this.someType === "basic" ? 
      Example.helper(this.someType) : Example.helperExtra(this.someType, this.extra!);
    // 这里的!是安全的：类型定义+运行时检查双重保障extra存在
  }

  private static helper(someType: string): string {
    return someType;
  }

  private static helperExtra(someType: string, extra: string): string {
    return `${someType}${extra}`;
  }
}

2. 添加类型守卫方法 #

通过自定义类型守卫，让编译器明确识别实例的状态，彻底避免非空断言：

interface ExampleOptions {
  someType: "basic" | "needsExtra";
  extra?: string;  
}

class Example {
  readonly someType: "basic" | "needsExtra";
  readonly extra?: string;
  
  constructor(opts: ExampleOptions){
    this.someType = opts.someType;
    this.extra = opts.extra;
    
    if (this.someType === "needsExtra" && !this.extra) {
      throw new Error("gotta define extra when using type 'needsExtra'");
    }
  }

  // 自定义类型守卫：告诉编译器当返回true时，extra一定存在
  private isNeedsExtra(): this is { someType: "needsExtra"; extra: string } {
    return this.someType === "needsExtra";
  }

  doSomething() {
    if (this.someType === "basic") {
      return Example.helper(this.someType);
    } else if (this.isNeedsExtra()) {
      // 编译器此时能识别extra是string类型
      return Example.helperExtra(this.someType, this.extra);
    }
    // 永远不会走到这里，构造函数已经拦截了非法状态
    throw new Error("Invalid instance state");
  }

  private static helper(someType: string): string {
    return someType;
  }

  private static helperExtra(someType: string, extra: string): string {
    return `${someType}${extra}`;
  }
}

方案对比 #

• 联合类型方案：编译期就能拦截错误，减少运行时检查的依赖，代码更简洁。
• 类型守卫方案：完全避免非空断言，代码可读性更强，适合复杂状态的场景。

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