Re: [boost] Giving names to formal parameters of lambda expressions: a named placeholder trick.

From: shunsuke (pstade.mb_at_[hidden])
Date: 2008-04-02 12:01:46

Giovanni Piero Deretta wrote:
>>  BTW, everything must be function-call to support result_of.
> 
> What do you mean exactly with "everything must be function call?".

result_of<T_lambda(T1)>::type r = lambda(t1); // ok, result_of compatible.
??? r = lambda[t1];

Yet another trait(something like result_of_bracket_op) would be needed.
I don't like it.

>>  I tend to hesitate to use result_of/return_of without function-calls.
> 
> Again, what do you mean exactly? And why do you esistate? I'm
> evaluating egg design, so these answers would be very valuable.

E.g.
   result_of<F(T1)>::type s;

result_of is a trait which extracts return type of function-calls,
but s is default-constructed without function-calls.

Regards,

-- 
Shunsuke Sogame