接着上一篇的话题
序列
一说到序列,我们很容易想到STL中的容器vector
。相对于数组,C++程序员显然更喜欢vector
,这不仅是因为vector
可以动态的扩展容器的空间,更是因为STL为它提供了一系列使用算法,比如插入、查找等等。事实上,关于STL序列的设计思路放在C++模板元编程中也同样适用。要知道,Boost.MPL中的大多数算法都是操作于序列之上的,它能够发挥模板元编程更大潜力,也正因如此序列对于模板元编程才如此的重要。
当然,相对于STL的vector
使用于运行期,模板元编程的序列必须是在编译阶段就能够存储数据的,所以我们能够使用的也只有类模板,例如:
template <class... Args> |
seq
是一个最简单的序列,但千万别小瞧了它,因为它能够容纳任意多个元素。而实现这一能力的关键是C++11标准中引入的可变模板参数的特性,所以这里seq
真正存储数据的是模板参数,比如:
using integer_list = seq<int, short, char>; |
在上面的代码中,类模板实参<int, short, char>
为序列seq
的保存元素。好了,现在我们已经有了一个最基本的序列,接下来还需要准备一些配合序列的算法。继续对比STL的vector
,最常用的vector
算法应该是成员函数push_back
,那么我们也来给seq
实现一个编译阶段的seq_push_back
元函数。这听起来似乎有些难度,不过事实上在可变模板形参的基础上实现push_back
算法是很容易的:
template <class S, class T> |
在上面的代码中,首先声明了一个元函数seq_push_back
,它有两个形参分别为S
和T
,其中S
表示序列,而T
代表即将插入的元素。接着代码偏特化了一个seq_push_back
,该版本对S
为seq
的情况定义了元函数的具体实现。请注意这里的实现细节,因为后文中很多算法的实现都基于这个思路。在这个版本中引入了可变形参class... Args
,并且将其运用于特化的参数中struct seq_push_back<seq<Args...>, T>
,这样就可以利用编译器推导出Args
的具体实参。最终通过Args
定义新的seq
类型以达到push_back
算法的目的:using type = seq<Args..., T>;
。值得注意的是,元函数seq_push_back
并没有提供通用版本的实现,所以当模板实参S
不是seq
类型的时候编译将无法正确进行。
选择结构
在C++模板元编程中代码的选择结构是由元函数实现的。这一点比较容易理解,毕竟类模板的特化正好适合来做这件事,例如:
template <bool C, class T, class F> |
上面的代码实现了两个版本的if_
元函数,其中通用版本无条件的返回模板形参T
,而针对模板形参C
为false
的偏特化版本返回的则是模板形参F
。这样一来元函数就可以根据模板形参C
的具体值返回不同的类型,例如:
if_<false, int, double>::type double_value; |
作为模板元编程中编写选择结构的常用技巧,STL也实现了一份类似的代码,不过在STL中元函数的函数名为conditional
,除此以外基本上没有差异包括调用方式:
std::conditional<true, int, double>::type |
请注意,无论是上面的if_
还是std::conditional
都存在一个问题,那就是将数值和类型计算混合了。我们希望能有一个只有类型计算的if_
版本。想达到这个目的需要用到编写plus
元函数时的同一个技巧,即创建一个布尔值和类型之前的桥梁:
template <bool C> |
在上面的代码中,我们将数值和类型进行了转换,数值true
和false
分别转换为了类型true_type
和false_type
。于此同步的,if_
也需要进行一些修改:
template <bool C, class T, class F> |
在上面的代码中存在两个选择元函数if_c
和if_
,其中if_c
的实现和上一个版本的if_
一样,通过布尔值C
来确定返回的类型。相对的,当前版本的if_
元函数的第一个参数C
是类型而非是布尔值,进一步来说这个类型C
必须是一个带有常量静态数据成员value
的类型。元函数if_
会通过!!C::value
的方法将数值转换成布尔值,最终调用if_c
返回目标类型。
由于元函数if_
的形参发生了改变,其调用方法也需要做相应的调整:
if_<false_type, int, double>::type double_value; |
“if_
是改写好了,但是我到目前为止并没有发现这样大动干戈改写的任何好处呀?”相信很多读者会有这样的疑问。这很好,不过现在还不是解释这个问题的最佳时机,请先相信这样的修改一定会带来某种优势吧。
循环结构
与选择结构不同,循环结构没有惯用元函数的具体实现。一般来说,模板元编程中的循环都是根据实际需要来实现的。不过好在它们的实现都有固定的方法和模式,所以总体而言并不算难。让我们先看一个例子:
template <int... Args> |
在上面的代码中,元函数sum
有3个版本,其中通用版本的
template <int... Args> |
只有声明却没提供实现,而真正的实现是由它的两个特化版本来完成的。首先struct sum<N, Args...>
是一个通过递归完成循环的元函数,它的返回值是第一个形参N
与使用剩余形参调用的sum
的返回值之和,这样理所当然的形成了一个循环结构。请注意,在普通的C++编程中,我们经常会用到无限循环,但是在模板元编程中无限循环不具有任何意义,毕竟谁也不想自己的程序永远无法通过编译。事实上也真不会发生这样的事情,因为编译器最终会由于递归过多而停止编译并报错。所以在元编程的循环结构中,我们需要为其准备一个有效的结束条件。在本例中,这个结束条件就是struct sum<N>
,它定义当sum
的形参只剩下一个时递归结束,直接返回形参N
,至此整个递归开始折返。
调用元函数sum
:
auto val = sum<1, 2, 3, 4>::value; |
这句代码在编译器中的计算顺序相当于:
auto val = 1 + (2 + (3 + (4))); |
也正是递归操作的顺序。
以上是一个数值计算的求和元函数,按照惯例我们实际期望的是类型计算元函数。接下来我们可以利用之前介绍的plus
元函数来实现一个类型计算的求和元函数:
template <class... Args> |
可以看到在上面的代码中关于数值计算的痕迹都被抹去,元函数的调用方式也发生了略微的变化。但是不变的是实现循环结构的方法。在代码中using type = typename plus<N, typename sum<Args...>::type>::type;
虽然冗长但还算清晰,很明显type
的结果依赖元函数plus
计算的结果,而plus
的计算结果又依赖于sum
的第一个形参与剩余形参调用sum
的计算结果,这样就形成了递归,除多了一步plus
的调用以外其他过程基本上和上一个版本一致。另外,同样一致的还有递归的结束条件,struct sum<N>
与上一个版本唯一的区别是返回类型本身而不是返回数值。
根据以上两个例子我们可以总结出模板元编程循环结构的两个关键点:更新形参递归并调用元函数本身以及定义有效的结束条件。让我们带上这两个关键点来看下一个例子,这个例子结合了上文提到的序列和选择结构,实际上循环和选择正是序列相关算法的关键,在真实的模板元编程代码中它们是最好的搭档。
template <class T> |
在上面的代码中,元函数seq_is_all_reference
的作用是判断序列seq
中的元素是否全都是引用类型,如果都是引用类型就返回true_type
,否则返回false_type
。在实现上seq_is_all_reference
相对复杂一些,因为代码中循环和选择发生了互相嵌套的情况。seq_is_all_reference<seq<T, Args...>>
首先判断第一个参数T
是否为引用类型,并将结果cond
作为实参调用元函数if_
。接下来if_
判断cond
的结果,如果结果为std::true_type
则进入递归流程seq_is_all_reference<seq<Args...>
,目的是判断后续的参数是否为引用类型。如果cond
的结果是std::false_type
,那么循环终止并返回false_type
。请注意,这里cond
是std::is_reference<T>
返回的结果,所以结果类型是std::true_type
或者std::false_type
,而seq_is_all_reference
是我们自己的元函数,其返回结果是true_type
或者false_type
。另外,读者可能也发现了,在seq_is_all_reference
的循环结束条件并非只有一个。比较明显的是seq_is_all_reference<seq<T>>
,它定义当形参只剩一个的情况下元函数返回cond
的结果。除此之外,seq_is_all_reference<seq<Args...>
还隐含了一个结束条件,就是当cond
为std::false_type
时递归中断并返回结果。
using test_seq1 = seq<int&, double, short&>; |
以上代码演示了对seq_is_all_reference
的使用方法。其中序列test_seq1
中由于double
不是引用类型的关系,所以返回结果是false_type
。而序列test_seq2
中的所有元素都是引用类型于是返回了true_type
。来看一个更加实际的例子:
template <class... Args> |
上面的代码定义了一个特别的类模板,它要求模板参数必须都是引用类型。它在定义中加上了static_assert(seq_is_all_reference<seq<Args...>>::type::value);
以检查调用者是否正确实例化了类模板。在编译的过程中,编译器发现obj2
的类型some_class_need_ref<int&, double>
的模板参数并不是规定中的引用类型,于是static_assert
被触发导致编译失败。
到目前为止,我们已经了解了C++模板元编程中元函数和序列的基本概念和使用方法。另外我们还看到了用元函数来控制选择和循环等代码流程的方法,之后我们将选择和循环结合在一起完成了一个判断序列中的所有元素是否为引用类型的元函数示例。可以说我们现在已经有办法独立编写一些模板元程序了。接下来的文章将会更进一步,我们将会接触到更为复杂的元程序,在那里我们会一起实现一个轻量级C++模板元编程库——YAMPL。