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.
