为什么yield return 不能出现在带有catch 的try 块内？

Question

下面的情况是可以的：

try
{
    Console.WriteLine("Before");

    yield return 1;

    Console.WriteLine("After");
}
finally
{
    Console.WriteLine("Done");
}

finally 块在整个事情完成执行时运行（IEnumerator 支持 IDisposable 以提供一种方法来确保即使枚举在完成之前被放弃也是如此）。

但这是不行的：

try
{
    Console.WriteLine("Before");

    yield return 1;  // error CS1626: Cannot yield a value in the body of a try block with a catch clause

    Console.WriteLine("After");
}
catch (Exception e)
{
    Console.WriteLine(e.Message);
}

假设（为了论证）try 块内的一个或另一个 WriteLine 调用引发了异常。 在catch块中继续执行有什么问题？

当然，yield 返回部分（当前）无法抛出任何内容，但是为什么这会阻止我们使用封闭的 try/catch 来处理之前抛出的异常或在收益回报之后？

更新：有一个Eric Lippert 的有趣评论 - 似乎他们在正确实现 try/finally 行为方面已经遇到了足够多的问题！

编辑：有关此错误的 MSDN 页面为： http://msdn.microsoft.com /en-us/library/cs1x15az.aspx。 但它没有解释为什么。

Answer 1

我怀疑这是一个实用性问题而不是可行性问题。 我怀疑在非常非常少的情况下，这个限制实际上是一个无法解决的问题 - 但编译器中增加的复杂性将非常显着。

我已经遇到过一些类似的事情：

• 属性不能是通用
• 的 X 无法从 XY（X 中的嵌套类）
• 派生 迭代器块使用生成的类中的公共字段

在每种情况下有可能获得更多的自由，但代价是编译器的额外复杂性。 该团队做出了务实的选择，对此我为他们鼓掌 - 我宁愿使用一种稍微严格一些的语言，并且具有 99.9% 准确的编译器（是的，存在错误；前几天我在 SO 上遇到了一个），而不是更多无法正确编译的灵活语言。

编辑：这是一个伪证明，说明它为何可行。

考虑一下：

• 您可以确保yield返回部分本身不会抛出异常（预先计算值，然后您只需设置一个字段并返回“true”）
• 您可以尝试/捕获，但不会抛出异常在迭代器块中使用yield return。
• 迭代器块中的所有局部变量都是生成类型中的实例变量，因此您可以自由地将代码移动到新方法

现在将：转换

try
{
    Console.WriteLine("a");
    yield return 10;
    Console.WriteLine("b");
}
catch (Something e)
{
    Console.WriteLine("Catch block");
}
Console.WriteLine("Post");

为（某种伪代码）：

case just_before_try_state:
    try
    {
        Console.WriteLine("a");
    }
    catch (Something e)
    {
        CatchBlock();
        goto case post;
    }
    __current = 10;
    return true;

case just_after_yield_return:
    try
    {
        Console.WriteLine("b");
    }
    catch (Something e)
    {
        CatchBlock();
    }
    goto case post;

case post;
    Console.WriteLine("Post");


void CatchBlock()
{
    Console.WriteLine("Catch block");
}

唯一的重复是设置 try/catch 块 - 但这就是编译器当然可以做的事情。

我可能在这里错过了一些东西 - 如果是这样，请告诉我！

Answer 2

迭代器定义中的所有 yield 语句都会转换为状态机中的状态，该状态机有效地使用 switch 语句来推进状态。 如果它确实在try/catch中为yield语句生成代码，那么它必须复制try中的所有内容 每个 yield 语句的块，同时排除该块的所有其他 yield 语句。 这并不总是可行，特别是当一个 yield 语句依赖于前一个语句时。

Answer 3

我已经接受了无敌飞碟的答案，直到微软的人来给这个想法泼冷水。 但我不同意意见问题部分 - 当然，一个正确的编译器比一个完整的编译器更重要，但 C# 编译器已经非常聪明地为我们解决了这种转换问题。 在这种情况下，多一点完整性将使该语言更易于使用、教学、解释，并减少边缘情况或陷阱。 所以我认为额外的努力是值得的。 雷德蒙德的几个人摸索了两周的时间，结果在接下来的十年里数百万程序员可以放松一点。

（我还怀有一种肮脏的愿望，希望有一种方法可以让 yield return 抛出一个异常，该异常已通过驱动迭代的代码“从外部”填充到状态机中。但是我的想要这个的原因相当模糊。）

实际上，我对乔恩的答案的一个疑问是与yield返回表达式抛出有关。

显然，yield return 10 并没有那么糟糕。 但这会很糟糕：

yield return File.ReadAllText("c:\\missing.txt").Length;

所以在前面的 try/catch 块内评估它不是更有意义吗：

case just_before_try_state:
    try
    {
        Console.WriteLine("a");
        __current = File.ReadAllText("c:\\missing.txt").Length;
    }
    catch (Something e)
    {
        CatchBlock();
        goto case post;
    }
    return true;

下一个问题将是嵌套的 try/catch 块并重新抛出异常：

try
{
    Console.WriteLine("x");

    try
    {
        Console.WriteLine("a");
        yield return 10;
        Console.WriteLine("b");
    }
    catch (Something e)
    {
        Console.WriteLine("y");

        if ((DateTime.Now.Second % 2) == 0)
            throw;
    }
}
catch (Something e)
{
    Console.WriteLine("Catch block");
}
Console.WriteLine("Post");

但我确信这是可能的......

Answer 4

我推测，由于当您从枚举器产生返回时调用堆栈缠绕/展开的方式，try/catch 块不可能实际“捕获”异常。 （因为yield return块不在堆栈上，即使他发起了迭代块）

为了了解我正在谈论的内容，设置一个迭代器块和一个使用该迭代器的foreach。 检查 foreach 块内的调用堆栈是什么样子，然后在迭代器 try/finally 块内检查它。