如何根据cat参数的取值设置data参数为可选或必填？

你的原代码存在一个问题：虽然通过条件类型给data指定了对应类型，但?修饰符会让data始终处于可选状态，没法实现cat=1时必填的要求。下面提供两种可行的解决方案：

方案一：构造函数重载 #

这种方式直观易懂，通过定义多个构造函数签名来区分不同参数场景：

export class MyClass {
  // 签名1：cat为1时，data必须传入string[]类型
  constructor(cat: 1, data: string[]);
  // 签名2：cat为2或3时，data可选（只能传undefined或不传）
  constructor(cat: 2 | 3, data?: undefined);
  // 实际实现的构造函数，兼容所有签名的参数
  constructor(public cat: 1 | 2 | 3, public data?: string[] | undefined) {
    // 运行时校验：防止绕过TS类型检查传入非法值
    if (this.cat === 1 && !this.data) {
      throw new Error("cat为1时，data参数不能为空");
    }
  }
}

使用示例：

// 合法：cat=1时传入data
const instance1 = new MyClass(1, ["a", "b"]);
// 合法：cat=2时不传data
const instance2 = new MyClass(2);
// 编译错误：cat=1时未传data
const instance3 = new MyClass(1);
// 编译错误：cat=2时传入了非undefined的data
const instance4 = new MyClass(2, ["c"]);

方案二：泛型结合剩余参数条件类型 #

如果需要保留原代码的泛型约束，可以用剩余参数的条件类型来动态控制必填性：

export class MyClass<T extends 1 | 2 | 3> {
  public data: T extends 1 ? string[] : undefined;

  constructor(
    public cat: T,
    // 条件类型决定剩余参数：T=1时必填data，否则可选
    ...args: T extends 1 ? [data: string[]] : [data?: undefined]
  ) {
    this.data = args[0];
    // 同样建议添加运行时校验
    if (this.cat === 1 && !this.data) {
      throw new Error("cat为1时，data参数不能为空");
    }
  }
}

使用示例：

// 合法
const instance1 = new MyClass<1>(1, ["x", "y"]);
// 合法
const instance2 = new MyClass<2>(2);
// 编译错误：MyClass<1>必须传入data
const instance3 = new MyClass<1>(1);

注意事项 #

• TypeScript的类型检查仅在编译阶段生效，为了避免运行时出现不符合预期的情况，建议在构造函数中添加运行时校验逻辑。
• 如果不需要严格限制cat=2/3时data只能是undefined，可以把方案中的undefined换成any或其他允许的类型，根据实际需求调整。

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