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

Subject: Re: [boost] [Review] Boost.Type Traits Extension by Frederic Bron
From: Frédéric Bron (frederic.bron_at_[hidden])
Date: 2011-03-18 02:11:01

> 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<const T&>::value is false.

This also is false: has_operator_plus_equal<const int, int>::value

So you should use the types you want to pass to the operator, with cv
and reference/pointer qualifiers.

Frédéric