TypeScript：如何基于实例化传入的字面量实现类型校验与自动补全

要实现类实例化时才确定允许的字面量类型，同时保留TypeScript的类型检查和自动补全功能，核心是利用泛型将实例化时的字面量类型绑定到类上。

实现代码 #

class FizzBuzz<T extends string> {
  private allowed: T[];

  constructor(allowed: T[]) {
    this.allowed = allowed;
  }

  public identity(x: T): T {
    // 可选：添加运行时校验，防止绕过类型检查的非法值
    if (!this.allowed.includes(x)) {
      throw new Error(`不允许的值："${x}"`);
    }
    return x;
  }
}

// 实例化时直接传入字面量数组，TypeScript自动推断T为"fizz" | "buzz"
const fizzBuzz = new FizzBuzz(["fizz", "buzz"]);

// 合法调用，支持自动补全
fizzBuzz.identity("fizz");

// 类型检查报错（符合预期）
fizzBuzz.identity("not-fizz-not-buzz");

关键说明 #

• 泛型T extends string让类在实例化时，根据传入的数组元素自动推断出字面量联合类型（比如"fizz" | "buzz"）
• 构造函数的allowed: T[]确保传入的数组元素会被识别为字面量类型，而非宽泛的string类型
• 若传入的是预先定义的变量数组，需要用as const强制保留字面量类型：

  const allowedValues = ["foo", "bar"] as const;
  const fb = new FizzBuzz(allowedValues);
  fb.identity("foo"); // 正常通过
  fb.identity("baz"); // 类型报错
  

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