如何处理TypeScript未将未初始化可选参数视为undefined的问题

方案一：函数重载（推荐，符合TS惯用写法） #

通过定义多个重载签名，明确不同调用场景下的参数与返回值类型对应关系：

// 不传参数时返回null
function nullify(): null;
// 传入string时返回string
function nullify(value: string): string;
// 显式传入undefined时返回null
function nullify(value: undefined): null;
// 通用实现
function nullify(value?: string | undefined): string | null {
  return value === undefined ? null : value;
}

测试验证：

const result1 = nullify('string');  // 类型：string ✅
const result2 = nullify(undefined); // 类型：null ✅
const result3 = nullify();          // 类型：null ✅

方案二：泛型默认值优化 #

给泛型参数设置默认类型为undefined，让不传参数时自动匹配该默认值，从而得到正确的返回类型：

const nullify = <T extends string | undefined = undefined>(
  value?: T,
): T extends string ? string : null => {
  if (value === undefined) return null as any;
  return value as any;
};

原代码问题原因 #

当不传参数时，TypeScript会将泛型T推断为string | undefined（因为T的约束是string | undefined且参数可选），此时条件类型会被拆解为联合类型的分别判断：

• string extends string → 返回string
• undefined extends string → 返回null
  最终返回类型就是string | null，不符合预期。

内容的提问来源于stack exchange，提问作者Jørgen Tau