解决TypeScript报错：Type 'T | "queryKey"'无法索引类型'FuncParams<T>'(2536)

我完全懂你的需求啦——就是要定义一个函数参数，得满足两个核心条件：一是必须包含keyword字段（不传的话默认值是queryKey），二是参数里还得有一个和keyword值同名的字段。之前的代码之所以报错，是因为TypeScript没法确定当keyword取默认值queryKey时，参数里一定存在这个对应的字段，所以才会抛出索引类型不匹配的错误。不用类型断言也能搞定，我给你两种实用的解决方案：

方案1：用联合类型优化参数类型定义 #

我们可以把参数类型拆成两种情况的联合，明确约束每种情况下必须存在的字段：

// 定义基础的键值类型：包含指定名称的字符串字段
type QueryKey<K extends string> = {
  [key in K]: string;
};

// 联合类型：要么传入keyword并对应同名字段，要么不传keyword但必须有queryKey字段
type FuncParams<T extends string = 'queryKey'> = 
  (QueryKey<T> & { keyword: T }) | 
  (QueryKey<'queryKey'> & { keyword?: never });

function testFunc<T extends string = 'queryKey'>(query: FuncParams<T>) {
  const keyword = query.keyword ?? 'queryKey';
  // 这里通过类型收窄让TypeScript明确知道对应的字段一定存在
  if (query.keyword !== undefined) {
    console.log(query[query.keyword]);
  } else {
    console.log(query['queryKey']);
  }
}

这样定义后，TypeScript能清晰识别两种参数场景：

• 当你传入keyword: 'customKey'时，会强制要求参数里必须有customKey字段；
• 当你不传keyword时，参数必须包含queryKey字段，和默认值对应上。

方案2：使用函数重载 #

如果觉得联合类型有点绕，函数重载也是个不错的选择，它能更直观地定义不同调用场景的参数约束：

type QueryKey<K extends string> = {
  [key in K]: string;
};

// 重载1：主动传入keyword的场景，必须包含对应名称的字段
function testFunc<T extends string>(query: QueryKey<T> & { keyword: T }): void;
// 重载2：不传入keyword的场景，必须包含queryKey字段
function testFunc(query: QueryKey<'queryKey'> & { keyword?: never }): void;

// 函数实现
function testFunc(query: any) {
  const keyword = query.keyword ?? 'queryKey';
  console.log(query[keyword]);
}

调用的时候TypeScript会自动匹配对应的重载规则，比如：

// 合法调用：传入keyword和对应字段
testFunc({ keyword: 'customKey', customKey: 'hello world' });
// 合法调用：不传keyword，带queryKey字段
testFunc({ queryKey: 'default value' });

这两种方案都能让代码正常编译通过，而且不需要额外的类型断言，完全符合你的需求～

备注：内容来源于stack exchange，提问作者wnow20