Re: [boost] review request: addition to type_traits library of is_less_comparable<T, U> and others

Subject: Re: [boost] review request: addition to type_traits library of is_less_comparable<T, U> and others
From: Jeffrey Bosboom (jbosboom_at_[hidden])
Date: 2009-12-08 07:06:54

David Abrahams wrote:
> On Dec 8, 2009, at 6:28 AM, Frédéric Bron wrote:
>> I prefer void because it is shorter but this could make people think
>> it will check for operator return void... which is not the case; so
>> maybe the long version boost::type_traits::any_return is better.
> 
> By that rationale shouldn't we also require the 3rd parameter to be wrapped in is_convertible_to<...> so people don't think it's requiring a return type of exactly R (e.g. bool)?

Would this also allow a user to override this behavior when they want to 
ensure an exact type match?

--Jeffrey Bosboom