TypeScript：使用 keyof 索引对象类型

Question

我有一个按键嵌套的对象，如下所示：

const OBJECTS = {
    OBJECT1: {
        properties: {
            prop1: { value: "a" },
        },
    },
    OBJECT2: {
        properties: {
            prop2: { value: "b" },
        },
    },
} as const;

我正在尝试创建一个通用类型，在其中提取特定对象的属性值 - 类似于：

type PropertiesForObject<OBJECT_KEY extends keyof typeof OBJECTS> = {
    [PROPERTY_NAME in keyof typeof OBJECTS[OBJECT_KEY]["properties"]]: typeof OBJECTS[OBJECT_KEY]["properties"][PROPERTY_NAME]["value"];
};

但是，我收到以下错误：

Type '"value"' cannot be used to index type '{ readonly OBJECT1: { readonly properties: { readonly prop1: { readonly value: "a"; }; }; }; readonly OBJECT2: { readonly properties: { readonly prop2: { readonly value: "b"; }; }; }; }[OBJECT_KEY]["properties"][PROPERTY_NAME]'.

考虑到属性的形状相同，是否有任何方法可以索引每个对象的属性？我可以将其强制进入界面，但我想保留值的强类型。

Answer 1

这很可能是 TypeScript 中的错误或设计限制；编译器无法识别通用对象将具有文字键。这是对 的推断约束的问题typeof OBJECTS[K]["properties"][P]。请参阅microsoft/TypeScript#21760了解更多信息（如果您希望有一天能看到它得到处理，也许可以给它一个，但它看起来并不乐观，因为截至 2020 年 5 月它已经闲置了两年多）。

处理此问题的一种方法是使类型函数更通用（而不是typeof OBJECTS使用显式T约束为我们正在访问的结构的泛型类型），然后将其专门化为typeof OBJECTS：

type GenericPropertiesForObject<
    T extends Record<K, { properties: { [k: string]: { value: any } } }>,
    K extends PropertyKey
    > = {
        [P in keyof T[K]["properties"]]: T[K]["properties"][P]["value"]
    };

type PropertiesForObject<K extends keyof typeof OBJECTS> =
    GenericPropertiesForObject<typeof OBJECTS, K>;

即使它执行的计算本质上相同，但编译不会出错。让我们确保它有效：

type O1Props = PropertiesForObject<'OBJECT1'>;
// type O1Props = { readonly prop1: "a"; }

type O2Props = PropertiesForObject<'OBJECT2'>;
// type O2Props = { readonly prop2: "b"; }

在我看来很好。好的，希望有帮助；祝你好运！

Playground 代码链接