如何在重载函数中根据第一个联合参数缩小第二个参数类型？

问题原因 #

你当前的重载函数实现中，params被定义为unknown，TypeScript无法将uriType的判断逻辑与params的类型关联，因此无法自动完成类型收窄，导致报错。

解决方式 #

1. 使用可辨识联合类型（推荐） #

将参数封装为带可辨识字段的联合类型对象，TypeScript会通过uriType自动推断params的类型，完全避免重载的类型关联问题：

// 定义可辨识联合类型
type UriEncodeOptions = 
  | { uriType: 'ExternalS3', params: number }
  | { uriType: 'LocalS3', params: string };

export function UriEncode(options: UriEncodeOptions): string {
  if (options.uriType === 'LocalS3') {
    return options.params; // 自动收窄为string类型
  }
  // 此处params自动收窄为number，处理后返回string
  return options.params.toString();
}

这种写法不仅类型安全，还能避免调用时传入uriType与params不匹配的错误组合。

2. 调整重载实现签名的类型 #

如果坚持使用重载，可以将实现签名的params改为所有重载参数类型的联合，让TypeScript能通过uriType的判断完成类型收窄：

type UriType = 'ExternalS3' | 'LocalS3';

export function UriEncode(uriType: 'ExternalS3', params: number): string;
export function UriEncode(uriType: 'LocalS3', params: string): string;
export function UriEncode(uriType: UriType, params: number | string): string {
  if (uriType === 'LocalS3') {
    return params; // 自动推断为string
  }
  return params.toString(); // 自动推断为number
}

注意：实现签名允许传入不匹配的参数组合，但重载签名会在调用阶段阻止这类错误，内部类型推断仍能正常工作。

泛型替代重载？完全可行 #

通过泛型结合映射类型，可以实现更严格的类型检查，同时无需依赖重载：

type UriType = 'ExternalS3' | 'LocalS3';

// 定义Uri类型到对应参数类型的映射
type UriParamMap = {
  ExternalS3: number;
  LocalS3: string;
};

export function UriEncode<T extends UriType>(uriType: T, params: UriParamMap[T]): string {
  if (uriType === 'LocalS3') {
    return params; // 自动推断为string
  }
  return params.toString(); // 自动推断为number
}

这种写法的优势是：调用时若params类型与uriType不匹配，编译阶段直接报错，类型检查更严谨，函数内部的类型推断也完全正常。

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