Re: [boost] [Review] Boost.Type Traits Extension by Frederic Bron

Subject: Re: [boost] [Review] Boost.Type Traits Extension by Frederic Bron
From: Vicente Botet (vicente.botet_at_[hidden])
Date: 2011-03-18 04:39:36

Frédéric Bron wrote:
> 
>> has_operator_xxx comes with a built in type qualifier abstraction,
>> which means that it does never make sense to use type qualifiers with
>> has_operator_xxx<...>::value meta expressions?
> 
> it still does.
> 
> Another example:
> T operator+(T&);
> has_operator_unary_plus::value is false.
> 
> This also is false: has_operator_plus_equal::value
> 
> So you should use the types you want to pass to the operator, with cv
> and reference/pointer qualifiers.
> 
> 

Hi,

I suspect this need much more clarification than some examples in the
documentation.
Please could you try to specify the semantics in a formal way?

Thanks,
Vicente 

--
View this message in context: http://boost.2283326.n4.nabble.com/Review-Boost-Type-Traits-Extension-by-Frederic-Bron-tp3353283p3386605.html
Sent from the Boost - Dev mailing list archive at Nabble.com.