如何在 F# 中为枚举指定基础类型

Question

我们可以在 C# 中为枚举指定一个底层类型，如下所示：

[Flags]
public enum MyKinds : ushort
{
    None  = 0,
    Flag1 = 1 << 0,
    Flag2 = 1 << 1,
    // ...
}

1. 如何使用 F# 做到这一点？

type MyKinds = 
    | None  = 0 
    | Flag1 = 1
    | Flag2 = 2

    // inherit ushort  // error FS0912

2. 如何使用 F# 中的1 << 0之类的按位运算符定义枚举值？

type MyKinds = 
    | None = 0 
    | Flag1 = 1 << 0    // error FS0010
    | Flag2 = 1 << 1    // error FS0010

Answer 1

你不能使用位移，但这不是更好吗？

type MyKinds = 
    | None =  0b0000us
    | Flag1 = 0b0001us
    | Flag2 = 0b0010us

此外，如果这些要用作位标志，您可能需要添加[<Flag>]属性，以便打印该值将显示标志的任何组合。

Answer 2

如The Docs中所述，F# 中枚举的基础类型由数字后缀确定。
因此，在您的情况下，对于 ushort (unit16)，它将是：

type MyKinds = 
    | None  = 0us 
    | Flag1 = 1us
    | Flag2 = 2us

（ 此处提供不同数字类型的后缀）