如何設定結構中唯讀屬性的值

有這樣一個結構：

 struct Demo<br />{<br /> private int _val;<br /> public int Val<br /> {<br /> get<br /> {<br /> return _val;<br /> }<br /> }<br />}

要求產生一個Demo的執行個體，並使之Val屬性返回5。

對於一個初學者而言，這是不可能的，因為Val屬性是唯讀，而其封裝的欄位又是私人的！

我最初的想法是，反射不就完了嗎，於是有如下代碼：

 Demo de = new Demo();<br />typeof(Demo).GetField("_val", BindingFlags.NonPublic | BindingFlags.Instance).SetValue(de, 5);<br />Console.WriteLine(de.Val);

運行後，你就能發現：Val屬性返回的是0。

 

為什麼會出現這樣的問題呢？

 

請注意這裡：

void SetValue(object obj,object value);

很明顯，該方法對de進行了裝箱，所以它設定的是裝箱後副本的值，而不是原來的de。

既然如此，我們把裝箱值拆出來即可：

Demo de = new Demo();<br />object obj = de;<br />typeof(Demo).GetField("_val", BindingFlags.NonPublic | BindingFlags.Instance).SetValue(obj, 5);<br />Demo de1 = (Demo)obj;<br />Console.WriteLine(de1.Val);

當然，這個問題不能說是微軟沒設計好，實際上根本無法解決：

因為實值型別的公用基類是System.ValueType，而這個類本身就是參考型別，所以裝箱是必然的。

 

另外，如果你對記憶體布局有所理解的話，還可以直接在記憶體中修改。

這裡其實還是比較簡單的，因為只有一個執行個體欄位，不會涉及到欄位排序及對齊的問題。

代碼如下：

IntPtr address= Marshal.AllocHGlobal(4);<br />Marshal.WriteInt32(address, 5);<br />Demo de = (Demo)Marshal.PtrToStructure(address, typeof(Demo));<br />Console.WriteLine(de.Val);

如果使用不安全的程式碼將更加簡潔：

Demo de = new Demo();<br />*(int*)&de = 5;<br />Console.WriteLine(de.Val);