TypeScript联合类型作为函数参数调用search时的类型报错问题

你的场景核心是：通过联合类型SearchTerm定义不同搜索属性，调用search函数时因联合类型的类型推断限制触发TS2345错误，硬编码或switch分支虽能解决但代码冗余。以下是两种高效优化方案：

方案一：泛型+类型映射（推荐） #

通过类型映射建立搜索类型与对应SearchTerm分支的关联，再用泛型函数确保类型匹配，无需重复分支判断：

1. 定义基础类型与映射 #

// 单个搜索项类型
type GivenNameSearchTerm = { type: 'givenName'; value: string };
type FamilyNameSearchTerm = { type: 'familyName'; value: string };

// 建立类型映射：搜索类型 → 对应SearchTerm分支
type SearchTermMap = {
  givenName: GivenNameSearchTerm;
  familyName: FamilyNameSearchTerm;
};

// 联合类型直接从映射推导（避免手动维护联合）
type SearchTerm = SearchTermMap[keyof SearchTermMap];

// 你的搜索函数
function search(term: SearchTerm) {
  console.log(`搜索属性：${term.type}，值：${term.value}`);
}

2. 封装泛型创建函数 #

用泛型约束确保type与返回的SearchTerm分支严格匹配：

function createSearchTerm<T extends keyof SearchTermMap>(
  type: T,
  value: string
): SearchTermMap[T] {
  return { type, value } as SearchTermMap[T];
}

3. 调用示例（无类型错误） #

// 用户选择的属性和输入值
function handleUserSearch(selectedType: 'givenName' | 'familyName', inputValue: string) {
  search(createSearchTerm(selectedType, inputValue)); // TS正确推断类型，无报错
}

方案二：类型守卫函数 #

若偏好类型守卫的方式，可封装通用守卫避免重复判断：

// 类型守卫：判断是否为合法SearchTerm
function isValidSearchTerm(
  term: { type: string; value: string }
): term is SearchTerm {
  return ['givenName', 'familyName'].includes(term.type);
}

// 调用时用守卫缩小类型范围
function handleUserSearch(selectedType: 'givenName' | 'familyName', inputValue: string) {
  const term = { type: selectedType, value: inputValue };
  if (isValidSearchTerm(term)) {
    search(term); // TS识别为SearchTerm，无报错
  } else {
    // 处理无效搜索类型的边界情况
    throw new Error(`不支持的搜索属性：${selectedType}`);
  }
}

扩展优化：自动生成联合类型 #

若后续需新增搜索属性，可通过映射类型自动生成SearchTerm，减少手动维护成本：

// 定义所有支持的搜索属性及其值类型
type SupportedSearchProps = {
  givenName: string;
  familyName: string;
  // 新增属性直接在这里添加即可
  age: number;
};

// 自动生成SearchTerm联合类型
type SearchTerm = {
  [K in keyof SupportedSearchProps]: {
    type: K;
    value: SupportedSearchProps[K];
  };
}[keyof SupportedSearchProps];

新增搜索属性时，只需修改SupportedSearchProps，无需手动更新联合类型，扩展性更强。

内容的提问来源于stack exchange，提问作者Andrés Esguerra