前言
在某些使用了readonly關(guān)鍵字的情況下，C#編譯器會(huì)創(chuàng)建出結(jié)構(gòu)體的防御副本。雖然這個(gè)問(wèn)題已經(jīng)眾所周知并被記錄下來(lái)了，但仍然值得重新審視，因?yàn)樗cC# 7.2的幾個(gè)特性有關(guān)。in和ref readonly關(guān)鍵字的使用讓這個(gè)問(wèn)題出現(xiàn)得更頻繁，而readonly結(jié)構(gòu)體提供了一種解決方法。
C#中的結(jié)構(gòu)體通常用于提升性能，減少用于分配和銷毀內(nèi)存的開(kāi)銷。然而，潛在的陷阱限制了它們的使用。C# 7.2增加了一個(gè)改進(jìn)的readonly結(jié)構(gòu)體來(lái)解決這個(gè)問(wèn)題。
在如下幾種情況下，C#編譯器將為結(jié)構(gòu)體創(chuàng)建副本：
- 結(jié)構(gòu)體不是只讀的。
- 機(jī)構(gòu)提變量使用了readonly修飾符。
- 調(diào)用方法（包括屬性）。
|
1
2
3
4
5
6
7
8
9
10
11
12
13
|
public struct SomeStruct { private int _x; public int X { get { return _x; } }} private readonly SomeStruct s = new SomeStruct(42); s.X; // 編譯器創(chuàng)建了一個(gè)防御副本。 |
當(dāng)x是in參數(shù)、ref readonly局部變量或通過(guò)readonly reference返回值的方法調(diào)用的結(jié)果時(shí)，適用相同的規(guī)則。
|
1
2
3
4
5
|
public void BadFunction(in SomeStruct s){ s.X; // 編譯器創(chuàng)建了一個(gè)防御副本。} |
C# 7.2增加了聲明readonly結(jié)構(gòu)體的可能性，并提供了避免創(chuàng)建防御副本的解決方案。聲明為readonly的結(jié)構(gòu)體不能具有屬性設(shè)置器，并且不能對(duì)結(jié)構(gòu)體成員賦值。
我們可以通過(guò)靜態(tài)分析來(lái)檢測(cè)防御性副本問(wèn)題。ErrorProne.NET的靈感來(lái)自于ErrorProne，一個(gè)Java靜態(tài)分析工具。移植到.NET的版本由一組Roslyn分析器組成，側(cè)重于準(zhǔn)確性和性能。其中有一部分分析器適用于結(jié)構(gòu)體，以Nuget包的方式供下載使用。
總結(jié)
以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，如果有疑問(wèn)大家可以留言交流，謝謝大家對(duì)服務(wù)器之家的支持。
原文鏈接：http://www.infoq.com/cn/news/2018/08/structs-performance-csharp
