模板元程序（八）

2.5 Boost Type Traits 库概览

最终，几乎所有的严肃的模板元程序都需要使用像 Boost 所提供那样的工具，如 Type Traits ，这是如此重要，以至于这个库被C++ 标准委员会接受为第一份“技术报告”([n1424], [n1519]) ，这个“技术报告”在下一个官方标准中将会被加入。对于这个库的完全的参考，可以查看位于 Boost 发布代码中 /lib/type_traits 子目录下的文档，或者查看 http://www.boost.org/libs/type_traits 。

 

2.5.1 一般知识

 

对于这个库，你需要知道的只有几个地方：第一，正如你从 iter_swap 中的例子中所猜出来的，所有库中的元函数都在 boost 名字空间中，有一个简单的方式来包含入其中的定义：

#include <boost/type_traits/ metafunction-name.hpp>

 

第二，正如我们早些时候我们所提示的，所有 Boost 的数值元函数，为了方便，都提供了内嵌的 ::value ，有可能将 bool 值的元函数，如 is_reference 做为了个“数值”看待有点奇怪，但是 C++ 分类上，bool 值是一个整型数据类型，同样的方式也用于所有整型值（integral-valued ）的元函数中。

 

第三，有几个 type traits （如：has_trivial_destructor ）需要非标准的编译器支持才能正确表现。少数几个编译器，一般就是 Metrowerks CodeWarrior 和 SGI MipsPro ，已经实现了必要的原始功能。而其他的编译器，这个 traits 一般都能正确，对于其他的类型则出现优温合而安全的退化。对于“温和”，我们是指即使是 traits 的结果不正确，它也能被编译通过。

为了理解什么是“安全”，你需要知道这些 traits 大多都用来进行某种优化。例如，对于有 trivial destructor （析构函数可有可无）的类型，可以在不销毁这个对象所包含内容的前提下就可以重用。但是，如果你不能确定类型是否有 trivial destructor ，你在重用这个对象之前需要销毁里面的内容。当 has_trivial_destructor<T> 无法确定正确的结果时，它就返回 false ，因此通用版本的代码将被调用，这也会导致类型 T 的析构函数被调用。

 

最后，对于类型分类的元函数，像 is_enum<T> 下面将会讲到，一般都会将 cv-qualified （cv －限定）忽略，因此，is_enum<T const> 总是与 is_enum<T> 有相同的结果。

下面的每个小节都会讨论一组 traits 。

2.5.2 第一类型分类

这些是一些一元元函数，用来确定在C++ 标准描述的哪一个基础类型会应用到他们的参数。例如参数类型 T ，有且只有一个这样的元函数产生真值（true ）。

 

有九个这样的 traits ，都是我们所熟悉的。对于 is_void<T>, is_pointer<T>, is_reference<T>, is_array<T>, 和 is_enum<T> 则没有要多说的，他们的结果正如其名字所期望的那样，is_integral<T> 则用判断类型T 是否是 char,bool ，以及其他各种有符号及元符号的整数类型。同样的，is_float<T> 则是来判断浮点数类型 float 、double 和 long double 。不幸的是，如果没有编译器支持，is_union<T> 总是返回 false 。因此，is_class<T> 无论对于 class 还是 union 都返回真。[8]

 

[8] 类类型也可以用 struct 关键字来声明，但是根据 C++ 标准，它依然是一个类类型。实际上，下面的两个声明是可以互换的。

 

class X;

struct X; // 声明了同样的 X

 

struct 只与 class 在定义上有差别，对于 struct 使得基类型及成员默认的情况下都是公开的。

 

有两个类型，程序员可能很少碰到，指定成员函数的指针有下面的形式：

R (C::*)(args...) cv

而指定成员则像下面这样：

D C::*

这两种情况下，is_member_pointer<T> 都返回真。注意，对于这些类型is_pointer 不会返回真，尽管他们都称为指针。

R (args...)

最后是 is_function<T> ，则是用来断定如下的函数形式：

R (args...)

 

R (*) (args...) or R (&) (args...)

很多的人都没有看到这种无经修饰的函数类型，因为函数取名的方式，如果没有立刻调用，就会自动地以指针或者引用的方式进行参考：

R (*) (args...) or R (&) (args...)

Table 2.1 列举了第一类型的 type traits.

Table 2.1. 第一类型分类
Primary Trait	::type::value and ::value
is_array<T>	true 当且仅当 T 是一个数组类型。
is_class<T>	true 当且仅当 T 是一个类类型; 没有编译器支持的情况下，对于 unions 可也能返回 true 。
is_enum<T>	true 当且仅当 T 是一个枚举类型。
is_float<T>	true 当且仅当 T 是一个浮点数类型。
is_function<T>	true 当且仅当 T 是一个函数类型。
is_integral<T>	true 当且仅当 T 是一个整数类型。
is_member_pointer<T>	true 当且仅当 T 是一个指定成员函数或者成员的指针类型。
is_pointer<T>	true 当且仅当 T 是一个指针类型 ( 但不是指定成员的指针) 。
is_reference<T>	true 当且仅当 T 是一个引用类型。
is_union<T>	true 当且仅当 T 是一个 union; 没有编译器支持，则总是返回 false 。
is_void<T>	true 当且仅当 T 是 cv void 形式。

 

