前言
在某些使用了readonly关键字的情况下，C#编译器会创建出结构体的防御副本。虽然这个问题已经众所周知并被记录下来了，但仍然值得重新审视，因为它与C# 7.2的几个特性有关。in和ref readonly关键字的使用让这个问题出现得更频繁，而readonly结构体提供了一种解决方法。
C#中的结构体通常用于提升性能，减少用于分配和销毁内存的开销。然而，潜在的陷阱限制了它们的使用。C# 7.2增加了一个改进的readonly结构体来解决这个问题。
在如下几种情况下，C#编译器将为结构体创建副本：
- 结构体不是只读的。
- 机构提变量使用了readonly修饰符。
- 调用方法（包括属性）。
|
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; // 编译器创建了一个防御副本。 |
当x是in参数、ref readonly局部变量或通过readonly reference返回值的方法调用的结果时，适用相同的规则。
|
1
2
3
4
5
|
public void BadFunction(in SomeStruct s){ s.X; // 编译器创建了一个防御副本。} |
C# 7.2增加了声明readonly结构体的可能性，并提供了避免创建防御副本的解决方案。声明为readonly的结构体不能具有属性设置器，并且不能对结构体成员赋值。
我们可以通过静态分析来检测防御性副本问题。ErrorProne.NET的灵感来自于ErrorProne，一个Java静态分析工具。移植到.NET的版本由一组Roslyn分析器组成，侧重于准确性和性能。其中有一部分分析器适用于结构体，以Nuget包的方式供下载使用。
总结
以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作具有一定的参考学习价值，如果有疑问大家可以留言交流，谢谢大家对服务器之家的支持。
原文链接：http://www.infoq.com/cn/news/2018/08/structs-performance-csharp
