print();vDTLinux联盟
}vDTLinux联盟
return 0;vDTLinux联盟
}vDTLinux联盟
#endif//CODE2vDTLinux联盟
//////////////////////////////////////vDTLinux联盟
//该程序的运行结果如下：vDTLinux联盟
/*****************************************************vDTLinux联盟
A B C vDTLinux联盟
1 2 3 4 vDTLinux联盟
1.1 2.2 3.3 4.4 vDTLinux联盟
A B C vDTLinux联盟
(1.1,0.1) (2.2,0.2) (3.3,0.3) (4.4,0.4) vDTLinux联盟
熊春雷 熊猫 国宝 开心 pandaxcl vDTLinux联盟
************************************************/vDTLinux联盟
////////////////////////////////////////////////////////vDTLinux联盟
vDTLinux联盟
#if 0vDTLinux联盟
vDTLinux联盟
从CODE2中可以看出，自动化的类Class可以根据传递的类型串自动的调整成员变量数vDTLinux联盟
量，同时也会自动调整print成员函数的功能。其中后者是本文所介绍的方法，也是模板元vDTLinux联盟
函数用来进行自动化编程的关键。通过print成员函数的演示，这里你是否有很多的想法呢vDTLinux联盟
？呵呵:)，是啊既然可以让成员函数也能够实现自动化，那么采用C++模板元编写自动化的vDTLinux联盟
类将是一件可行的事情，这就看各位的发挥了。vDTLinux联盟
vDTLinux联盟
抛砖引玉的过程基本上已经完备，接下来就是介绍一下为什么需要自动化编程的背景vDTLinux联盟
了。我们在编写程序代码的时候通常是将各种不同的功能分成一个个的小模块，当一个个vDTLinux联盟
的模块编写好了之后就可以以库的形式提供给客户端使用，同时还需要附带一个非常详细vDTLinux联盟
的文档，用来说明如何使用这个库。通常来说，每一个库的文档都是不同的，都有各自不vDTLinux联盟
同的特殊要求，这就要客户端非常熟悉所使用的库，但是通常来说，库的编写者非常熟悉vDTLinux联盟
自己编写的库，而库的使用者却不熟悉这个库。在这里介绍的自动化编程就是将这种矛盾vDTLinux联盟
进行缓解的一种努力方式。库的编写者将库的使用规则尽可能的编码到库中，留给库的使vDTLinux联盟
用者一个通用而简单的使用界面，将那些特殊的规则留给库的编写者而不是库的使用者不vDTLinux联盟
仅可以降低库的使用门槛，同时还可以大大减少使用库的过程中发生错误的可能性。vDTLinux联盟
vDTLinux联盟
以上是我的观点，仅供参考。vDTLinux联盟
vDTLinux联盟
本章完。vDTLinux联盟
vDTLinux联盟
从本文还可以看出，文中实际上还留下了一个问题：自动生成代码使用的类型串中不vDTLinux联盟
允许有重复类型出现，这一点实际上是一个缺陷，将会在下一章中解决。但是作为原理来vDTLinux联盟
讲，本章介绍的方法在下一章里面用来解决重复类型的类型串生成代码的时候也需要采用vDTLinux联盟
了这里的方法，所以非常有必要先在这里介绍这种方法。在下一章里面将会讨论如何使用vDTLinux联盟
本章介绍的不含重复类型的类型串生成代码的技术用来解决含有重复类型的类型串生成代vDTLinux联盟
码的问题。注意下一章中采用的方法和Loki库中采用的方法可不相同哦:)（敬请关注!）vDTLinux联盟
vDTLinux联盟
未完。待续...vDTLinux联盟
vDTLinux联盟
#endifvDTLinux联盟
#ifdef CODE_NOTE//附录：本文使用的meta.h文件内容vDTLinux联盟
#pragma oncevDTLinux联盟
namespace pandaxcl{vDTLinux联盟
/////////////////////////////////////////////////////////vDTLinux联盟
template vDTLinux联盟
struct IFvDTLinux联盟
{vDTLinux联盟
typedef Then result;//将Then类型作为条件为真的返回值<:length<:string,
<:string><:string><:string><:string><:string>（返回值为类型）vDTLinux联盟
};vDTLinux联盟
templatevDTLinux联盟
struct IFvDTLinux联盟
{vDTLinux联盟
typedef Else result;//将Else类型作为条件为假的返回值 <:length<:string,
<:string><:string><:string><:string><:string>（返回值为类型）vDTLinux联盟
};vDTLinux联盟
///////////////////////////////////////////////////////vDTLinux联盟
////////////////////////////////////////////////////////vDTLinux联盟
////加入一个外覆层来传递额外的模板参数vDTLinux联盟
template class Function,size_t start,size_t finish,size_t step>vDTLinux联盟
struct LOOPvDTLinux联盟
{vDTLinux联盟
//为了能够正确的计算出实际的循环终止变量，需要对给定的终止变量vDTLinux联盟
//进行计算，以满足正确的循环语义vDTLinux联盟
enum{real_finish=(finish/step*step+start)};vDTLinux联盟
static void execute()vDTLinux联盟
{vDTLinux联盟
LOOP_BODY::execute();vDTLinux联盟
}vDTLinux联盟
//下面的这个模板函数是为了能够实现静态代码和动态代码连接vDTLinux联盟
template vDTLinux联盟
static void execute(EnvironmentType&e)vDTLinux联盟
{vDTLinux联盟
LOOP_BODY::execute(e);vDTLinux联盟
}vDTLinux联盟
private:vDTLinux联盟
//引入了一个布尔型的模板参数用来确定循环的终止条件vDTLinux联盟
template struct LOOP_BODYvDTLinux联盟
{vDTLinux联盟
static void execute()vDTLinux联盟
{vDTLinux联盟
LOOP_BODYstart)>::execute();vDTLinux联盟
Function::execute();vDTLinux联盟
}vDTLinux联盟
//下面的这个模板函数是为了能够实现静态代码和动态代码连接vDTLinux联盟
template vDTLinux联盟
static void execute(EnvironmentType&e)vDTLinux联盟
{vDTLinux联盟
LOOP_BODYstart)>::execute(e);vDTLinux联盟
Function::execute(e);vDTLinux联盟
}vDTLinux联盟
};vDTLinux联盟
//循环的终止语句，停止递归以结束循环vDTLinux联盟
template struct LOOP_BODYvDTLinux联盟
{vDTLinux联盟
static void execute(){}vDTLinux联盟
//下面的这个模板函数是为了能够实现静态代码和动态代码连接vDTLinux联盟
template vDTLinux联盟
static void execute(EnvironmentType&e){}vDTLinux联盟
};vDTLinux联盟
};vDTLinux联盟
//为了模板化必须将原来的输出函数做成一个模板结构体vDTLinux联盟
//template struct FunctionvDTLinux联盟
//{vDTLinux联盟
// static void execute()vDTLinux联盟
// {vDTLinux联盟
// //你的代码在这里编写vDTLinux联盟
// }vDTLinux联盟
//};vDTLinux联盟
//////////////////////////////////////////////////vDTLinux联盟
///////////////////////////////////////////////////vDTLinux联盟
//cons的实现，采用和STL类似的类型命名方式vDTLinux联盟
template vDTLinux联盟
struct consvDTLinux联盟
{vDTLinux联盟
typedef FirstType first_type;vDTLinux联盟
typedef SecondType second_type;vDTLinux联盟
};vDTLinux联盟
struct null_type;//类型串终结符vDTLinux联盟
//下面是两个为了实现静态类型循环所需要的静态元函数vDTLinux联盟
//length元函数的实现vDTLinux联盟
templatestruct length;vDTLinux联盟
template<>struct lengthvDTLinux联盟
{//返回值为整数，命名为valuevDTLinux联盟
enum{value=0};vDTLinux联盟
};vDTLinux联盟
templatevDTLinux联盟
struct length >vDTLinux联盟
{//返回值为整数，命名为valuevDTLinux联盟
enum{value=1+length::value};vDTLinux联盟
};vDTLinux联盟
//type元函数的实现vDTLinux联盟
templatestruct type;vDTLinux联盟
templatevDTLinux联盟
struct type,0>vDTLinux联盟
{//返回值为类型，命名为resultvDTLinux联盟
typedef FirstType result;vDTLinux联盟
};vDTLinux联盟
templatevDTLinux联盟
struct type,i>vDTLinux联盟
{//返回值为类型，命名为resultvDTLinux联盟
typedef typename type::result result;vDTLinux联盟
};vDTLinux联盟
////////////////////////////////////////////////////////////vDTLinux联盟
//下面是实现代码自动生成的模板元函数，主要参考了Loki的代码vDTLinux联盟
//为了撤销和重做库的独立性，将该功能从Loki库中提取出来vDTLinux联盟
templateclass Unit>vDTLinux联盟
struct scatter : public UnitvDTLinux联盟
{vDTLinux联盟
};vDTLinux联盟
templateclass Unit>vDTLinux联盟
struct scatter,Unit>vDTLinux联盟
: public scattervDTLinux联盟
, public scattervDTLinux联盟
{vDTLinux联盟
typedef cons cons_type;vDTLinux联盟
};vDTLinux联盟
//下面的null_type参看前一章中的代码vDTLinux联盟
templateclass Unit>vDTLinux联盟
struct scattervDTLinux联盟
{vDTLinux联盟
};vDTLinux联盟
//////////////////////////////////////////////////vDTLinux联盟
}//namespace pandaxcl{vDTLinux联盟
#endif//CODE_NOTE//附录 #if 0vDTLinux联盟
vDTLinux联盟
在上一篇文章里面讨论了C++里面的代码生成技术，使用的是scatter，不过上一篇文vDTLinux联盟
章里面也提到了，前一篇文章里面讨论的代码生成模板scatter使用的类型串绝对不允许vDTLinux联盟
重复。其实上一篇中的scatter使用由重复的类型的类型串也是能够正常生成代码的，不vDTLinux联盟
过产生的代码却不能将类型重复的变量分辨出来，这样生成的代码就没有了什么实际意义vDTLinux联盟
，所以在这一章中将要解决的问题是：重新编写一个可以使用重复类型的类型串生成代码vDTLinux联盟
，并且能够采用一定的方法将这些生成的变量分辨出来。vDTLinux联盟
vDTLinux联盟
那么该如何编写这里需要的代码呢？上一章里面的scatter见下面的代码：vDTLinux联盟
vDTLinux联盟
#endifvDTLinux联盟
#ifdef CODE_NOTEvDTLinux联盟
templateclass Unit>vDTLinux联盟
struct scatter : public UnitvDTLinux联盟
{vDTLinux联盟
};vDTLinux联盟
templateclass Unit>vDTLinux联盟
struct scatter,Unit>vDTLinux联盟
: public scattervDTLinux联盟
, public scattervDTLinux联盟
{vDTLinux联盟
typedef cons cons_type;vDTLinux联盟
};vDTLinux联盟
templateclass Unit>vDTLinux联盟
struct scattervDTLinux联盟
{vDTLinux联盟
};vDTLinux联盟
#endif//CODE_NOTEvDTLinux联盟
#if 0vDTLinux联盟
vDTLinux联盟
虽然上面的代码生成机制生成的重复类型的代码不能够通过静态转型(static_cast)分vDTLinux联盟
辨出来，但是上面的代码却给出另外一种重要的思想：使用不含有重复类型的类型串采用vDTLinux联盟
上面的代码生成技术生成的代码却可以使用静态转型(static_cast)分辨出来。前一章里面vDTLinux联盟
的例子都采用了这种思想。那么现在我们可不可以同样使用这种思想编写出一个可以使用vDTLinux联盟
重复类型的类型串生成代码，并且能够通过静态转型(static_cast)方法将这些生成的变量vDTLinux联盟
分辨出来呢？答案是肯定的，在这里同样是采用前面所讨论的多加一层包裹的方法来实现�
|
