27 Apr
2007
27 Apr
'07
9:30 p.m.
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.