Re: [boost] [bind][tr1] patch for more compliant placeholders

From: Peter Dimov (pdimov_at_[hidden])
Date: 2007-04-27 17:30:45

Daniel Walker wrote:

[...]

> _1 == _2 // ambiguous
> lambda::hold(_1) == _2 // lambda expression
> lambda::release(_1) == _2 // 3rd-party expression

I think that the right thing here (if we take the interoperability issue to 
heart) is to make

    _1 == _2

"just work". It's an interesting challenge, but it's not impossible since 
that is exactly what is_bind_expression is intended to solve.

The next milestone, boost::bind( f, _1 + _2 ), is harder since it requires 
boost::bind to respect specializations of is_bind_expression.