Dlaczego yield return nie może pojawić się wewnątrz bloku próbnego z haczykiem?

Wszystkie polecenia yield w definicji iteratora są konwertowane do stanu w maszynie stanowej, która efektywnie używa instrukcji switch do zaawansowania Stanów. Jeśli wygeneruje kod dla yield poleceń w try/catch, będzie musiał zduplikować wszystko w bloku try dla każdego yield Instrukcja wyłączając każde inne yield polecenie dla tego bloku. Nie zawsze jest to możliwe, szczególnie jeśli jedno yield jest zależne od wcześniejszego.

Spekulowałbym, że ze względu na sposób, w jaki stos wywołań jest nawijany/rozwijany, gdy zwracasz z enumeratora, niemożliwe staje się, aby blok try/catch faktycznie "złapał" wyjątek. (ponieważ blok powrotu wydajności nie znajduje się na stosie, mimo że był on inicjatorem bloku iteracji)

Aby dowiedzieć się, o czym mówię, skonfiguruj blok iteratora i foreach używając tego iteratora. Sprawdź jak wygląda stos wywołań wewnątrz bloku foreach, a następnie sprawdź wewnątrz iteratora try / finally block.

Zaakceptowałem odpowiedź niezwyciężonego SKEETA, dopóki nie pojawi się ktoś z Microsoftu, by wylać zimną wodę na pomysł. Ale nie zgadzam się z kwestią opinii-oczywiście poprawny kompilator jest ważniejszy niż kompletny, ale kompilator C# jest już bardzo sprytny w uporządkowaniu tej transformacji dla nas tak dalece, jak to robi. Nieco więcej kompletności w tym przypadku sprawiłoby, że język byłby łatwiejszy w użyciu, nauczaniu, wyjaśnianiu, z mniejszą liczbą przypadków krawędziowych lub gotchas. Więc myślę, że tak. warto się postarać. Kilku facetów w Redmond drapie się po głowach przez dwa tygodnie, a w rezultacie miliony programistów w ciągu następnej dekady mogą się trochę zrelaksować.

(mam również nikczemne pragnienie, aby był sposób, aby yield return rzucić wyjątek, który został wepchnięty do maszyny państwowej "z zewnątrz", przez kod napędzający iterację. Ale moje powody, by tego chcieć, są dość niejasne.)

Właściwie jedno pytanie, które mam na temat odpowiedzi Jona, dotyczy wydajności return expression throwing.

Oczywiście yield return 10 nie jest taki zły. Ale to by było złe:

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

Więc nie byłoby sensu oceniać tego wewnątrz poprzedzającego bloku 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;

Następnym problemem będą zagnieżdżone bloki try/catch i powtórzone wyjątki:

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");