如何在TypeScript中禁止用undefined跳过可选参数？

问题场景 #

现有如下 TypeScript 类定义：

class MyList {
  constructor(
    public head?: number,
    public tail?: MyList
  ){}
}

目前能创建三类合法实例：

• 空列表：const L0 = new MyList()
• 单元素列表：const L1 = new MyList(1)
• 常规列表：const L2 = new MyList(1, new MyList(2))

但需要在编译阶段禁止类似 const L3 = new MyList(undefined, new MyList(1)) 的写法——核心规则是：如果 head 传 undefined，那 tail 必须也不传（即只能是空列表）。

解决方案 #

方法一：构造函数重载（推荐） #

这是 TypeScript 里实现这类参数约束最直观的方式，通过定义重载签名明确允许的参数组合：

class MyList {
  // 重载签名：列出所有合法的参数组合
  constructor(); // 空列表：无参数
  constructor(head: number); // 单元素：仅传head
  constructor(head: number, tail: MyList); // 常规列表：head + tail

  // 实现签名：兼容所有重载的参数类型（内部处理逻辑用）
  constructor(public head?: number, public tail?: MyList) {}
}

这样一来，任何不符合上述三种组合的调用都会在编译时报错，比如：

• new MyList(undefined)
• new MyList(undefined, new MyList(1))

而合法的实例化方式完全不受影响，精准满足需求。

方法二：联合类型剩余参数 #

也可以通过剩余参数的联合类型来限定允许的参数组合，写法更简洁：

class MyList {
  constructor(
    ...args: [] | [number] | [number, MyList]
  ) {
    this.head = args[0];
    this.tail = args[1];
  }
  public head?: number;
  public tail?: MyList;
}

这种方式同样能在编译阶段拦截非法的参数组合，效果和重载一致。

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