2.5.3 第二类型分类

在 Table 2.2 中是对第一种类型分类非常有用的另一种分组

Table 2.2. 第二类型分类
Secondary Trait	::type::value and ::value
is_arithmetic<T>	is_integral<T>::value || is_float<T>::value
is_compound<T>	!is_fundamental<T>::value
is_fundamental<T>	is_arithmetic<T>::value || is_void<T>::value
is_member_function_pointer<T>	true 当且仅当 T 指向成员函数的指针。
is_object<T>	!(is_function<T>::value || is_reference<T>::value || is_void<T>::value)
is_scalar<T>	is_arithmetic<T>::value || is_enum<T>::value || is_pointer<T>::value || is_member_pointer<T>::value

 

2.5.4 类型特征

type traits 库使用“特征（properties ）” 这个术语做为一个总括的术语，并不与标准类型分类相关。在这一组中最简单的 traits 就是 is_const 和 is_volatile ，这个用来确定他们的参数是不是 cv-qualificaion 。剩下的类型都在表 Tables 2.3 和 2.4 中。

Table 2.3. 类型特征
Type Property	::type::value and ::value
alignment_of<T>	类型 T 在内存中需要的对齐量的正倍数（库试图最小化这个倍数）
is_empty<T>	true 当且仅当 编译器优化了所有空的基类型，并且 T 也是一个空的类型。
is_polymorphic<T>	true 当且仅当 T 是一个至少有一个虚拟成员函数的类类型。

 

Table 2.4. 更多的类型特征
Type Property	::type::value and ::value
has_nothrow_assign<T>	True ，如果 T 有一个 non-throwing 的赋值操作符。
has_nothrow_constructor<T>	true ，如果 T 有一个 non-throwing   的默认构造函数。
has_nothrow_copy<T>	true 如果 T 有一个 non-throwing 的复制构造函数。
has_trivial_assign<T>	true ，如果 T 有一个 trivial assignment operator 。
has_trivial_constructor<T>	true 如果 T 有一个trivial default constructor.
has_trivial_copy<T>	true 如果 T 有一个trivial copy constructor.
is_pod<T>	true 如果 T 是一个 POD 类型。[9]
is_stateless<T>	true ，如果 T 是一个空类型，并且其constructors 和 destructors 都是 trivial 的。

 

  [9] POD 表示“plain old data” 。无论你相信与否，这在 C++ 的标准中是一个技术术语。标准给了我们对 POD 类型的多种假设，如 POD 类型定义成，要么是一个标量、POD 类型的数组，或者是在 struct 、union 中无用户定义的构造函数、复制及赋值构造函数，也没有用户自定义的析构函数，没有 private 或者 protected 的静态数据成员，没有基类型，没有非 POD 类型的非静态数据、非引用、非指向成员类型指针的成员。或者也不是这些类型的数据，也没有虚拟函数。

在 Table 2.4 中在进行优化选择时非常有用，如果有编译器的支持，它们将实现得更加精确。

2.5.5 类型间的关系

库中包括了三个非常重要的元函数，用来提示类型之间的关系。我们已经看到过 is_same<T,U> ，他的 ::value 在 T 与 U 是相同类型的情况下返回 true 。is_convertible<T,U> 则当 T 的对象可以隐式转换成类型 U 时返回 true 。最后，is_base_and_derived<B,D>::value 当且仅当 B 是 D 的基类型时为 true 。

2.5.6 类型变换

在 Table 2.5 中所列的元函数执行基本的类型操作。注意，这并不像之前所讨论的元函数，这一组元函数数中的成员产生的是一个类型而不是一个布尔值。你可以让为他们是“类型算术”中的操作符。

Table 2.5. 类型转换
Transformation	::type
remove_const<T>	T 去掉 T 中顶层的 const ，如 const int 变为 int, 而 const int* 将不变.
remove_volatile<T>	去掉 T 中的顶层的volatile ，如volatile int 变化 int 。
remove_cv<T>	去掉 T 中任何顶层中的 cv-qualifiers 。如, const volatile int 变为 int.
remove_reference<T>	去掉 T 中的顶层 reference. 如, int& 变为 int 但是 int* 则不变。
remove_bounds<T>	去掉T 中顶层的数组括号，如 int[2][3] 变为 int[3] 。
remove_pointer<T>	去掉 T 顶层指针，如   int* 变为 int, 但是 int& 则不变
add_reference<T>	如果 T 是一个 reference, 则是 T, 否则是 T&.
add_pointer<T>	remove_reference<T>::type*. 如, int and int& 两个都变成int*.
add_const<T>	T const
add_volatile<T>	T volatile
add_cv<T>	T const volatile

 

到此，你可能奇怪为什么会出现后面三个转换函数。毕竟 add_const<T>::type 仅仅比写 T const 多些代码。实际是它对于在元函数中为了表达哪怕是最简单转换的形式，因此可以传递给其他的函数时非常重要。我们将保证在一下章中向你展示如何做到。