TypeScript泛型函数报错：undefined无法分配给条件返回类型

错误原因 #

你写的函数用了条件类型定义返回值，但TypeScript没办法在函数内部把运行时的props.required判断和编译时的泛型T条件分支对应起来，核心问题有两个：

• required是可选属性，它的类型是T | undefined，不是纯T。if (!props.required)会覆盖两种情况：要么显式传了required: false，要么required没传（哪怕T是true）。
• TypeScript的条件类型是编译时静态确定的，函数里的运行时逻辑没法反过来让TypeScript确认当前返回值属于条件类型的哪个分支，所以返回undefined时就会触发类型不匹配错误。

修复方案 #

方案1：用函数重载（最推荐） #

直接通过重载明确不同入参对应的返回值，逻辑更清晰，TypeScript也能准确推断：

// 重载1：必填时返回number
export function number(props: {
  placeholder?: number;
  message: string;
  required: true;
}): number;
// 重载2：非必填时返回number | undefined
export function number(props: {
  placeholder?: number;
  message: string;
  required?: false;
}): number | undefined;
// 实现函数
export function number(props: {
  placeholder?: number;
  message: string;
  required?: boolean;
}): number | undefined {
  if (!props.required) return undefined;
  return 0;
}

方案2：类型断言强制匹配 #

如果不想调整函数结构，可以用类型断言告诉TypeScript当前返回值符合条件类型：

export function number<T extends boolean>(props: {
  placeholder?: number;
  message: string;
  required?: T;
}): T extends true ? number : number | undefined {
  if (!props.required) return undefined as ReturnType<typeof number>;
  return 0 as ReturnType<typeof number>;
}

方案3：把required设为必选属性 #

消除可选属性带来的类型歧义，让TypeScript能精准关联泛型T和返回值分支：

export function number<T extends boolean>(props: {
  placeholder?: number;
  message: string;
  required: T; // 改为必选
}): T extends true ? number : number | undefined {
  if (!props.required) return undefined;
  return 0;
}

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