使用块从内部返回是否可以

Question

我正在做代码审查，发现很多代码格式如下：

public MyResponse MyMethod(string arg)
{
    using (Tracer myTracer = new Tracer(Constants.TraceLog))
    {
        MyResponse abc = new MyResponse();

        // Some code

        return abc;
    }
}

当我运行代码分析时，我收到 CA2000 警告 Microsoft.Reliability

代码是否应该改写为：

public MyResponse MyMethod(string arg)
{
   MyResponse abc = new MyResponse();

   using (Tracer myTracer = new Tracer(Constants.TraceLog))
   {
       // Some code
   }
   return abc;
}

还是没关系？

编辑

报告警告的行是：

MyResponse abc = new MyResponse();

MyResponse 是标准数据集。

完整的错误信息是：

警告 150 CA2000：Microsoft.Reliability：在方法“xxxxx(Guid, Guid)”中，对象“MyResponse”并未沿所有异常路径进行处理。在对对象“MyResponse”的所有引用超出范围之前调用 System.IDisposable.Dispose。

Answer 1

不，没关系。

using 语句隐式生成的用于处理处置的finally 块将执行，无论您将return 放在何处。

您确定 CA2000 与 myTracer 而不是 abc 相关吗？我猜想警告正在发生，因为MyResponse 实现了IDisposable，并且您在返回之前没有处理abc。 （无论哪种方式，您建议的重写应该对警告没有影响。）

Answer 2

您的重写不会修复 CA2000 警告，因为问题不是 Tracer 对象，而是 MyResponse 对象。
The documentation 声明：

以下是 using 语句不足以保护 IDisposable 对象并可能导致 CA2000 发生的一些情况。
返回一次性对象需要在 using 块之外的 try/finally 块中构造该对象。

要修复警告without messing with the stack trace of your exceptions（

public MyResponse MyMethod(string arg)
{
   MyResponse tmpResponse = null;
   MyResponse response = null;
   try
   {
       tmpResponse = new MyResponse();

       using (Tracer myTracer = new Tracer(Constants.TraceLog))
       {
           // Some code
       }

       response = tmpResponse;
       tmpResponse = null;
    }
    finally
    {
        if(tmpResponse != null)
            tmpResponse .Dispose();
    }
    return response;
}

为什么？请参阅链接文档中的示例。

Answer 3

警告可能是关于MyResponse，也就是IDisposable。

为什么会出现警告？

如果构造了一个MyResponse 对象，但该方法后面的代码导致抛出异常，则对该对象的所有引用都将丢失（我们只有一个，并没有设法返回它）。这意味着不能再对对象调用Dispose，我们将依赖类终结器来清理任何资源。

重要吗？

一般来说，只有在以下情况下才重要：

• IDisposable 封装了程序的其他部分或其他进程可能“很快”需要的资源
• 方法返回前抛出异常，触发“问题”
• 终结器没有尽快释放该资源，或由于某种原因，终结器永远不会运行，但您的应用程序不会关闭

所以不，这应该不重要。

如何解决？

public MyResponse MyMethod(string arg)
{
    MyResponse abc = null;
    try {
        abc = new MyResponse();
        using (Tracer myTracer = new Tracer(Constants.TraceLog))
        {
            // Some code
           return abc;
        }
    }
    catch {
        if (abc != null) {
            abc.Dispose();
        }

        throw;
    }
}

这可确保如果控件通过异常退出方法，abc 要么是 null，要么已被正确处理。

更新

事实证明，当使用这种处理方式时，从 MyMethod 内部显式抛出的异常将被重新抛出，并且第一个堆栈帧的行号会更改为指向 @987654331 @ 声明。

实际上，这意味着如果您在 MyResponse 内有多个 throw 语句，并且它们以相同的消息抛出相同类型的异常，那么当您捕获时，您将无法准确判断是哪个 throw 负责例外。

恕我直言，这是一个纯粹的学术问题，但为了完整起见，我提到它。

Answer 4

这并不重要。但是，与@Aliostad 不同，我认为在using 块之外使用return 的版本2 更好。

我的理由是这样的：

using 块表示“打开”和“关闭”的东西。这是一种廉价交易。关闭using 块表示我们已经完成了我们的工作，现在可以安全地继续处理其他内容，例如returning。

Answer 5

这个警告很可能与“单一出口点”的原则有关。这里讨论：http://c2.com/cgi/wiki?SingleFunctionExitPoint