C++11 does not deduce type when std::function or lambda functions are involved

by

The issue is on the nature of lambdas. They are function objects with a fixed set of properties according to the standard, but they are not a function. The standard determines that lambdas can be converted into std::function<> with the exact types of arguments and, if they have no state, function pointers.

But that does not mean that a lambda is a std::function nor a function pointer. They are unique types implementing operator().

Type deduction, on the other hand, will only deduce exact types, with no conversions (other than const/volatile qualifications). Because the lambda is not a std::function the compiler cannot deduce the type in the call: filter(mySet,[](int i) { return i%2==0; }); to be any std::function<> instantiation.

As of the other examples, in the first one you convert the lambda to the function type, and then pass that. The compiler can deduce the type there, as in the third example where the std::function is an rvalue (temporary) of the same type.

If you provide the instantiating type int to the template, second working example, deduction does not come into play the compiler will use the type and then convert the lambda to the appropriate type.

More Related Contents:

  1. How to convert a lambda to an std::function using templates
  2. Can lambda functions be templated?
  3. Lambda expressions as class template parameters
  4. Passing a lambda into a function template
  5. Specializing a template on a lambda in C++0x
  6. Lambdas and std::function
  7. Check if a class has a member function of a given signature
  8. std::enable_if to conditionally compile a member function
  9. A positive lambda: ‘+[]{}’ – What sorcery is this? [duplicate]
  10. How to capture a unique_ptr into a lambda expression?
  11. What is the partial ordering procedure in template deduction
  12. Is constexpr supported with lambda functions / expressions?
  13. The simplest and neatest c++11 ScopeGuard
  14. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  15. Why are lambda expressions not allowed in an unevaluated operands but allowed in the unevaluated portions of constant expressions?
  16. Capturing perfectly-forwarded variable in lambda
  17. What does this variadic template code do?
  18. SFINAE works differently in cases of type and non-type template parameters
  19. Function returning a lambda expression
  20. C++11 “overloaded lambda” with variadic template and variable capture
  21. Is there a compiler bug exposed by my implementation of an is_complete type trait?
  22. Can lambda functions be recursive? [duplicate]
  23. Returning a void?
  24. Are lambdas inlined like functions in C++?
  25. how to specify vc11 lambda calling convention
  26. Partial specialization of function templates
  27. Dynamic dispatching of template functions?
  28. Proper way to receive a lambda as parameter by reference
  29. When to use functors over lambdas
  30. Why can’t C++11 move a noncopyable functor to a std::function?

Leave a Comment