Peculiar overload resolution with while (true)

by

So to start with, the first expression can only possibly call the first overload. It is not a valid expression for a Func<Task> because there is a code path that returns an invalid value (void instead of Task).

() => while(true) is actually a valid method for either signature. (It, along with implementations such as () => throw new Expression(); are valid bodies of methods that return any possible type, including void, an interesting point of trivia, and why auto generated methods from an IDE typically just throw an exception; it’ll compile regardless of the signature of the method.) A method that loops infinitely is a method in which there are no code paths that don’t return the correct value (and that’s true whether the “correct value” is void, Task, or literally anything else). This is of course because it never returns a value, and it does so in a way that the compiler can prove. (If it did so in a way that the compiler couldn’t prove, as it hasn’t solved the halting problem after all, then we’d be in the same boat as A.)

So, for our infinite loop, which is better, given that both overload are applicable. This brings us to our betterness section of the C# specs.

If we go to section 7.4.3.3, bullet 4, we see:

If E is an anonymous function, T1 and T2 are delegate types or expression tree types with identical parameter lists, and an inferred return type X exists for E in the context of that parameter list (ยง7.4.2.11):

[…]

if T1 has a return type Y, and T2 is void returning, then C1 is the better conversion.

So when converting from an anonymous delegate, which is what we’re doing, it will prefer the conversion that returns a value over one that is void, so it chooses Func<Task>.

More Related Contents:

  1. lambda expression to sort on min values in a group
  2. How does the method overload resolution system decide which method to call when a null value is passed?
  3. delegate keyword vs. lambda notation
  4. converting a .net Func to a .net Expression
  5. Can I specify my explicit type comparator inline?
  6. Lambda variable capture in loop – what happens here? [duplicate]
  7. Wrapping StopWatch timing with a delegate or lambda?
  8. Weak event handler model for use with lambdas
  9. method overloading vs optional parameter in C# 4.0 [duplicate]
  10. How do I create an expression tree to represent ‘String.Contains(“term”)’ in C#?
  11. Expression.Lambda and query generation at runtime, simplest “Where” example
  12. How do I pronounce “=>” as used in lambda expressions in .Net [closed]
  13. What is the Efficiency and Performance of LINQ and Lambda Expression in .Net?
  14. How to convert an expression tree to a partial SQL query?
  15. Why method overloading is not allowed in WCF?
  16. Entity Framework – Cannot convert lambda expression to type ‘string’ because it is not a delegate type
  17. Expression of type ‘System.Int32’ cannot be used for return type ‘System.Object’
  18. LINQ – Query syntax vs method chains & lambda [closed]
  19. How to unsubscribe from an event which uses a lambda expression?
  20. Task.Factory.StartNew with async lambda and Task.WaitAll
  21. Why do some C# lambda expressions compile to static methods?
  22. What does “DisplayClass” name mean when calling lambda?
  23. Max return value if empty query
  24. Group by with multiple columns using lambda
  25. Method overload resolution unexpected behavior
  26. Expression for Type members results in different Expressions (MemberExpression, UnaryExpression)
  27. Getting names of local variables (and parameters) at run-time through lambda expressions
  28. Get the property name used in a Lambda Expression in .NET 3.5
  29. Large Object Heap Fragmentation
  30. How to initialize a List to a given size (as opposed to capacity)?

Leave a Comment