C++11 “overloaded lambda” with variadic template and variable capture

by

Overload resolution works only for functions that exist in a common scope. This means that the second implementation fails to find the second overload because you don’t import function call operators from overload<Frest...> into overload<F0, Frest...>.

However, a non-capturing lambda type defines a conversion operator to a function pointer with the same signature as the lambda’s function call operator. This conversion operator can be found by name lookup, and this is what gets invoked when you remove the capturing part.

The correct implementation, that works for both capturing and non-capturing lambdas, and that always calls operator() instead of a conversion operator, should look as follows:

template <class... Fs>
struct overload;

template <class F0, class... Frest>
struct overload<F0, Frest...> : F0, overload<Frest...>
{
    overload(F0 f0, Frest... rest) : F0(f0), overload<Frest...>(rest...) {}

    using F0::operator();
    using overload<Frest...>::operator();
};

template <class F0>
struct overload<F0> : F0
{
    overload(F0 f0) : F0(f0) {}

    using F0::operator();
};

template <class... Fs>
auto make_overload(Fs... fs)
{
    return overload<Fs...>(fs...);
}

DEMO

In c++17, with class template argument deduction and pack expansion of using declarations in place, the above implementation can be simplified to:

template <typename... Ts> 
struct overload : Ts... { using Ts::operator()...; };

template <typename... Ts>
overload(Ts...) -> overload<Ts...>;

DEMO 2

More Related Contents:

  1. How to make generic computations over heterogeneous argument packs of a variadic template function?
  2. Generating one class member per variadic template argument
  3. Declaring lambda with int type not working [closed]
  4. Passing capturing lambda as function pointer
  5. What is the type of lambda when deduced with “auto” in C++11?
  6. How is std::function implemented?
  7. How to call a function on all variadic template args?
  8. Bind Vs Lambda?
  9. How do I get the argument types of a function pointer in a variadic template class?
  10. Checking a member exists, possibly in a base class, C++11 version
  11. Calling a function for each variadic template argument and an array
  12. Check at Compile-Time if Template Argument is void
  13. How to store variadic template arguments?
  14. Parameter pack must be at the end of the parameter list… When and why?
  15. Can lambda functions be templated?
  16. c++ lambdas how to capture variadic parameter pack from the upper scope
  17. Lambda capture as const reference?
  18. Lifetime of lambda objects in relation to function pointer conversion
  19. Variadic templates
  20. Check traits for all variadic template arguments
  21. How can I expand call to variadic template base classes?
  22. Why can’t I capture this by-reference (‘&this’) in lambda?
  23. How to immediately invoke a C++ lambda?
  24. How do static variables in lambda function objects work?
  25. Lambdas and capture by reference local variables : Accessing after the scope
  26. how to avoid undefined execution order for the constructors when using std::make_tuple
  27. How can I pass a C++ lambda to a C-callback that expects a function pointer and a context?
  28. Specializing a template on a lambda in C++0x
  29. Can using a lambda in header files violate the ODR?
  30. When can we omit the return type in a C++11 lambda?

Leave a Comment