前言

在某些使用了readonly關(guān)鍵字的情況下，C#編譯器會創(chuàng)建出結(jié)構(gòu)體的防御副本。雖然這個問題已經(jīng)眾所周知并被記錄下來了，但仍然值得重新審視，因為它與C# 7.2的幾個特性有關(guān)。in和ref readonly關(guān)鍵字的使用讓這個問題出現(xiàn)得更頻繁，而readonly結(jié)構(gòu)體提供了一種解決方法。

C#中的結(jié)構(gòu)體通常用于提升性能，減少用于分配和銷毀內(nèi)存的開銷。然而，潛在的陷阱限制了它們的使用。C# 7.2增加了一個改進的readonly結(jié)構(gòu)體來解決這個問題。

在如下幾種情況下，C#編譯器將為結(jié)構(gòu)體創(chuàng)建副本：

•  結(jié)構(gòu)體不是只讀的。
•  機構(gòu)提變量使用了readonly修飾符。
•  調(diào)用方法（包括屬性）。

public struct SomeStruct { private int _x;  public int X { get { return _x; } }} private readonly SomeStruct s = new SomeStruct(42); s.X; // 編譯器創(chuàng)建了一個防御副本。

當(dāng)x是in參數(shù)、ref readonly局部變量或通過readonly reference返回值的方法調(diào)用的結(jié)果時，適用相同的規(guī)則。

public void BadFunction(in SomeStruct s){ s.X; // 編譯器創(chuàng)建了一個防御副本。}

C# 7.2增加了聲明readonly結(jié)構(gòu)體的可能性，并提供了避免創(chuàng)建防御副本的解決方案。聲明為readonly的結(jié)構(gòu)體不能具有屬性設(shè)置器，并且不能對結(jié)構(gòu)體成員賦值。

我們可以通過靜態(tài)分析來檢測防御性副本問題。ErrorProne.NET的靈感來自于ErrorProne，一個Java靜態(tài)分析工具。移植到.NET的版本由一組Roslyn分析器組成，側(cè)重于準(zhǔn)確性和性能。其中有一部分分析器適用于結(jié)構(gòu)體，以Nuget包的方式供下載使用。

總結(jié)

以上就是這篇文章的全部內(nèi)容了，希望本文的內(nèi)容對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值，如果有疑問大家可以留言交流，謝謝大家對VEVB武林網(wǎng)的支持。