使用公共只讀字段爲不可變結構工作嗎？

Question

這是一種聲明不可變結構的正確方法嗎？

public struct Pair 
{ 
    public readonly int x; 
    public readonly int y; 

    // Constructor and stuff 
} 

我想不出爲什麼會遇到問題，但我只是想問一下確認。

在這個例子中，我使用了整數。如果我使用了一個類，但是這個類也是不可變的，像這樣？這應該也可以，對嗎？

public struct Pair 
{ 
    public readonly (immutableClass) x; 
    public readonly (immutableClass) y; 

    // Constructor and stuff 
} 

（旁白：據我所知，使用性能更加普及，並允許改變，但這種結構的目的是從字面上只存儲兩個值我在永恆的問題只是有興趣在這裏。）

Answer 1

如果您打算使用結構，最好讓它們不可變。

使所有字段爲只讀是一種很好的方式來幫助（1）記錄結構是不可變的，並且（2）防止意外突變。

但是，有一個皺紋，實際上我正在計劃在下週的博客上發生奇怪的巧合。即：只讀結構字段是一個謊言。人們期望只讀字段不能改變，但當然可以。在結構字段上的「只讀」是在其帳戶中沒有金錢的聲明書寫檢查。 一個結構體不擁有它的存儲空間，它就是可以變異的存儲空間。

例如，讓我們把你的結構：

public struct Pair 
{ 
    public readonly int x; 
    public readonly int y; 
    public Pair(int x, int y) 
    { 
     this.x = x; 
     this.y = y; 
    } 
    public void M(ref Pair p) 
    { 
     int oldX = x; 
     int oldY = y; 
     // Something happens here 
     Debug.Assert(x == oldX); 
     Debug.Assert(y == oldY); 
    } 
} 

有什麼事情可以在「有事這裏」導致被侵犯調試斷言發生的呢？當然。

public void M(ref Pair p) 
    { 
     int oldX = this.x; 
     int oldY = this.y; 
     p = new Pair(0, 0); 
     Debug.Assert(this.x == oldX); 
     Debug.Assert(this.y == oldY); 
    } 
... 
    Pair myPair = new Pair(10, 20); 
    myPair.M(ref myPair); 

現在會發生什麼？斷言被違反！ 「this」和「p」指的是相同的存儲位置。存儲位置發生了變化，所以「this」的內容會發生變化，因爲它們是相同的東西。該結構不能執行x和y的只讀性，因爲該結構不擁有存儲;存儲是一個局部變量，可以隨意變化。

你不能依賴關於一個結構中的只讀字段永遠不會被改變的不變性;唯一可以依賴的是你不能編寫直接改變它的代碼。但是通過這樣一個小鬼的工作，你可以間接地改變你想要的一切。

另見本發行喬·達菲的優秀博客文章：

http://joeduffyblog.com/2010/07/01/when-is-a-readonly-field-not-readonly/

Answer 2

這將使它確實無法改變。我想你最好添加一個構造函數。
如果它的所有成員都是不可變的，這將使它完全不可變。這些可以是類或簡單的值。

Answer 3

編譯器將禁止分配給readonly字段以及只讀屬性。

我推薦使用只讀屬性主要是爲了公共接口的原因和數據綁定（這在字段上不起作用）。如果這是我的項目，我會要求，如果結構/類是公共的。如果它將在一個程序集內部或對一個類是私有的，我可以首先忽略它，然後將它們重構爲只讀屬性。