如何使用可变字段和不可变字段初始化结构？

Question

到目前为止，我读过的所有结构示例要么是所有字段都是可变的，要么是所有字段都是不可变的。因此，这编译得很好：

[<Struct>]
type Number(x:int) =
    member this.X = x

这也是如此：

[<Struct>]
type Number =
    val mutable X:int
    new(x) = {X = x}

但是，我不知道如何为具有一个可变字段和一个不可变字段的结构编写显式构造函数：

[<Struct>]
type Numbers(x:int) =
    member this.X = x
    val mutable Y:int
    new(x,y) = ???

显式构造函数必须清楚地调用隐式构造函数。到目前为止，我尝试过的所有天真的解决方案都失败了。

一个后续问题：解决方案，不管它是什么，是否将字段 Y 分配一次或两次（首先使用默认值）？

Answer 1

第二个示例中使用的显式构造语法适用于所有结构，无论它们是否具有可变字段。

我们也可以重写第一个示例以使用该语法，尽管它看起来不太美观。还有一个技术区别在于member this.X 定义了一个属性，而val X 定义了一个字段。

在第三种情况下，你会这样写：

[<Struct>]
type Numbers =
    val X : int
    val mutable Y : int
    new(x, y) = { X = x; Y = y }

这只会显式分配一次Y。