9 May
2006
9 May
'06
11:10 p.m.
David Abrahams wrote:
One happy day, we'll have auto and decltype...
Until then, we have no reasonable way to declare the type of bind expressions. So I got to thinking, maybe something like this could be made to work:
result_of<bind_(std::minus<int>, int, _1_)>::type f = bind(std::minus<int>(), 3, _1);
For lambda, I guess we could do something like this:
result_of<minus_(int, _1_)>::type f = 3 - _1;
Does this direction make sense?
Looks doable to me. But for more complex expressions, the result_of will be rather knotty because the prefix syntax will require some thinking to extract from the infix syntax of the actual lambda expression. Regards, -- Joel de Guzman http://www.boost-consulting.com http://spirit.sf.net