为何TypeScript中Object.groupBy返回类型为Partial而非Record？

在使用TypeScript的Object.groupBy方法时，你可能会发现它的返回类型被定义为Partial<Record<string, T[]>>，但从逻辑上看，分组是基于原数组的条目生成的，输出对象里的键都是分组函数实际返回的结果，不存在“缺失条目”的情况，为什么TypeScript要采用这个看似冗余的Partial类型？

示例代码 #

先看一个实际场景：

type Person = { name: string; country: string };

const people: Person[] = [
    {name: 'Santi', country: 'Mexico'},
    {name: 'Jacqueline', country: 'France'},
    {name: 'Pablo', country: 'Mexico'},
];

// 调用Object.groupBy后，TypeScript推断的类型是Partial<Record<string, Person[]>>
const byCountry = Object.groupBy(people, person => person.country);

// 等效的类型标注
const byCountry: Partial<Record<string, Person[]>> = {
  Mexico: [
    { name: 'Santi', country: 'Mexico' },
    { name: 'Pablo', country: 'Mexico' }
  ],
  France: [
    { name: 'Jacqueline', country: 'France' }
  ],
};

类型带来的问题 #

因为Partial类型表示对象的每个键都可能不存在，所以当我们操作返回结果时，TypeScript会抛出类型错误：

// 报错：'people' 可能为 undefined
Object.values(byCountry).map(people => people.length);

如果我们手动将类型改为Record<string, Person[]>，代码就能正常运行，因为这个类型保证了所有存在的键对应的都是有效的数组：

const byCountry2: Record<string, Person[]> = {
  Mexico: [
    { name: 'Santi', country: 'Mexico' },
    { name: 'Pablo', country: 'Mexico' }
  ],
  France: [
    { name: 'Jacqueline', country: 'France' }
  ],
};

// 无类型错误
Object.values(byCountry2).map(people => people.length);

为什么TypeScript要这么设计？ #

TypeScript采用Partial<Record<string, T[]>>作为返回类型，本质是类型系统的保守性考量：

• 虽然运行时Object.groupBy返回的对象中，所有存在的键对应的都是非空数组（只要原数组有元素被分到该组），但TypeScript在编译期无法完全确定分组函数会返回哪些具体的键，也无法提前知晓原数组是否为空（空数组会返回空对象）。
• Partial<Record<string, T[]>>的定义是“对象可能包含任意字符串键，每个键对应的值要么是T[]要么不存在”，这个定义覆盖了所有可能的运行场景，避免了类型断言带来的潜在风险。

解决方法 #

如果你确定运行时不会出现undefined值，可以通过以下方式规避类型错误：

1. 类型断言：直接将结果断言为Record<string, T[]>

const byCountry = Object.groupBy(people, person => person.country) as Record<string, Person[]>;

2. 过滤undefined：通过filter让TypeScript自动推断类型（虽然运行时不会有undefined，但能通过类型检查）

Object.values(byCountry).filter(Boolean).map(people => people.length);

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