如何让TypeScript从类构造函数参数推断值并用于类方法的参数类型校验？

当然可以实现这个需求！你需要借助TypeScript的字面量类型推断和泛型约束，让构造函数的剩余参数把具体的字符串字面量类型传递给类的泛型，再在类方法里复用这个类型来做校验。

完整实现代码 #

class MyClass<T extends string> {
  constructor(param1: number, ...param2: T[]) {
    console.log(param1);
    console.log(param2);
  }

  classMethod(param: T) {
    console.log(param);
  }
}

// 测试场景
const myClass = new MyClass(0, 'a', 'b', 'c');
myClass.classMethod('a'); // ✅ 完全符合类型校验
myClass.classMethod('x'); // ❌ TypeScript会抛出错误：类型'"x"'的参数不能赋给类型'"a" | "b" | "c"'的参数

关键逻辑解释 #

• 泛型定位到元素类型：把类的泛型T定义为string的子类型（即字符串字面量类型），而不是你之前尝试的string[]。这样当你传入具体的字符串值时，TypeScript会自动推断T为这些字面量的联合类型（比如示例中的"a" | "b" | "c"）。
• 构造函数参数传递类型信息：剩余参数param2使用T[]类型，这会引导TypeScript从你传入的实际参数中推断出T的具体字面量值，而不是仅把它识别为宽泛的string[]。
• 类方法复用泛型类型：classMethod的参数直接使用T作为类型约束，这样就会严格继承构造函数阶段推断出来的字面量联合类型，实现你想要的校验效果。

你之前尝试的问题点 #

你之前将泛型设为T extends string[]，这会让TypeScript把T推断为数组类型（比如["a", "b", "c"]），而不是数组元素的联合类型。我们需要的是元素本身的类型集合，所以调整泛型的定位，让它指向数组元素而不是数组本身，就能解决这个问题。

内容的提问来源于stack exchange，提问作者Calvin S.