带参数的 typescript 枚举

Question

我想要严格类型化的可变对象，就像 Haxe 枚举一样。

In haxe, you can do

enum Color {
  Red;
  Rgb(r:Int, g:Int, b:Int);
  Rgba(r:Int, g:Int, b:Int, a:Int);
}

我希望仅当我的对象是 Rgba 时才能访问 a 参数，如果我的对象是 a，我将无法访问任何参数红色。

我真的不在乎我是否在 typescript 中使用 enum 关键字。

有什么方法可以在 Typescript 中实现吗？

Answer 1

从 2.0 版开始，Typescript supports tagged unions在某种程度上。一般语法是

type MyType = A | B | C …;

其中A、B和C是接口(interface)。 MyType 对象可以是这些类型中的任何一种，不能是其他类型。公告给出了一个简单的例子:

interface Square {
    kind: "square";
    size: number;
}

interface Rectangle {
    kind: "rectangle";
    width: number;
    height: number;
}

interface Circle {
    kind: "circle";
    radius: number;
}

type Shape = Square | Rectangle | Circle;

function area(s: Shape) {
    // In the following switch statement, the type of s is narrowed in each case clause
    // according to the value of the discriminant property, thus allowing the other properties
    // of that variant to be accessed without a type assertion.
    switch (s.kind) {
        case "square": return s.size * s.size;
        case "rectangle": return s.width * s.height;
        case "circle": return Math.PI * s.radius * s.radius;
    }
}

但是，如示例所示(检查 s.kind)，如果需要使用所谓的“判别属性类型保护”手动保护和检查这些联合类型的类型安全性。