I had a perception that, type of a lambda is a function pointer. When I performed following test, I found it to be wrong (demo).
#define LAMBDA [] (int i) -> long { return 0; } int main () { long (*pFptr)(int) = LAMBDA; // ok auto pAuto = LAMBDA; // ok assert(typeid(pFptr) == typeid(pAuto)); // assertion fails ! } Is above code missing any point? If not then, what is the typeof a lambda expression when deduced with auto keyword ?
The type of a lambda expression is unspecified.
But they are generally mere syntactic sugar for functors. A lambda is translated directly into a functor. Anything inside the [] are turned into constructor parameters and members of the functor object, and the parameters inside () are turned into parameters for the functor's operator().
A lambda which captures no variables (nothing inside the []'s) can be converted into a function pointer (MSVC2010 doesn't support this, if that's your compiler, but this conversion is part of the standard).
But the actual type of the lambda isn't a function pointer. It's some unspecified functor type.
operator() basically stackoverflow.com/questions/356950/c-functors-and-their-usesIt is a unique unnamed structure that overloads the function call operator. Every instance of a lambda introduces a new type.
In the special case of a non-capturing lambda, the structure in addition has an implicit conversion to a function pointer.
type_info::name() is implementation-defined, so it may return anything. In practice, the compiler will name the type for the sake of the linker.
[C++11: 5.1.2/3]:The type of the lambda-expression (which is also the type of the closure object) is a unique, unnamed non-union class type — called the closure type — whose properties are described below. This class type is not an aggregate (8.5.1). The closure type is declared in the smallest block scope, class scope, or namespace scope that contains the corresponding lambda-expression. [..]
The clause goes on to list varying properties of this type. Here are some highlights:
[C++11: 5.1.2/5]:The closure type for a lambda-expression has a publicinlinefunction call operator (13.5.4) whose parameters and return type are described by the lambda-expression’s parameter-declaration-clause and trailing-return-type respectively. [..]
[C++11: 5.1.2/6]:The closure type for a lambda-expression with no lambda-capture has a public non-virtual non-explicit const conversion function to pointer to function having the same parameter and return types as the closure type’s function call operator. The value returned by this conversion function shall be the address of a function that, when invoked, has the same effect as invoking the closure type’s function call operator.
The consequence of this final passage is that, if you used a conversion, you would be able to assign LAMBDA to pFptr.
#include <iostream> #include <typeinfo> #define LAMBDA [] (int i)->long { return 0l; } int main () { long (*pFptr)(int) = LAMBDA; // ok auto pAuto = LAMBDA; // ok std::cout<<typeid( *pAuto ).name() << std::endl; std::cout<<typeid( *pFptr ).name() << std::endl; std::cout<<typeid( pAuto ).name() << std::endl; std::cout<<typeid( pFptr ).name() << std::endl; } The function types are indeed same, but the lambda introduces new type (like a functor).
__PRETTY_FUNCTION__, as in template<class T> const char* pretty(T && t) { return __PRETTY_FUNCTION__; }, and strip off the extra if it starts to get crowded. I prefer to see the steps shown in template substitution. If you're missing __PRETTY_FUNCTION__, there are alternatives for MSVC, etc., but the results are always compiler-dependent for the same reason CXXABI is necessary.It should also note that lambda is convertible to function pointer. However typeid<> returns a non-trvial object which should differ from lambda to generic function pointer. So the test for typeid<> is not a valid assumption. In general C++11 do not want us to worry about type specification, all that matter if a given type is convertible to a target type.
To further improve jalf's answer
A lambda which captures no variables (nothing inside the []'s) can be converted into a function pointer
for example:
typedef int (*Foo)(int a); auto bar = [](int a){ return a; }; int tmp = 1; auto bar2 = [tmp](int a){ return a+tmp; }; Foo foo = bar; // this is ok Foo foo2 = bar2; // this gives C/C++(413) This is a detailed explanation about Gabriel's answer:
The Lambda function can be stored in a variable with type function<OutType<InType...>> as long as the header "functional" is included.
#include <iostream> #include <functional> // <- Required here. using namespace std; void put_until_bound(int start, int bound, int dx) { function<bool(int)> margin; // The value ``margin'' will be determined by the if branches... if (dx > 0) //Then we'll need an upper bound... margin = [bound] (int n) { return n >= bound; }; else if (dx < 0) // Then we'll need a lower bound... margin = [bound] (int n) { return n <= bound; }; else // By default bound is everywhere... margin = [] (int n) { return true; }; for (int x = start; ! margin(x); x += dx) cout<<x<<", "; cout<<endl; } // ... // Inside the main function: put_until_bound(10, 64, 8); // => 10, 18, 26, 34, 42, 50, 58, put_until_bound(10, -5, -2); // => 10, 8, 6, 4, 2, 0, -2, -4, You should use the latest g++ with the compile command as follows:
g++ -O3 -o outfile -std=c++2a -fconcepts filename.cxx && ./outfile A practical solution from How can I store a boost::bind object as a class member?, try boost::function<void(int)> or std::function<void(int)>.
This might work:
If you truly insist in defining a datatype other then auto for your lambda variable then I would recommend the following
Step 1: Typedef a function pointer
typedef void(*FuncPointerType)(); Note the empty parentheses, this will need to be the same as the arguments later of your lambda. Now create a function pointer as you would normaly do.
void (**MyFunction)() = new FuncPointerType([](){}); Note that the you will have to go and manually delete the pointer as it is created on the heap
Finally call the function pointer, it can be called one of 2 ways:
(*(*MyFunction))(); OR
(*MyFunction)(); Note the importance that it should be returend for a function pointer pointer to just a function pointer.
