C++11：type_traits (1) primary type categories

当我第一次看《STL源码剖析》的时候，我就觉得type traits是stl的基础，是一个很有趣，很值得学习的东西。为了使C++成为modern C++，标准委员会在C++ 11 中添加了很多新的内容，type traits是其中非常重要的一部分。
note： 为了方便，代码都写在google test的测试函数中

• std::is_void，判断一个类型是否为void类型
  原型为：

template< class T >
struct is_void;

当T为void，const void，volatile void或者 const volatile void的时候，其静态成员变量value的值为true，否则为false。
代码示例：

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

大家看到这个例子可能会有疑问，int类型是非void类型是显而易见的，为什么还需要std::is_void。例子中只是最简单的一种形式，在实际的开发中，我们为了能够让变量或者类型的名字更加准确，会使用typedef 或者 using 来给他们重命名，这样就很难知道具体类型是什么了。例如

typede void not-direct-void-name;
...
...
//需要知道not-direct-void-name是否是void
if(std::is_void::value)
{
  ...
}
else
{
  ...
}

• std::is_integral 判断一个类型是否是整型
  原型为：

template< class T >
struct is_integral;

当T的类型为为 bool，char，char8_t，char16_t，char32_t，wchar_t，short，int，long，或者long long类型时，value的值为true，其余为false。在类型前边添加修饰前缀signed或者unsigned不影响value的值。

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

• std::is_floating_point 判断一个类型是否时浮点类型
  原型为：

template< class T >
struct is_floating_point;

当T为float，double或者long double的时候，value的值为true，否则为false。
代码示例：

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

• std::is_array 判断一个类型是否为数组类型
  原型为：

template< class T >
struct is_array;

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

class A {};
EXPECT_FALSE(std::is_array::value);
EXPECT_TRUE(std::is_array::value);
EXPECT_TRUE(std::is_array::value);
EXPECT_FALSE(std::is_array::value);
EXPECT_FALSE(std::is_array::value);
EXPECT_TRUE(std::is_array::value);
EXPECT_TRUE(std::is_array::value);

• std::is_enum 判断一个类型是否为枚举类型
  原型为：

template< class T >
struct is_enum;

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

class A {};
enum E {};
enum class Ec : int {};

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

• std::is_union 判断一个类型是否为联合体
  原型为：

template< class T >
struct is_union;

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

struct A {};

typedef union
{
    int a;
    float b;
} B;

struct C
{
    B d;
};

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

• std::is_class判断一个类型是否时非联合的类类型
  原型为：

template< class T >
struct is_class;

当T为类类型（非联合）时，value的值为true，否则为false。
代码示例如下：

struct A {};
class B {};
enum class C {}
EXPECT_TRUE(std::is_class::value);
EXPECT_TRUE(std::is_class::value);
EXPECT_FALSE(std::is_class::value);
EXPECT_FALSE(std::is_class::value);

• std::is_function : 判断一个类型是否为函数类型
  当T 为函数类型的时候，value的值为true，否则为false。需要注意的时std::function，lambdas， classes with overloaded operator() 和 pointers to functions 都不是函数类型.
  代码示例如下：

struct A
{
    int fun() const&;
};

int f();

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

using T = func::PM_traits::member_type; // T is int() const&
EXPECT_TRUE(std::is_function::value);

• std::is_pointer : 判断一个类型是否为指针类型
  原型为：

template< class T >
struct is_pointer;

当T为指向对象或者指向函数的指针类型（但不是指向成员和成员函数）时，value的值为true，否则为false。
代码示例如下：

class A {};

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

• std::is_lvalue_reference : 判断一个类型是否为左值引用
  原型为：

template< class T >
struct is_lvalue_reference;

当T为左值引用类型时，value的值为true，否则为false。
代码示例为：

class A {};

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

• std::std::is_rvalue_reference : 判断一个类型是否为右值引用。
  原型为：

template< class T >
struct is_rvalue_reference;

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

class A {};

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

• std::is_member_object_pointer : 判断是否为指向非静态的数据成员的指针
  原型为：

template< class T >
struct is_member_object_pointer;

当T为指向非静态数据成员的指针类型时，value的值为true，否则为false。
代码示例如下：

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

• std::is_member_function_pointer : 判断是否时一个指向非静态的成员函数的指针类型
  原型为：

template< class T >
struct is_member_function_pointer;

当为指向非静态成员函数的指针类型时，value的值为true，否则为false。
代码示例如下：

class A
{
public:
    void member() { }
};

EXPECT_TRUE(std::is_member_function_pointer::value);

(未完待续)