使用Object.values处理Record联合类型时避免隐式any

先看你的代码场景：你定义了两个Record类型的联合Record1 | Record2赋值给foo，调用Object.values(foo)得到了any[]，但单一类型的bar调用后类型却正常。这其实是TypeScript处理联合类型时的一个典型边界情况，和noImplicitAny的作用范围无关。

为什么会退化为any[]？ #

TypeScript的Object.values类型定义是针对单一对象类型设计的：当你传入明确的单一对象类型（比如Record1），它能准确推断出值的类型是{a:1}[]。但当传入的是联合类型（Record1 | Record2）时，TypeScript需要找到两个类型值的共同超类型——{a:1}和{b:1}没有除了any之外的公共父类型（object太宽泛，但TS在这里不会自动用object，而是直接退化为any），所以最终返回any[]。

至于noImplicitAny没生效，是因为这个any不是“未声明类型导致的隐式推断”，而是TS在无法确定联合类型结果时的 fallback 行为，不在noImplicitAny的约束范围内。

如何避免隐式any，得到明确类型？ #

这里有几种可行的方案：

1. 手动类型断言

最简单直接的方式，明确告诉TS返回值是两种类型的联合数组：

const fooValues = Object.values(foo) as Array<{ a: 1 } | { b: 1 }>;

2. 自定义工具类型处理联合类型

可以写一个通用的Values工具类型，专门处理联合类型的对象值推断：

type Values<T> = T extends Record<string, infer U> ? U[] : never;

// 现在fooValues会被推断为({a:1} | {b:1})[]
const fooValues: Values<Record1 | Record2> = Object.values(foo);

这个工具类型利用了条件类型的分布式特性，会自动遍历联合类型中的每个成员，提取它们的值类型再组成联合数组。

3. 用类型守卫细化联合类型

通过类型守卫先判断foo具体属于哪个分支，再调用Object.values，这样TS能在每个分支里推断出准确的类型：

// 定义一个类型守卫函数
function isRecord1(obj: Record1 | Record2): obj is Record1 {
  // 这里可以根据实际场景写更严谨的判断逻辑
  return Object.values(obj).every(v => 'a' in v);
}

// 根据类型守卫的结果，TS会自动推断fooValues的类型
const fooValues = isRecord1(foo) ? Object.values(foo) : Object.values(foo);

这种方式更安全，能避免手动断言可能带来的类型错误。

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