C++模板元编程
作者:网络转载 发布时间:[ 2017/2/13 10:01:58 ] 推荐标签:C++ 测试开发技术
原理:模板元程序由编译器在编译期解释执行,利用模板特化机制实现编译期条件选择结构,利用递归模板实现编译期循环结构。模板元编程(metaprogramming)意思是,编程系统将会执行我们所写的代码,来生成新的代码,而这些新代码才真正实现了我们所期望的功能。元编程大的特点在于:某些用户自定义的计算可以在编译期进行,二者通常能够在性能和接口简单性方面带来好处。
1. 利用模板特化机制实现编译期条件选择结构
首先了解一下类模板的特化。类模板特化是指将模板参数指定为某一种类型,你必须在起始处声明一个template<>,接下来声明用来特化模板的类型。这个类型被用作模板实参,且必须在类名后面直接指定:
template<typename T>
class StackSpecialize
{
T m_member;
};
template<>
class StackSpecialize<std::string>
{
std::string m_member;
};
了解了特化之后,可以看一下如下求斐波那契数列的元编程代码:
#include "stdafx.h"
#include <iostream>
using namespace std;
// 主模板
template<int N>
struct Fib
{
enum {Result = Fib<N-1>::Result + Fib<N-2>::Result};
};
// 特化模板必须在主模板之后
// 完全特化版,处理N=1的情况
template<>
struct Fib<1>
{
enum {Result = 1};
};
// 完全特化版,处理N=0的情况
template<>
struct Fib<0>
{
enum {Result = 0};
};
int _tmain(int argc, _TCHAR* argv[])
{
int i = Fib<500>::Result;
std::cout<<i<<std::endl;
return 0;
}
上述程序编译时,会进行递归实例化,为了计算Fib<500>的enum Result的值,会实例化Fib<499>和Fib<498>,如此递归下去。程序中给出了当N=1和N=0的情况,程序实例化到Fib<1>和Fib<0>时,完全特化版被实例化,递归结束。模板实例化通常要消耗巨大的编译器资源,C++标准建议多只进行17层递归实例化,上述程序VS下可以正常编译,但VS多支持500次,501次即报错:Error 1 error C1202: recursive type or function dependency context too complex。
上述数列在计算时使用的是模板的特化机制实现条件选择结构,还有比如在求大值的函数中,使用(表达式A?表达式B:表达式C)来实现分支选择,像这种?:符号,编译器在实例化时,不仅实例化表达式B分支,表达式C分支也会实例化。这样造成的一个问题是递归次数的增加,但VS和gcc递归的次数是有限的,所以必须限制实例化数量,使其不至过于庞大。typedef是一个解决方法,为一个类模板定义一个typedef并不会导致C++编译器实例化该实例的实体。
// 基础模板:根据第1个实参,来确定是使用第2个实参,还是第3个实参
template<bool C, typename Ta, typename Tb>
class IfThenElse;
// 局部特化
template<typename Ta, typename Tb>
class IfThenElse<true, Ta, Tb> {
public:
typedef Ta ResultT;
};
// 局部特化
template<typename Ta, typename Tb>
class IfThenElse<false, Ta, Tb>
{
public:
typedef Tb ResultT;
};
2. 利用递归模板实现编译期循环结构
以两个向量的点乘为例,比较直观的解决的解决方法当然是维度为循环次数,依次相加相乘。使用元编程编写基本模板后,再编写作为结束条件的局部特化版本,可以使用元编程实现循环结构了。
元编程的意义不只是编译期的数值计算,因为元编程的输入的数据必须是已知的,如果程序运行时输入的数据动态变化,那么元编程无能为力了。问题在于,如果不是纯数值计算,输入的数据都是未知的。元编程还可以用来进行代码生成,编译期断言,类型计算等。Qt用到代码生成,它将源代码交给标准编译器之前,需要事先将使用 moc (Meta-Object Compiler,“元对象编译器”)分析 C++ 源文件。如果它发现在一个头文件中包含了宏 Q_OBJECT,则会生成另外一个 C++ 源文件。这个源文件中包含了 Q_OBJECT 宏的实现代码。这个新的文件名字将会是原文件名前面加上 moc_ 构成。这个新的文件同样将进入编译系统,终被链接到二进制代码中去。
相关推荐
更新发布
功能测试和接口测试的区别
2023/3/23 14:23:39如何写好测试用例文档
2023/3/22 16:17:39常用的选择回归测试的方式有哪些?
2022/6/14 16:14:27测试流程中需要重点把关几个过程?
2021/10/18 15:37:44性能测试的七种方法
2021/9/17 15:19:29全链路压测优化思路
2021/9/14 15:42:25性能测试流程浅谈
2021/5/28 17:25:47常见的APP性能测试指标
2021/5/8 17:01:11