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