CA1001在异步方法上实现IDisposable

Question

考虑以下代码:

public class Test
{
    public async Task Do()
    {
        await Task.Delay(200);

        using (var disposable = new Disposable())
        {
            disposable.Do();
        }
    }
}

public class Disposable : IDisposable
{
    public void Do()
    {
    }

    public void Dispose()
    {
    }
}

当我在Visual Studio中运行代码分析时,我收到一个警告:

警告CA1001在测试时实现IDisposable.<Do> d__0因为它创建了以下IDisposable类型的成员:'Disposable'.

为什么我收到此消息？一次性类正确处理,我不会将它存储在任何地方.

此外,这似乎适用于分析仪:

public class Test
{
    public void Do()
    {
        using (var disposable = new Disposable())
        {
            disposable.Do();
        }
    }
}

Answer 1

这是因为编译器从您的异步方法生成状态机,并且该状态机类(<Do>d__0在本例中命名)包含类型的字段,Disposable但本身并不实现IDisposable接口.分析器分析编译器生成的代码(这个<Do>d__0类用CompilerGenerated属性标记)没有多大意义.幸运的是,代码分析器有一个设置可以避免编译器生成的代码:转到项目属性,"代码分析"选项卡并选中"从生成的代码中抑制结果",此警告将消失.

Answer 2

如果你看一下IL,你会发现<Do>d__0创建了一个类来处理异步的东西:

// Nested Types
.class nested private auto ansi sealed beforefieldinit '<Do>d__0'
    extends [mscorlib]System.Object
    implements [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine
{

稍后,此类创建一个Disposable实例:

IL_0074: newobj instance void ConsoleApp1.Disposable::.ctor()

这是触发CA1001的类,因为CA1001检查IL,并且生成的类没有实现IDisposable.您可以放心地忽略此特定类的CA1001警告.