Recursive lambda functions in C++11

by

Think about the difference between the auto version and the fully specified type version. The auto keyword infers its type from whatever it’s initialized with, but what you’re initializing it with needs to know what its type is (in this case, the lambda closure needs to know the types it’s capturing). Something of a chicken-and-egg problem.

On the other hand, a fully specified function object’s type doesn’t need to “know” anything about what is being assigned to it, and so the lambda’s closure can likewise be fully informed about the types its capturing.

Consider this slight modification of your code and it may make more sense:

std::function<int(int,int)> sum;
sum = [term,next,&sum](int a, int b)->int {
if(a>b)
    return 0;
else
    return term(a) + sum(next(a),b);
};

Obviously, this wouldn’t work with auto. Recursive lambda functions work perfectly well (at least they do in MSVC, where I have experience with them), it’s just that they aren’t really compatible with type inference.

More Related Contents:

  1. Declaring lambda with int type not working [closed]
  2. C++ lambda with captures as a function pointer
  3. Move capture in lambda
  4. Passing capturing lambda as function pointer
  5. Why does C++11’s lambda require “mutable” keyword for capture-by-value, by default?
  6. How is std::function implemented?
  7. Why can lambdas be better optimized by the compiler than plain functions?
  8. Bind Vs Lambda?
  9. C++0x lambda capture by value always const?
  10. C++11 lambda implementation and memory model
  11. Why are lambda expressions not allowed in an unevaluated operands but allowed in the unevaluated portions of constant expressions?
  12. Can lambda functions be templated?
  13. Error: variable “cannot be implicitly captured because no default capture mode has been specified”
  14. Lambda capture and parameter with same name – who shadows the other? (clang vs gcc)
  15. why do lambda functions in c++11 not have function types?
  16. Why can’t I create a vector of lambdas (of the same type) in C++11?
  17. Why can’t I capture this by-reference (‘&this’) in lambda?
  18. Lambda expressions as class template parameters
  19. How to immediately invoke a C++ lambda?
  20. Do c++11 lambdas capture variables they don’t use?
  21. How do static variables in lambda function objects work?
  22. Lambdas and capture by reference local variables : Accessing after the scope
  23. Passing a lambda into a function template
  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. In lambda functions syntax, what purpose does a ‘capture list’ serve?
  27. Lambdas and std::function
  28. Can using a lambda in header files violate the ODR?
  29. Can the ‘type’ of a lambda expression be expressed?
  30. When can we omit the return type in a C++11 lambda?

Leave a Comment