C++11：type_traits (2) Composite type categories

• std::is_fundamental : 判断一个类型是否是一个基础类型，基础类型为算术类型, void, 或者nullptr_t。
  可能的实现为：

template< class T >
struct is_fundamental
  : std::integral_constant<
        bool,
        std::is_arithmetic::value ||
        std::is_void::value  ||
        std::is_same::type>::value
> {};

当T为算数类型，void或者nullptr_t时，且这些类型可以带有const和volatile的修饰符，value的值为true，否则为false。
代码示例如下：

class A {};

EXPECT_FALSE(std::is_fundamental::value);
EXPECT_TRUE(std::is_fundamental::value);
EXPECT_FALSE(std::is_fundamental::value);
EXPECT_FALSE(std::is_fundamental::value);
EXPECT_TRUE(std::is_fundamental::value);
EXPECT_FALSE(std::is_fundamental::value);
EXPECT_FALSE(std::is_fundamental::value);

• std::is_arithmetic : 判断一个类型是否为算数类型。算数类型包括整型和浮点型(可加const和volatile修饰)。
  可能的实现为：

template< class T >
struct is_arithmetic : std::integral_constant::value ||
                                              std::is_floating_point::value> {};

当T为算数类型时，value的值为true，否则为false。
代码示例如下：

class A {};

EXPECT_FALSE(std::is_arithmetic::value);
EXPECT_TRUE(std::is_arithmetic::value);
EXPECT_TRUE(std::is_arithmetic::value);
EXPECT_TRUE(std::is_arithmetic::value);
EXPECT_FALSE(std::is_arithmetic::value);
EXPECT_FALSE(std::is_arithmetic::value);
EXPECT_TRUE(std::is_arithmetic::value);
EXPECT_TRUE(std::is_arithmetic::value);
EXPECT_FALSE(std::is_arithmetic::value);
EXPECT_FALSE(std::is_arithmetic::value);
EXPECT_TRUE(std::is_arithmetic::value);
EXPECT_TRUE(std::is_arithmetic::value);
EXPECT_FALSE(std::is_arithmetic::value);
EXPECT_FALSE(std::is_arithmetic::value);

• std::is_scalar : 判断一个类型是否为scaler 类型（标量类型）。scalar type : 可能时带有const和volatile修饰的算数类型，指针，指向数据成员的指针，枚举，或者std::nullptr_t。
  可能的实现为：

template< class T >
struct is_scalar : std::integral_constant::value     ||
                     std::is_enum::value           ||
                     std::is_pointer::value        ||
                     std::is_member_pointer::value ||
                     std::is_null_pointer::value> {};

当T为标量类型时，value的值为true，否则为false。

class cls {};
EXPECT_TRUE(std::is_scalar::value);
EXPECT_FALSE(std::is_scalar::value);

• std::is_object : 判断一个类型是否为对象类型。对象类型是几个类型的统称，即标量类型，数组，联合或者类类型。
  可能的实现为：

template< class T>
struct is_object : std::integral_constant::value ||
                     std::is_array::value  ||
                     std::is_union::value  ||
                     std::is_class::value> {};

代码示例如下：

class cls {};

EXPECT_TRUE(std::is_object::value);
EXPECT_FALSE(std::is_object::value);
EXPECT_TRUE(std::is_object::value);
EXPECT_FALSE(std::is_object::value);

• std::is_compound：判断一个类型是否为组合类型。组合类型为可能被const和volatile修饰的数组，函数，对象指针，函数指针，成员对象指针，成员函数指针，引用，类，联合或者枚举。
  可能的实现：

template< class T >
struct is_compound : std::integral_constant::value> {};

代码示例如下：

class cls {};
EXPECT_TRUE(std::is_compound::value);
EXPECT_FALSE(std::is_compound::value);

• std::is_reference :判断一个类型是否为左值引用或者右值引用。
  可能的实现：

template  struct is_reference : std::false_type {};
template  struct is_reference: std::true_type{};
template  struct is_reference : std::true_type {};

代码示例如下：

class A {};

EXPECT_FALSE(std::is_reference::value);
EXPECT_TRUE(std::is_reference::value);
EXPECT_TRUE(std::is_reference::value);
EXPECT_FALSE(std::is_reference::value);
EXPECT_TRUE(std::is_reference::value);
EXPECT_TRUE(std::is_reference::value);

• std::is_member_pointer : 判断一个类型是否为非静态成员函数或者对象
  可能的实现：

template< class T >
struct is_member_pointer_helper : std::false_type{};


template< class T, class U >
struct is_member_pointer_helper : std::true_type{};

template< class T >
struct is_member_pointer : 
    is_member_pointer_helper::type> {};

代码示例如下：

class cls {};
EXPECT_TRUE(std::is_member_pointer::value);
EXPECT_FALSE(std::is_member_pointer::value);

（未完待续）