Re: [boost] Bind comparisons

From: Peter Dimov (pdimov_at_[hidden])
Date: 2005-08-12 15:49:38

David Abrahams wrote:
> Howard Hinnant <hinnant_at_[hidden]> 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(...).