[boost] bind/lambda/phoenix and result_of

From: David Abrahams (dave_at_[hidden])
Date: 2006-05-09 10:53:48

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?

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com