javascript - 防止类型注释类型扩大 const 表达式

Question

如何保持文字表达式常量(通过 const 断言)，但仍然针对类型检查它以防止缺少/多余的属性？
换句话说，如何防止类型注释覆盖 as const断言，扩大类型？
我或多或少地了解正在发生的事情，并且我已经在聊天中询问过，所以我很确定这没有解决方案(在类型土地上)，但也许有一个我不知道的黑客行为。
用例:
我需要定义一个配置，我可以从中根据值有条件地推断类型，但同时我想确保配置包含与其所基于的类型完全相同的键。
这是一个最小的例子。 State type 是键的蓝图，config对象应该对这些键进行类型检查。但是，我还需要 config成为一个常数，以便我可以深入研究它并获得单位联合类型，而不是扩大 string类型。
playground

type State = Readonly<{
    a: number;
    b: string;
}>;

const config: Record<keyof State, { value: string }> = {
    a: { value: "aaa" },
    b: { value: "bbb" }
} as const;

// I want this to be "aaa" | "bbb"
type ConfigValues = (typeof config)[keyof typeof config]["value"];

我可以做这个:

const config = {
    a: { value: "aaa" },
    b: { value: "bbb" }
} as const;

// eslint-disable-next-line @typescript-eslint/no-unused-vars
const config_check: Record<keyof State, any> = config;

但是上面只会检查丢失的 Prop ，而不是多余的 Prop :/。
请注意，这是一个简单的示例。在现实世界中，配置更复杂，我想推断的类型是基于值的条件。
此外，我已经多次遇到这个问题模式，所以它看起来不像是一个边缘案例。

Answer 1

您可以使用通用辅助函数来约束类型，同时保持其狭窄以进行推理:

function createConfig<P extends string, T extends Record<keyof State, { value: P }>>(
    cfg: { [K in keyof T]: K extends keyof State ? T[K] : never }) {
    return cfg
}

const config = createConfig({
    a: { value: "aaa" },
    b: { value: "bbb" },
    c: { value: "ccc" } // conditional type error akin to excess property check
})

type keys = (typeof config)[keyof typeof config]["value"]; // "aaa" | "bbb"
type keyA = (typeof config)["a"]["value"] // "aaa"

Playground