TypeScript泛型约束Record键时无法正确识别值类型怎么办

• 核心问题出在TypeScript对Object.entries的类型重载匹配逻辑，以及泛型索引的Record类型的识别规则。
• TypeScript内置的Object.entries有两条核心重载：

  // 重载1：匹配带有明确string索引签名的对象，返回值第二个元素是索引值的类型
  entries<T>(o: { [s: string]: T } | ArrayLike<T>): [string, T][];
  // 重载2：匹配普通对象，返回值第二个元素为通用类型
  entries(o: {}): [string, any][];
  

• 当你用Record<string, Option>作为参数类型时，它带有明确的通用string索引签名，能够匹配到第一条重载，因此推导出来的entry类型为Option。
• 当你用Record<T extends string, Option>作为参数类型时，索引类型是约束为字符串的泛型T，本质是可能为任意字符串字面量联合的窄类型，TypeScript类型系统当前不会将这类带字面量联合索引的Record识别为“带有通用string索引签名的对象”，因此会匹配到第二条重载，entry类型就会被推导为非预期的unknown/any类型，导致展开时报错。

你没有语法层面的错误，这是TypeScript现有类型系统对泛型索引类型的推导局限性导致的问题。

你可以手动指定Object.entries的泛型参数，或者添加类型断言明确返回值类型即可：

type Option = {
  name: string;
};

export const filterOptions = <T extends string>(
  options: Record<T, Option>,
): unknown[] =>
  // 手动指定泛型参数，明确entry类型为Option
  Object.entries<Option>(options)
    .map(([key, entry]) => ({
      key,
      ...entry,
    }))
    .filter(() => {
      // do filtering stuff...
    });

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