javascript - TypeScript:有没有办法对 Object.values 返回的数组进行 const 断言？

Question

这是现场演示:https://codesandbox.io/s/vigorous-rgb-u860z?file=/src/index.ts

enum Keys {
  One = "one",
  Two = "two"
}

const a = Object.values(Keys).map((value, index) => ({
  label: value,
  id: String(index)
})) as const;

这是错误消息

A 'const' assertions can only be applied to references to enummembers, or string, number, boolean, array, or object literals.

我不确定我在这里缺少什么，因为 Object.values确实返回一个数组。为什么我不能对它进行 const 断言

Answer 1

你不能这样做的原因是因为左边X const 断言的 X as const必须是 TypeScript 编译器知道的文字值。
所以我假设你的最终目标是你想要拥有完整类型的 A。没有任何特殊的东西你会得到这个:

const a: {
    label: Keys;
    id: string;
}[]

现在，如果你想得到这个:

const a: [
    {
        label: "one";
        id: "0";
    },
    {
        label: "two";
        id: "1";
    }
]

这是不可能的，因为您依赖于 Object.values迭代顺序。这是由 ES2015 定义的，但 typescript 类型并不“知道”它。
使用一些简单的花哨类型，您可以获得:

type EnumEntry<T> = T extends any ? { label: T, id: string } : never;

const a: EnumEntry<Keys>[] = Object.values(Keys).map((value, index) => ({
  label: value,
  id: String(index)
}));

const a: ({
    label: Keys.One;
    id: string;
} | {
    label: Keys.Two;
    id: string;
})[]

但这是我认为我们可以做到的最好的事情，而不取决于 typescript 如何对类型进行排序。