In C#, why can’t an anonymous method contain a yield statement?

by

Eric Lippert recently wrote a series of blog posts about why yield is not allowed in some cases.

EDIT2:

  • Part 7 (this one was posted later and specifically addresses this question)

You will probably find the answer there…

EDIT1: this is explained in the comments of Part 5, in Eric’s answer to Abhijeet Patel’s comment:

Q :

Eric,

Can you also provide some insight into
why “yields” are not allowed inside an
anonymous method or lambda expression

A :

Good question. I would love to have
anonymous iterator blocks. It would be
totally awesome to be able to build
yourself a little sequence generator
in-place that closed over local
variables. The reason why not is
straightforward: the benefits don’t
outweigh the costs. The awesomeness of
making sequence generators in-place is
actually pretty small in the grand
scheme of things and nominal methods
do the job well enough in most
scenarios. So the benefits are not
that compelling.

The costs are large. Iterator
rewriting is the most complicated
transformation in the compiler, and
anonymous method rewriting is the
second most complicated. Anonymous
methods can be inside other anonymous
methods, and anonymous methods can be
inside iterator blocks. Therefore,
what we do is first we rewrite all
anonymous methods so that they become
methods of a closure class. This is
the second-last thing the compiler
does before emitting IL for a method.
Once that step is done, the iterator
rewriter can assume that there are no
anonymous methods in the iterator
block; they’ve all be rewritten
already. Therefore the iterator
rewriter can just concentrate on
rewriting the iterator, without
worrying that there might be an
unrealized anonymous method in there.

Also, iterator blocks never “nest”,
unlike anonymous methods. The iterator
rewriter can assume that all iterator
blocks are “top level”.

If anonymous methods are allowed to
contain iterator blocks, then both
those assumptions go out the window.
You can have an iterator block that
contains an anonymous method that
contains an anonymous method that
contains an iterator block that
contains an anonymous method, and…
yuck. Now we have to write a rewriting
pass that can handle nested iterator
blocks and nested anonymous methods at
the same time, merging our two most
complicated algorithms into one far
more complicated algorithm. It would
be really hard to design, implement,
and test. We are smart enough to do
so, I’m sure. We’ve got a smart team
here. But we don’t want to take on
that large burden for a “nice to have
but not necessary” feature. — Eric

More Related Contents:

  1. Return all enumerables with yield return at once; without looping through
  2. When NOT to use yield (return) [duplicate]
  3. Is there a reason for C#’s reuse of the variable in a foreach?
  4. What is the yield keyword used for in C#?
  5. Unsubscribe anonymous method in C#
  6. delegate keyword vs. lambda notation
  7. IEnumerable and Recursion using yield return
  8. How do I Unregister ‘anonymous’ event handler [duplicate]
  9. Proper use of ‘yield return’
  10. Anonymous method in Invoke call
  11. Why can’t yield return appear inside a try block with a catch?
  12. yield statement implementation
  13. What does “yield break;” do in C#?
  14. Adding and Removing Anonymous Event Handler
  15. yield return statement inside a using() { } block Disposes before executing
  16. Performance of nested yield in a tree
  17. Why can I not edit a method that contains an anonymous method in the debugger?
  18. Some help understanding “yield”
  19. Why can’t c# use inline anonymous lambdas or delegates? [duplicate]
  20. Using IEnumerable without foreach loop
  21. implementing a state machine using the “yield” keyword
  22. Discrete Anonymous methods sharing a class?
  23. WWW/UnityWebRequest POST/GET request won’t return the latest data from server/url
  24. Declaring Func dynamically
  25. C# Singleton Form pattern, how to run 2 and more forms? [closed]
  26. ProcessStartInfo hanging on “WaitForExit”? Why?
  27. System.UnauthorizedAccessException: Retrieving the COM class factory for Word Interop fails with error 80070005
  28. ExecuteNonQuery doesn’t return results
  29. How can I show a tooltip on a disabled button?
  30. Error occurred while decoding OAEP padding

Leave a Comment