Table 1: Traits class expression semantics
<B>is_same<A, B>::value</b> <B>true</B> if <B>A</B> and <B>B</B> are the same type. <B>is_base_and_derived<A, B>::value</B> <B>true</B> if <B>A</B> is a base class of <B>B</B>, or if <B>A</B> and <B>B</B> are the same class. <B>is_convertible<A, B>::value</B> <B>true</B> if there is an implicit conversion from type <B>A</B> to type <B>B</B>. <B>is_arithmetic<A>::value</B> <B>true</B> if <B>A</B> is an integral or floating-point type.