如何用一個可變字段和一個不可變字段初始化一個結構體？

Question

迄今爲止我讀過的結構的所有例子都是當所有字段都是可變的或所有字段都是不可變的。因此，該編譯罰款：

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

所以做到這一點：

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

不過，我不知道如何寫一個明確的構造函數有一個字段可變的，一個不可改變的一個STRUC：

[<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一次。