2 Apr
2008
2 Apr
'08
4:01 p.m.
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