TypeScript可选参数语义：兼顾必填标识与类型检查需求

核心问题拆解：可选参数 vs 联合类型的语义差异 #

首先得明确?: string和: string | undefined的本质区别——这俩在TypeScript里的语义完全不同：

• function doSomething(required: string, optional?: string)：optional是可选参数，调用时可以完全省略这个参数（比如doSomething("hello")是合法的），当然也可以主动传undefined。
• function doSomething(required: string, mustPass: string | undefined)：mustPass是必填参数，调用时必须传值，哪怕传的是undefined（比如doSomething("hello")会直接报错，但doSomething("hello", undefined)是允许的）。

这就是你要的第一个关键点：如果想让TypeScript用户明确知道这个参数是“必填不能省略”的，就用Type | undefined，而不是?: Type。

实现“两全其美”的方案 #

你的需求是：既要让TS用户看到参数必填（不能省略），又要强制自己在代码里处理undefined的情况（因为JS用户可能传undefined），同时如果没处理就触发编译错误。这个完全可以实现，核心是结合严格空检查和类型守卫：

1. 确保开启strictNullChecks #

首先在tsconfig.json里打开strictNullChecks（现在TypeScript的strict模式默认包含这个选项），这是让TypeScript强制你处理null/undefined的基础。

2. 用Type | undefined定义必填参数 #

比如：

function doSomething(required: string, mustPass: string | undefined) {
  // 这里如果直接用 mustPass.length，TS会报错：Object is possibly 'undefined'
}

这样TS用户调用时必须传mustPass参数，哪怕传undefined，但不能省略，完美满足“标识为必填”的需求。

3. 添加前置校验，触发类型缩小 #

接下来，你需要在函数内部主动处理undefined的情况，比如抛出错误（因为对于必填参数来说，JS用户传undefined属于非法输入）：

function doSomething(required: string, mustPass: string | undefined) {
  // 前置校验：拦截非法输入
  if (mustPass === undefined) {
    throw new Error("mustPass 参数是必填项，不能传入 undefined");
  }
  
  // 此时TS会自动把 mustPass 的类型缩小为 string，下面的代码不会报错
  console.log(mustPass.length);
}

这样一来：

• 对于TS用户：调用时必须传mustPass，省略会直接编译报错；如果传undefined，虽然TS允许，但运行时会被拦截。
• 对于你（开发者）：如果没写这段校验，TS会直接报错提醒你处理undefined，避免遗漏。
• 对于JS用户：即使他们不懂TS，传undefined也会得到清晰的错误提示，不会导致代码静默失败。

要不要对所有必填字段加前置校验？ #

答案是必须要——因为TypeScript的类型检查只在编译阶段有效，编译后的JS代码没有类型约束，JS用户可能会传入任何值（包括undefined、null甚至其他类型）。前置校验是保证运行时健壮性的最后一道防线，和TS的类型检查是互补的，不是二选一的关系。

当然，你也可以用工具函数简化校验，减少重复代码：

function assertDefined<T>(value: T | undefined, message: string): asserts value is T {
  if (value === undefined) {
    throw new Error(message);
  }
}

function doSomething(required: string, mustPass: string | undefined) {
  assertDefined(mustPass, "mustPass 参数是必填项");
  // 现在 mustPass 类型自动缩小为 string
  console.log(mustPass.length);
}

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