为何Roslyn CA1001规则未触发自动实现属性后备字段的警告？

问题说明 #

这段代码会触发CA1001规则（拥有可释放字段的类型需实现IDisposable）：

public class MyService1 {
    public System.IO.MemoryStream DataStream = new();
}

但下面用只读自动属性的代码却不会触发该警告：

public class MyService2
{
    public System.IO.MemoryStream DataStream { get; } = new();
}

明明MyService2的自动属性背后有持有IDisposable类型的后备字段，和MyService1的资源管理问题本质一样，为什么Roslyn不报警？能不能设置让这种场景也触发警告？

原因解析 #

• Roslyn的CA1001规则默认只扫描开发者显式声明的字段，自动属性的后备字段是编译器自动生成的，不在默认检查范围内。
• 最初设计CA1001时，目标是针对开发者直接控制的字段资源，编译器生成的后备字段被归为"编译器托管"范畴，默认不做检查。但实际场景中，只要类型在初始化时创建了可释放资源并持有引用（哪怕是通过自动属性），就该承担释放资源的责任。

实现警告的方法 #

有几种方式可以让这类场景触发警告：

• 启用CA2000规则：CA2000（对象超出范围前需释放）会扫描所有可释放对象的创建场景，包括自动属性初始化时的实例化，能检测到MyService2中未释放MemoryStream的问题。
• 编写自定义分析器：如果需要专门针对自动属性的场景，可以自定义Roslyn分析器，明确扫描编译器生成的自动属性后备字段，检测是否持有可释放资源并触发类似CA1001的警告。
• 更新代码分析包：在新版本的.NET代码分析器（Microsoft.CodeAnalysis.FxCopAnalyzers）中，部分规则的覆盖范围有所扩展，可以尝试升级包，确认CA1001是否已将自动属性后备字段纳入检查。

内容的提问来源于stack exchange，提问作者Lai Yu-Hsuan