F#中纯Discriminated Unions的实现方式咨询

1. 单个Case的底层表示 #

纯无数据的区分联合（所有case都不携带附加数据），每个case在CLR层面会被分配一个唯一的整数标识——通常第一个case对应0，第二个对应1，依此类推。这个数字是底层存储的实现细节，F#类型系统会封装它，不会直接暴露给开发者。

2. 模式匹配的编译结果 #

当你对这类区分联合进行模式匹配时，编译器会将代码编译为基于上述整数标识的分支判断逻辑，本质上等价于switch语句（IL层面会直接使用switch指令），而非复杂的额外控制流。

举个简单例子：
定义纯无数据DU：

type Direction =
    | Up
    | Down
    | Left
    | Right

对应的模式匹配代码：

let getDirectionString dir =
    match dir with
    | Up -> "向上"
    | Down -> "向下"
    | Left -> "向左"
    | Right -> "向右"

这段代码编译后，会检查dir内部的整数值，通过switch指令直接跳转到对应的分支逻辑，和手动编写整数判断的switch行为一致。

需要注意的是，开发者无需手动操作这些整数标识，F#的类型系统会确保你只能通过合法的case构造和匹配实例，避免直接操作底层数值带来的错误。

内容的提问来源于stack exchange，提问作者Admiral Genesis