Boost logo

Boost :

Subject: Re: [boost] Using C++11 lambdas to replace Phoenix in MPL expressions
From: Michel Morin (mimomorin_at_[hidden])
Date: 2012-03-25 02:13:38

Augustus Saunders wrote:
>>        auto x = [](int i){ std::cout << i << std::endl; };
>>        (*static_cast<decltype(x)*>(0))(5);
> Right, since without a capture, the implicit this pointer passed
> to the operator() of the anonymous class is never dereferenced
> and so just static_casting 0 or null won't actually cause an error.

Unless "Core issue 232" is not resolved,
I think this results in undefined behavior.

>>>Instead, I recommend wrapping lambdas into boost::optional and
>>>constructing with in-place factories:
>>>        auto x = [](int i){ return i * 100; }; // Store type and value in x
>>>        boost::optional<decltype(x)> y; // Get type of x and default construct y
>>>        y = boost::in_place(x); // Get value of x and lazily construct lambda
> I'm not sure I follow here.  Let me make a more concrete example
> and maybe you can fill in the blank:
> template <typename LAMBDA>
> int execute_me(int input)
> {
>      return (*static_cast<LAMBDA*>(0))(input);
> // ok now same thing using optional?
>      boost::optional<LAMBDA> y;
>      return y(input); // ?? obviously not but what?
> }

The approach with boost::optional cannot do this.
In-place factories need a lambda object itself.
So maybe you're not interested in this approach.
(But, please note that we cannot know the type of lambda expression
without actually constructing lambda objects.)


Boost list run by bdawes at, gregod at, cpdaniel at, john at