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