functional-programming - OCaml 中的 `union` 是什么，真的

Question

我正在学习 OCaml 的 union 位，我很困惑。

---

在 C 中，联合是这样的

union {
    int i;
    float f;
} x;
x.i = 0x27;
printf ("%f\n", x.f);

那么，OCaml 中的 union 是否有同样的目的？

让我们举个例子。下面是一个联合定义:

如何像上面的 C 示例一样使用这个联合？

---

也适合这个

type 'a set 是联合定义吗？ type 'a set = 'a list 怎么样？为什么？

Answer 1

OCaml 中的可区分联合类似于 C 联合与枚举的组合。因此，您的 number 类型示例可以在 C 中表示为:

enum number_tag {
    ZERO, INTEGER, REAL
};

union number_value {
    int i; /* Only access this if tag is INTEGER */
    float f; /* Only access this if tag is REAL */
};

struct number {
    enum number_tag tag;
    union number_value value;
};

所以你可以通过访问枚举来询问数字的类型是什么，然后根据枚举的值访问并集的相应字段。当然 C 不会停止访问联合的错误字段。

另一方面，OCaml 消除了访问错误字段的可能性。由于您只能通过模式匹配来访问值，因此您知道您始终拥有正确的类型。

number 类型值的模式匹配在 OCaml 中如下所示:

match value_of_type_number with
| Zero ->
    (* Handle the case that the number is Zero *)
| Integer i ->
    (* Handle the case that the number is an Integer with the value i *)
| Float f ->
    (* Handle the case that the number is a Float with the value f *)

相当于这样:

switch(value_of_type_number.tag) {
case ZERO:
    /* Handle the case that the number is Zero */
    break;
case INTEGER:
    int i = value_of_type_number.value.i;
    /* Handle the case that the number is an Integer with the value i */
    break;
case FLOAT:
    float f = value_of_type_number.value.f;
    /* Handle the case that the number is a Float with the value f */
    break;
}

---

Is type 'a set a union definition? How about type 'a set = 'a list? and why?

type 'a set 根本不是一个定义。它只是指定接口(interface)。它说这个接口(interface)的实现必须定义一个名为 set 的类型，它接受一个类型参数。

type 'a set = 'a list 是一个定义，但不是一个有区别的联合。它只是一个类型别名。那就是说“'a set 只是 'a list' 的另一个名称。可区分联合的定义将在等号之后将构造函数作为第一件事. 构造函数总是以大写字母开头。