�vDTLinux联盟
vDTLinux联盟#if 0vDTLinux联盟
vDTLinux联盟
在上一篇文章的最后提到了一个相对来说通用一点的LOOP循环，下面还是将上一篇文vDTLinux联盟
章中的LOOP循环代码复制如下：vDTLinux联盟
vDTLinux联盟
#endifvDTLinux联盟
#ifdef CODE1vDTLinux联盟
#include vDTLinux联盟
template void print()vDTLinux联盟
{//这里的n是编译期的结果，可以用来定义数组的vDTLinux联盟
int a[n+1];//这么做是为了证明n是编译期常量vDTLinux联盟
std::cout << sizeof(a)/sizeof(int)-1 << " " ;vDTLinux联盟
}vDTLinux联盟
template struct LOOPvDTLinux联盟
{vDTLinux联盟
static void execute(){LOOP::execute();print();}vDTLinux联盟
};vDTLinux联盟
template <>struct LOOP<0>//循环终止条件vDTLinux联盟
{vDTLinux联盟
static void execute(){print<0>();}vDTLinux联盟
};vDTLinux联盟
int main()vDTLinux联盟
{vDTLinux联盟
LOOP<5>::execute();vDTLinux联盟
return 0;vDTLinux联盟
}vDTLinux联盟
#endif//CODE1vDTLinux联盟
////////////////////////////////////////////////////////////////////////////////vDTLinux联盟
//程序运行结果如下所示:vDTLinux联盟
/*************************************vDTLinux联盟
0 1 2 3 4 5 vDTLinux联盟
********************************/vDTLinux联盟
////////////////////////////////////////////////////////////////////////////////vDTLinux联盟
#if 0vDTLinux联盟
vDTLinux联盟
现在所需要考虑的问题是怎么将上面的print模板函数书写得更通用些，因为每定义一个vDTLinux联盟
新的print函数就需要重新书写两个LOOP模板，为了避免这种重复代码得书写，在此很容易想vDTLinux联盟
到的是将这个print模板函数作为模板参数传递，好了让我们开始新的尝试吧。具体得示例代vDTLinux联盟
码如下所示：vDTLinux联盟
vDTLinux联盟
#endifvDTLinux联盟
#ifdef CODE2vDTLinux联盟
#include vDTLinux联盟
//下面的两个模板就比CODE1里面的LOOP模板通用多了vDTLinux联盟
template class Function,size_t i> struct LOOPvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{vDTLinux联盟
LOOP::execute();vDTLinux联盟
Function::execute();vDTLinux联盟
}vDTLinux联盟
};vDTLinux联盟
template class Function> struct LOOPvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{vDTLinux联盟
Function<0>::execute();vDTLinux联盟
}vDTLinux联盟
};vDTLinux联盟
//为了模板化必须将原来的输出函数做成一个模板结构体vDTLinux联盟
template struct FunctionvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{//这里的n是编译期的结果，可以用来定义数组的vDTLinux联盟
int a[n+1];//这么做是为了证明n是编译期常量vDTLinux联盟
std::cout << sizeof(a)/sizeof(int)-1 << " " ;vDTLinux联盟
}vDTLinux联盟
};vDTLinux联盟
//下面是测试代码vDTLinux联盟
int main()vDTLinux联盟
{vDTLinux联盟
LOOP::execute();vDTLinux联盟
return 0;vDTLinux联盟
}vDTLinux联盟
#endif//CODE2vDTLinux联盟
////////////////////////////////////////////////////////////////////////////////vDTLinux联盟
//程序运行结果如下所示:vDTLinux联盟
/******************************************vDTLinux联盟
0 1 2 3 4 5 vDTLinux联盟
********************************************/vDTLinux联盟
////////////////////////////////////////////////////////////////////////////////vDTLinux联盟
#if 0vDTLinux联盟
vDTLinux联盟
从CODE2的代码中可以看出，CODE2中的LOOP循环将CODE1中的print模板函数模板参数vDTLinux联盟
化之后就使得CODE2中的LOOP更通用一些了，在使用的时候仅仅只是需要按照Function的规vDTLinux联盟
范写一个模板结构就可以了，不必再书写重复结构的LOOP了，从而精简了使用时需要编写vDTLinux联盟
的代码量。但是我们注意到结果并不复合STL的前闭后开的习惯，我们也不能很容易的理解vDTLinux联盟
测试代码main函数中的LOOP的意义了，为了避免使用中的错误必须规定好它vDTLinux联盟
的明确的意义：vDTLinux联盟
vDTLinux联盟
(1)从0到n循环执行Function，并且是前闭后开的习惯vDTLinux联盟
vDTLinux联盟
(2)将Function执行n次，每次的整型参数从0递增1vDTLinux联盟
vDTLinux联盟
为了使CODE2中的LOOP循环表达的是这两个意义，必须对CODE2中的LOOP循环进行改写vDTLinux联盟
改写候的代码如下所示：vDTLinux联盟
vDTLinux联盟
#endifvDTLinux联盟
#ifdef CODE3vDTLinux联盟
#include vDTLinux联盟
//下面的两个模板就比CODE1里面的LOOP模板通用多了vDTLinux联盟
template class Function,size_t i> struct LOOPvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{vDTLinux联盟
LOOP::execute();vDTLinux联盟
Function::execute();vDTLinux联盟
}vDTLinux联盟
};vDTLinux联盟
template class Function> struct LOOPvDTLinux联盟
{vDTLinux联盟
static void execute(){}vDTLinux联盟
};vDTLinux联盟
//为了模板化必须将原来的输出函数做成一个模板结构体vDTLinux联盟
template struct FunctionvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{//这里的n是编译期的结果，可以用来定义数组的vDTLinux联盟
int a[n+1];//这么做是为了证明n是编译期常量vDTLinux联盟
std::cout << sizeof(a)/sizeof(int)-1 << " " ;vDTLinux联盟
}vDTLinux联盟
};vDTLinux联盟
//下面是测试代码vDTLinux联盟
int main()vDTLinux联盟
{vDTLinux联盟
//下面的这行代码可以按照上面的两种意义直观的理解为：vDTLinux联盟
//(1)从0到5循环执行Function，范围[0,5)vDTLinux联盟
//(2)将Function执行5次，每次的整型参数从0递增1vDTLinux联盟
LOOP::execute();vDTLinux联盟
return 0;vDTLinux联盟
}vDTLinux联盟
#endif//CODE3vDTLinux联盟
////////////////////////////////////////////////////////////////////////////////vDTLinux联盟
//程序运行结果如下所示:vDTLinux联盟
/******************************************vDTLinux联盟
0 1 2 3 4 vDTLinux联盟
*******************************************/vDTLinux联盟
////////////////////////////////////////////////////////////////////////////////vDTLinux联盟
#if 0vDTLinux联盟
vDTLinux联盟
从CODE3的运行结果来看确实满足了我们所需要表达的明确的意义，因此代码理解起来vDTLinux联盟
就非常直观了。vDTLinux联盟
vDTLinux联盟
从CODE3的代码中我们还是发现LOOP的起始参数固定为0，这一点实际上也是可以进一vDTLinux联盟
步改进的。下面我们就来看看如何使得起始模板参数也可以指定的，见代码CODE4：vDTLinux联盟
vDTLinux联盟
#endifvDTLinux联盟
#ifdef CODE4vDTLinux联盟
#include vDTLinux联盟
//加入一个外覆层来传递额外的模板参数vDTLinux联盟
template class Function,size_t start,size_t finish>vDTLinux联盟
struct LOOPvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{vDTLinux联盟
LOOP_BODY::execute();vDTLinux联盟
}vDTLinux联盟
private:vDTLinux联盟
//引入了一个布尔型的模板参数用来确定循环的终止条件vDTLinux联盟
template struct LOOP_BODYvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{vDTLinux联盟
LOOP_BODYstart)>::execute();vDTLinux联盟
Function::execute();vDTLinux联盟
}vDTLinux联盟
};vDTLinux联盟
//循环的终止语句，停止递归以结束循环vDTLinux联盟
template struct LOOP_BODYvDTLinux联盟
{vDTLinux联盟
static void execute(){}vDTLinux联盟
};vDTLinux联盟
};vDTLinux联盟
//为了模板化必须将原来的输出函数做成一个模板结构体vDTLinux联盟
template struct FunctionvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{//这里的n是编译期的结果，可以用来定义数组的vDTLinux联盟
int a[n+1];//这么做是为了证明n是编译期常量vDTLinux联盟
std::cout << sizeof(a)/sizeof(int)-1 << " " ;vDTLinux联盟
}vDTLinux联盟
};vDTLinux联盟
//下面是测试代码vDTLinux联盟
int main()vDTLinux联盟
{vDTLinux联盟
//下面的这行代码可以直观的理解为：vDTLinux联盟
//(1)从1到5循环执行Function�
|
