Re: [boost] Bind comparisons

David Abrahams wrote:

Howard Hinnant <hinnant@twcny.rr.com> writes:

...

Once you have:

_1 > _2

then

_1 > literal

will pretty much come in for free (I think).

And if you construct the types of _1 and bind(...) smartly, you get all the operators on placeholders for free, too. As in MPL, _N would be a bind_t specialization that returns its Nth argument.

Both _1 > _2 and _1 > literal can be free for a TR1 bind where operator< is SFINAE'd on is_placeholder<L> || is_bind_expression<L> || is_placeholder<R> || is_bind_expression<R>. There isn't any need to limit the types of _1 or bind(...).