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
>> _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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk