如何在TypeScript中实现Record的键值类型联合类型？

你可以通过索引访问类型结合keyof操作符实现需求，直接定义如下类型别名：

type KeysTypeUnion<T> = T[keyof T];

原理说明 #

• keyof T会提取类型T的所有键，组成对应的联合类型；
• T[keyof T]用这个键的联合类型去索引T，最终得到所有属性值类型的联合，完全匹配你想要的效果。

示例验证 #

给定你提供的Foo类型：

type Foo = {
    key1: { bar: '1' };
    key2: { bar: '2' };
    key3: { bar: '3' };
}

type FooKeysUnion = KeysTypeUnion<Foo>;
// FooKeysUnion 等价于 { bar: '1' } | { bar: '2' } | { bar: '3' }

测试用例验证 #

1. 基础值类型场景：

type Test1 = KeysTypeUnion<{ key1: '1'; key2: '2'; key3: '3' }>;
// Test1 等价于 '1' | '2' | '3'

2. Record泛型场景：

type A = { a: number };
type B = { b: string };
type C = { c: boolean };

type Test2 = KeysTypeUnion<Record<string, A | B | C>>;
// Test2 等价于 A | B | C

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