TypeScript条件类型返回类型错误：返回never而非预期类型

你的代码出现返回类型为never的问题，核心原因有两个：

1. 泛型类型未与函数输入参数关联
   RegCompletedReturnType是依赖泛型参数的条件类型，但你定义test函数时直接使用了默认泛型RegCompletedReturnType<RegCompletedProps>。由于RegCompletedProps中的registrationType是可选属性，TypeScript无法将函数输入参数的类型精准缩小到条件类型的分支中，最终导致整体返回类型被推断为never。

2. 返回对象不满足目标类型结构要求
   即便类型推断正常，你当前返回的对象{ Flow: MIXPANEL_FLOW.COLEAGUES, 'Registration ID': regId! }也缺少ColleaguesReturnType（对应isColleague: true分支）要求的Product Area、Customer Type、Product Name、Product SKU字段，同样会触发类型不匹配错误。

此外，函数未覆盖所有输入分支（比如registrationType不是COLLEAGUES_ONLY的情况），会让TypeScript认为存在返回undefined的可能，进一步加剧类型冲突。

1. 将函数改为泛型函数，关联输入与输出类型 #

让函数的泛型参数直接绑定到输入参数的类型，让TypeScript能根据传入参数精准推断返回类型。

2. 补全返回对象的必填字段 #

确保每个分支返回的对象完全符合对应返回类型的结构要求。

3. 覆盖所有分支逻辑 #

添加默认分支的处理逻辑，避免出现未覆盖的输入场景。

修复后的完整代码：

export enum SelectedBadgeType {
  MYSELF = 'myself',
  MYSELF_COLLEAGUES = 'myself_colleagues',
  COLLEAGUES_ONLY = 'colleagues_only',
  ALREADY_REGISTERED = 'ALREADY_REGISTERED'
}

type RegCompletedProps = {
  registrationType?: SelectedBadgeType;
  isColleague: boolean;
  regId?: string;
};

enum MIXPANEL_FLOW {
  MYSELF = 'Myself',
  MYSELFANDCOLEAGUES = 'MyselfAndColleagues',
  COLEAGUES = 'ColleaguesOnly'
}

type ProductFields = {
  'Customer Type': string;
  'Product Name': string;
  'Product SKU': string;
};

type RegIdType = {
  'Registration ID': string;
};

type ProductArea = { 'Product Area': 'test' };

type ColleaguesCoordinatorReturnType = { Flow: MIXPANEL_FLOW.COLEAGUES } & ProductArea & RegIdType & Pick<ProductFields, 'Customer Type'>;

type ColleaguesReturnType = { Flow: MIXPANEL_FLOW.COLEAGUES } & ProductArea & ProductFields;

type RegCompletedReturnType<T extends RegCompletedProps> = T extends { registrationType: SelectedBadgeType.COLLEAGUES_ONLY; isColleague: false }
  ? ColleaguesCoordinatorReturnType
  : T extends { registrationType: SelectedBadgeType.COLLEAGUES_ONLY; isColleague: true }
  ? ColleaguesReturnType
  : never;

// 泛型函数绑定输入输出类型
function test<T extends RegCompletedProps>({
  registrationType,
  isColleague,
  regId,
}: T): RegCompletedReturnType<T> {
  if (registrationType === SelectedBadgeType.COLLEAGUES_ONLY && isColleague) {
    // 补全ColleaguesReturnType所有必填字段
    return {
      Flow: MIXPANEL_FLOW.COLEAGUES,
      'Product Area': 'test',
      'Customer Type': 'test',
      'Product Name': 'test',
      'Product SKU': 'test'
    } as RegCompletedReturnType<T>;
  }

  if (registrationType === SelectedBadgeType.COLLEAGUES_ONLY && !isColleague) {
    // 补全ColleaguesCoordinatorReturnType所有必填字段
    return {
      Flow: MIXPANEL_FLOW.COLEAGUES,
      'Product Area': 'test',
      'Customer Type': 'test',
      'Registration ID': regId!
    } as RegCompletedReturnType<T>;
  }

  // 处理其他分支，根据业务需求选择返回或抛出错误
  throw new Error('Unsupported input type');
}

关键说明 #

• 泛型参数T绑定输入和输出类型后，TypeScript能在代码分支中精准推断当前应返回的类型。
• 使用as RegCompletedReturnType<T>是因为TypeScript在分支中无法完全自动泛型推断到具体的返回类型分支，属于合理的类型兜底操作。
• 补全所有必填字段后，类型匹配问题会直接解决。

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