在枚举上使用计算值

Question

我有以下情况：

enum T {
    A = "a"
};

enum U {
    [T.A] = "u"
}

我收到此错误：

枚举中不允许使用计算属性名称。

有办法解决吗？或者也许使用类似的资源可以让我有类似的行为？

Answer 1

虽然不一定理想，但一种选择是使用

T

枚举中的显式值，然后使用虚拟类型定义进行一些编译时断言：

enum T {
    A = "a"
};

enum U {
    // T.A
    a = "u"
}
/** this raises a compile error if not all values of enum T are valid keys of the enum U */
type _ensure_keyof_U_equals_T = typeof U[T];

请注意，您实际上不会在代码中的其他任何地方使用

_ensure_keyof_U_equals_T

，它的存在只是为了在枚举与您想要的形状不匹配时引发类型错误。 （示例游乐场）如果 T 包含 U 中不存在的元素，则会给出错误，指出“typeof U 没有属性 ___”，因此您必须确保 T 包含该属性才能编译代码。有点迂回但确实有效。

这是为了确保

T

类型的值可以用作运行时创建的

U

对象的动态键。请注意，枚举的优点之一是使它们

const

，这不是这种架构的选择。

另一种方法是使

U

成为对象定义而不是像这样的枚举：

type U = (typeof U)[keyof typeof U]
const U = {
    [T.A]: "u"
} as const

这并不断言

T

的每个可能元素都是有效键（尽管上面的

_ensure_keyof_U_equals_T

在这里仍然完全相同），但确实创建了一个与枚举情况几乎无法区分的对象/类型组合，唯一的区别是对字符串文字的检查不太严格：

enum A {
    a = "b"
}
type B = (typeof B)[keyof typeof B];
const B = {
    element: "b"
} as const

function should_only_accept_enum_A(item: A){}
function should_only_accept_enum_B(item: B){}

should_only_accept_enum_A("b") // fails
should_only_accept_enum_B("b") // succeeds

但是，如果你想将非字符串值放入该结构中，这感觉就像你会这样做的情况，无论如何它确实允许这样做。