This is the mail archive of the libstdc++@gcc.gnu.org mailing list for the libstdc++ project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: functional and type_traits cleanup


Hi,

On 04/06/2013 10:43 PM, Jonathan Wakely wrote:
My response was more like a
general comment: My apprehension is that I after these changes not all
predicate type traits do satisfy the Library requirement anymore that
they still derive from std::integral_constant. But I have not checked
that individually.
They should all do, because the types that used to define a 'value'
member all now define a 'type' as a typedef for either true_type or
false_type.
When I saw the patch I had the same concern, but indeed the nice simplification seems worth the less transparent conformance.

Personally, I would be much less nervous if for <type_traits> too we could have typedef checks for each and every trait (like we do for the <tr1/type_traits>). By the way, we should also check that the value_type operator is there...

Thanks!
Paolo.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]