非泛型场景下，如何让TypeScript根据对象的具体键推断精确值类型

其实你遇到的问题很典型——手动给dictionary指定了太宽泛的类型（Record<string, Value>），导致TypeScript把所有值都“抹平”成了Value类型，自然就丢失了每个键对应的具体结构信息。不用泛型也完全能解决，核心就是别让TypeScript忘记这些精确的类型细节。

我给你两种实用的解决方案，看你更偏向哪种需求：

方案一：直接让TypeScript自动推断类型（最简单） #

直接去掉你手动给dictionary加的Record<string, Value>类型注解，让TS自己去推导整个对象的精确类型。它会记住每个枚举键对应的具体结构，自然就能正确推断后续的属性类型：

enum KeyEnum {
    A = "A",
    B = "B",
}

const someRecord = { a: { b: "string" } };
const someOtherRecord = { c: { d: 1 } };

// 去掉手动类型注解，交给TS自动推导
const dictionary = {
    [KeyEnum.A]: someRecord,
    [KeyEnum.B]: someOtherRecord,
};

// 现在v1的类型会被精确推断为 { b: string }
const v1 = dictionary[KeyEnum.A].a;
// v2的类型是 { d: number }
const v2 = dictionary[KeyEnum.B].c;

这样修改后，你在IDE里hoverv1或v2，就能看到精确的类型提示了，完全符合你要的效果。

方案二：约束结构同时保留精确类型（更严谨） #

如果你需要确保dictionary的键必须是KeyEnum的成员，同时值的结构符合某种规范（比如都是包含子对象的结构），可以用TypeScript 4.9+新增的satisfies关键字。它的作用是“检查对象是否符合某个类型约束，但不会把对象的类型拓宽到这个约束”，完美兼顾约束和精确推断：

enum KeyEnum {
    A = "A",
    B = "B",
}

// 先定义一个约束类型：键必须是KeyEnum的成员，值是任意带子对象的结构
type DictionaryConstraint = Record<KeyEnum, Record<string, unknown>>;

const someRecord = { a: { b: "string" } };
const someOtherRecord = { c: { d: 1 } };

// 使用satisfies确保结构合法，但保留TS自动推导的精确类型
const dictionary = {
    [KeyEnum.A]: someRecord,
    [KeyEnum.B]: someOtherRecord,
} satisfies DictionaryConstraint;

// 同样能精确推断类型：v1是 { b: string }，v2是 { d: number }
const v1 = dictionary[KeyEnum.A].a;
const v2 = dictionary[KeyEnum.B].c;

这种方式既保证了你的dictionary不会出现不符合要求的键或值，又没丢失任何精确的类型信息，非常适合需要一定类型约束但又想保留推断能力的场景。

为什么原来的写法不行？ #

你之前手动指定const dictionary: Record<string, Value> = { ... }，相当于告诉TypeScript：“不管这个对象里实际有什么，都把它当成键是string、值是Value类型的对象”。而Value又是Record<string, Record<any, any>>，这就把所有具体的结构信息都覆盖了，TS自然没法再区分KeyEnum.A和KeyEnum.B对应的值有什么不同。

只要不让TS“忘记”原始对象的精确类型，它就能完美完成你要的类型推断工作，完全不用依赖泛型。

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