使用枚举键入接口字段的索引签名？

Question

我可以用对象类型表示法描述索引类型限制，例如：

enum Enum {
    A = 0,
    B = 1,
}

type EnumMap = {
    [P in Enum]: string;
}

但是，令人惊讶的是，在接口中使用索引表示法时，似乎不可能做到这一点：

enum Enum {
    A = 0,
    B = 1,
}

interface EnumMap {
    [P in Enum]: string;
}

错误是：

计算的属性名称必须是“字符串”、“数字”、“符号”或“任何”类型。

为什么会这样？根据定义，TypeScript中的枚举只能有字符串值或数字值（或两者都有，但不建议这样做），我认为枚举本身对于它列出的所有值都可以像联合类型一样工作。

进一步调查，我还发现，在下面的例子中，< code>EnumValues的类型是< code>number，而不是(我期望的)< code>0 | 1。还是那句话，为什么会这样？

const Enum = {
    A: 0,
    B: 1
};

type EnumKeys = keyof typeof Enum;
type EnumValues = typeof Enum[EnumKeys];

Answer 1

关于中的错误：

interface EnumMap {
    [P in Enum]: string;
}

枚举是 TypeScript 中一种特殊的数据结构，它不能分配给字符串|数字|符号。康赛德这个例子：

const key = <T extends string | number | symbol>(t: T) => t

key(Enum) // error

此外，枚举具有特殊行为。

请参见此示例：

const enm = (t: Enum) => t

// Argument of type 'typeof Enum' is not assignable to parameter of type 'Enum'
enm(Enum) // error

所以即使在枚举和类型枚举之间也有区别。

让我们回到问题上来。在TS 4.4之前，不允许在接口中使用联合作为索引签名。请考虑这个没有枚举的示例：

interface EnumMap {
    [P in 'a'|'b']: string; // error
}

因此，它是关于TS限制而不是枚举。

至于第二种情况：

const Enum = {
    A: 0,
    B: 1
};

type EnumKeys = keyof typeof Enum;
type EnumValues = typeof Enum[EnumKeys];

这是因为const Enum是可变的。

为了获得 1|0，您应该使其不可变：

const Enum = {
    A: 0,
    B: 1
} as const; // special syntax

type EnumKeys = keyof typeof Enum;
type EnumValues = typeof Enum[EnumKeys]; // 0 | 1