当我第一次看《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 overloadedoperator()和 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);
(未完待续)