When can we omit the return type in a C++11 lambda?

by

Your code is being accepted without any warnings because the original C++11 restriction is considered a defect in the standard, which allows implementations to fix the behavior. See CWG DR975, DR1048 and N3638.

975. Restrictions on return type deduction for lambdas

[Moved to DR status at the April, 2013 meeting as part of paper N3638.]

There does not appear to be any technical difficulty that would require the current restriction that the return type of a lambda can be deduced only if the body of the lambda consists of a single return statement. In particular, multiple return statements could be permitted if they all return the same type.

1048. auto deduction and lambda return type deduction.

…

Notes from the November, 2014 meeting:

CWG agreed that the change embodied in paper N3638 should be considered to have been a DR against C++11.

In summary, DR975 proposed modifying the rules for return type deduction for lambda expressions to allow multiple return statements.

DR1048 identifies a discrepancy where the rules for deducing the return type for normal functions using the placeholder type auto differs slightly from the rules proposed in DR975. Specifically, return type deduction for normal functions would discard top-level cv-qualifiers in all cases, where as those for lambda expressions would preserve cv-qualifiers for class types.

N3638 resolves this issue, amongst others.

I doubt there’s any way to revert to the original behavior short of finding a compiler version that shipped with C++11 lambda support prior to the implementation of the DR above.

More Related Contents:

  1. Declaring lambda with int type not working [closed]
  2. What is a lambda expression in C++11?
  3. Is it possible to figure out the parameter type and return type of a lambda?
  4. C++11 does not deduce type when std::function or lambda functions are involved
  5. Recursive lambda functions in C++11
  6. What is the type of lambda when deduced with “auto” in C++11?
  7. How to convert a lambda to an std::function using templates
  8. How is std::function implemented?
  9. Resolving ambiguous overload on function pointer and std::function for a lambda using + (unary plus)
  10. Capturing a reference by reference in a C++11 lambda
  11. Why does auto x{3} deduce an initializer_list?
  12. Using member variable in lambda capture list inside a member function
  13. Capturing perfectly-forwarded variable in lambda
  14. Inferring the call signature of a lambda or arbitrary callable for “make_function”
  15. I cannot pass lambda as std::function
  16. Lambda capture as const reference?
  17. Function returning a lambda expression
  18. Lifetime of lambda objects in relation to function pointer conversion
  19. std::remove_if – lambda, not removing anything from the collection
  20. Can lambda functions be recursive? [duplicate]
  21. What is the lifetime of a C++ lambda expression?
  22. Lambda functions as base classes
  23. Are lambdas inlined like functions in C++?
  24. How can I pass a C++ lambda to a C-callback that expects a function pointer and a context?
  25. Specializing a template on a lambda in C++0x
  26. C++11 Change `auto` Lambda to a different Lambda?
  27. how to specify vc11 lambda calling convention
  28. Can using a lambda in header files violate the ODR?
  29. Can the ‘type’ of a lambda expression be expressed?
  30. Using Boost adaptors with C++11 lambdas

Leave a Comment