为什么收益率回报不能出现在带有捕获的try块内？

没关系：

try
{
    Console.WriteLine("Before");

    yield return 1;

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

该finally块在整个事情完成执行后运行（即使在枚举完成之前就放弃了枚举，也IEnumerator<T>支持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);
}

假设（出于参数考虑）WriteLinetry块中的一个或其他调用引发了异常。继续执行catch块有什么问题？

当然，收益率返回部分（当前）无法抛出任何东西，但是为什么那应该阻止我们封闭try/ catch处理在a之前或之后抛出的异常yield return呢？

更新：这里有来自Eric Lippert的有趣评论 -似乎他们已经有足够的问题才能正确实现try / finally行为！

编辑：关于此错误的MSDN页面是：http : //msdn.microsoft.com/zh-cn/library/cs1x15az.aspx。但是，它没有解释原因。

我怀疑这是实际问题，而不是可行性问题。我怀疑很少有这种限制实际上是无法解决的问题-但是编译器中增加的复杂性将非常重要。

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

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

在每种情况下，都有可能获得更多的自由度，但代价是编译器的额外复杂性。团队做出了务实的选择，对此我表示赞赏-我宁愿使用一种限制性更强的语言，其编译器的准确度为99.9％（是的，有错误；第二天我碰到了一个）灵活的语言，无法正确编译。

编辑：这是为什么可行的一种伪证明。

考虑到：

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

现在转换：

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块-但这确实是编译器可以做的。

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

yield迭代器定义中的所有语句都将转换为状态机中的状态，该状态机有效地使用switch语句来推进状态。如果它确实为yieldtry / catch中的语句生成了代码，则必须为每个语句复制该块中的所有内容，同时排除该块的所有其他语句。这并非总是可能的，特别是如果一个语句依赖于较早的一条。try yieldyieldyield

我推测，由于当您从枚举器中获得收益时，调用堆栈会被缠绕/解绕，因此try / catch块实际上无法“捕获”异常。（因为yield return块不在堆栈中，即使他是迭代块的发起者）

要获得我正在谈论的想法，请设置迭代器块和使用该迭代器的foreach。检查在foreach块内的调用堆栈是什么样子，然后在迭代器try / finally块内检查它。

我接受了INVINCIBLE SKEET的回答，直到Microsoft有人来为这个主意倒水。但是我不同意问题部分-当然，正确的编译器比完整的编译器更为重要，但是C＃编译器已经非常聪明地为我们整理了这种转换。在这种情况下，完整性的提高将使语言更易于使用，教授，解释，同时减少边缘情况或麻烦。因此，我认为值得付出额外的努力。雷德蒙德（Redmond）的几个人在两周内挠头，结果，在接下来的十年中，数百万的编码人员可以再放松一点。

（我也怀着一种强烈的愿望，希望有一种方法可以yield return通过驱动迭代的代码“从外部”将已引发的异常抛出到状态机中。但是我想要这样做的原因却很晦涩。）

实际上，关于乔恩的答案，我有一个疑问是与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");

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