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: Steven Watanabe (watanabesj_at_[hidden])
Date: 2009-12-09 10:30:45

AMDG

Frédéric Bron wrote:
>>>> It is (almost) possible to check the exact return type.
>>>>
>>>> template<class Expected, class Actual>
>>>> boost::is_same<Expected, Actual> test(const Actual&);
>>>>         
>>> Does not work with void return operator:
>>>       
>> Of course it doesn't work as is.  It would have to be
>> added as an additional check after you already know
>> that the return type is non-void.
>>     
>
> But what do we really want? (i) check for convertible to something
> (default bool) or (ii) check for exact return type?
> For sure we need (i). Do we need (ii) and if yes, it would have to be
> another traits?
>   

We probably don't need (ii).  I was just pointing out
that it was /possible/.

In Christ,
Steven Watanabe