C++自动化(模板元)编程基础与应用

时间：2006-06-16 11:29:29 来源：中国IT实验室作者：Linux联盟收集

�

我们知道对于下面的模板类：

#endif
#ifdef CODE_NOTE
template
struct Struct
{
};
Struct<0> a;
Struct<1> b;
Struct<2> c;
Struct<3> d;
//... ...
#endif//CODE_NOTE
#if 0

上面的Struct模板的模板参数不同将会生成不同的类型。例如：上面的Struct<0>、
Struct<1>、Struct<2>和Struct<3>是四种不同的类型。这一点就像是给这个模板编号让这
个编号的不同来区分出不同的类型。正是因为这种现象的存在我们才有了这样的思想：在
新的scatter代码生成机制中给每一个串中的类型声明变量的时候额外添加一个类型索引号
。这样就可以使用静态转型方法分辨出同类型的变量了。见代码CODE1所示：

#endif
#ifdef CODE1
#include
#include "meta.h"//为了引入pandaxcl::cons
//下面的代码仅仅是为了测试产生代码的索引号和类型是否匹配而引入的特性类模板
//说得简单点，这里所谓的特性类就是一种大型的switch，case结构，只不过是跟据
//类型的不同由编译器来自动选择相应的模板。在这里讨论的特性类实际上可以应用
//到撤销和重做框架的序列化方案中去，当然这是为了保存类型名称了。
template struct traits;
template <> struct traits{static const char*name(){return "char";}};
template <> struct traits{static const char*name(){return "int ";}};
////////////////////////////////////////////////////////////
//下面的这个产生代码的格式还可以使用索引号得到基元对象注意了：下面的递归模板的
//终结条件并不是第一个模板参数size_t而是第二个模板参数T，这一点很重要，因为前面
//的文章中讨论的都是以数字0作为终结条件的。所以这里需要特别说明一下，另外也可以
//给你一点灵感:)
templateclass Unit>
struct scatter_helper : public Unit
{
//下面的构造函数仅仅是为了输出索引号对应的类型信息而引入的
scatter_helper()
{
std::cout << traits::name() << " : "

<< i << std::endl;vDTLinux联盟
        }vDTLinux联盟
};vDTLinux联盟
templateclass Unit>vDTLinux联盟
struct scatter_helper<:cons,Unit>vDTLinux联盟
        : public scatter_helpervDTLinux联盟
        , public scatter_helper//递增的为每一个类型添加一个额外的索引号vDTLinux联盟
{vDTLinux联盟
        typedef pandaxcl::cons cons_type;vDTLinux联盟
};vDTLinux联盟
//下面的null_type参看前一章中的代码vDTLinux联盟
templateclass Unit>vDTLinux联盟
struct scatter_helper<:null_type,unit>vDTLinux联盟
{vDTLinux联盟
};vDTLinux联盟
//为了和前面章节中讨论的scatter兼容也是为了方便使用，

<:cons<:null_type,unit>这里重新对scatter_helper进行vDTLinux联盟
//包装生成了一个模板类scatter，这样前面使用的任何方法针对

<:cons<:null_type,unit>于这个新的scatter类同样vDTLinux联盟
//适用。vDTLinux联盟
template class Unit>vDTLinux联盟
struct scatter:public scatter_helper<0,Cons,Unit>vDTLinux联盟
{vDTLinux联盟
        typedef Cons cons_type;vDTLinux联盟
};vDTLinux联盟
//下面的函数用来根据类型索引号来得到相应的基元类型vDTLinux联盟
template class Unit>vDTLinux联盟
scatter_helper::result,Unit>&vDTLinux联盟
        field(scatter&obj)vDTLinux联盟
{vDTLinux联盟
        typedef typename pandaxcl::type::result CT;vDTLinux联盟
        typedef scatter_helper RT;vDTLinux联盟
        return static_cast(obj);vDTLinux联盟
};vDTLinux联盟
template class Unit>vDTLinux联盟
const scatter_helper::result,Unit>&vDTLinux联盟
        field(const scatter&obj)vDTLinux联盟
{vDTLinux联盟
        typedef typename pandaxcl::type::result CT;vDTLinux联盟
        typedef scatter_helper RT;vDTLinux联盟
        return static_cast(obj);vDTLinux联盟
};vDTLinux联盟
//////////////////////////////////////////////////vDTLinux联盟
//下面是测试代码vDTLinux联盟
namespace xcl=pandaxcl;vDTLinux联盟
template  struct TestUnitvDTLinux联盟
{vDTLinux联盟
        T _value;vDTLinux联盟
};vDTLinux联盟
int main()vDTLinux联盟
{vDTLinux联盟
        typedef xcl::consvDTLinux联盟
                xcl::consvDTLinux联盟

<:cons<:null_type,unit>  xcl::consvDTLinux联盟
                xcl::consvDTLinux联盟

<:cons<:null_type,unit> xcl::null_type> > > >CONS;vDTLinux联盟
        std::cout << "========scatter_helper========" <<:endl;

<:cons<:null_type,unit><:endl;
  {vDTLinux联盟
                scatter_helper<0,CONS,TestUnit> v;vDTLinux联盟
                static_cast&>(v)._value = 10;vDTLinux联盟
                static_cast&>(v)._value = 'B';vDTLinux联盟
                static_cast&>(v)._value = 'C';vDTLinux联盟
                static_cast&>(v)._value = 11;vDTLinux联盟
                std::cout << static_cast&>(v)._value << " ";vDTLinux联盟
                std::cout << static_cast&>(v)._value << " ";vDTLinux联盟
                std::cout << static_cast&>(v)._value << " ";vDTLinux联盟
                std::cout << static_cast&>(v)._value << " ";vDTLinux联盟
        }vDTLinux联盟
        std::cout << std::endl << "========field(scatter&)======="

<:cons<:null_type,unit><:endl;
<<:endl;
        ///////////////////////////////////////////////////////vDTLinux联盟
        {vDTLinux联盟
                scatter v;vDTLinux联盟
                field<0>(v)._value = 20;vDTLinux联盟
                field<1>(v)._value = 'F';vDTLinux联盟
                field<2>(v)._value = 'G';vDTLinux联盟
                field<3>(v)._value = 21;vDTLinux联盟
                std::cout << field<0>(v)._value << " ";vDTLinux联盟
                std::cout << field<1>(v)._value << " ";vDTLinux联盟
                std::cout << field<2>(v)._value << " ";vDTLinux联盟
                std::cout << field<3>(v)._value << " ";vDTLinux联盟
        }vDTLinux联盟
        std::cout << std::endl << "=====

<:cons<:null_type,unit><:endl;
<:endl;
field(const scatter&)====" <<:endl;
        {vDTLinux联盟
                scatter v;vDTLinux联盟
                field<0>(v)._value = 30;vDTLinux联盟
                field<1>(v)._value = 'J';vDTLinux联盟
                field<2>(v)._value = 'K';vDTLinux联盟
                field<3>(v)._value = 31;vDTLinux联盟
                //测试常量情况下的field辅助函数vDTLinux联盟
                const scatter&cv = v;vDTLinux联盟
                std::cout << field<0>(cv)._value << " ";vDTLinux联盟
                std::cout << field<1>(cv)._value << " ";vDTLinux联盟
                std::cout << field<2>(cv)._value << " ";vDTLinux联盟
                std::cout << field<3>(cv)._value << " ";vDTLinux联盟
        }vDTLinux联盟
        std::cout << std::endl

<:cons<:null_type,unit><:endl;
<:endl;
<:endl;
<< "==============================" <<:endl;
        return 0;vDTLinux联盟
}vDTLinux联盟
#endif//CODE1vDTLinux联盟
////////////////////////////////////////////vDTLinux联盟
//该程序运行结果如下：vDTLinux联盟
/**********************************************vDTLinux联盟
========scatter_helper========vDTLinux联盟
int  : 0vDTLinux联盟
char : 1vDTLinux联盟
char : 2vDTLinux联盟
int  : 3vDTLinux联盟
10 B C 11 vDTLinux联盟
========field(scatter&)=======vDTLinux联盟
int  : 0vDTLinux联盟
char : 1vDTLinux联盟
char : 2vDTLinux联盟
int  : 3vDTLinux联盟
20 F G 21 vDTLinux联盟
=====field(const scatter&)====vDTLinux联盟
int  : 0vDTLinux联盟
char : 1vDTLinux联盟
char : 2vDTLinux联盟
int  : 3vDTLinux联盟
30 J K 31 vDTLinux联盟
==============================vDTLinux联盟
*************************************************************/vDTLinux联盟
//////////////////////////////////////////////////////////////////vDTLinux联盟
#if 0vDTLinux联盟
vDTLinux联盟
    从运行结果可以看出我们已经成功的解决了本文开头所提出的问题。这个新的代码产生vDTLinux联盟
模板已经写出来了。为了以后使用的方便需要将这个模板类加入到meta.h中。不过本文中使vDTLinux联盟
用的meta.h并没有包含这里的scatter模板类，见附录所示。vDTLinux联盟
vDTLinux联盟
    本章完。vDTLinux联盟
vDTLinux联盟
    实际上C++模板元编程的基础与应用中的基础篇已经写完了，从下一章开始将会讨论这种vDTLinux联盟
编程技术的一些应用专题。下一章里面将会涉及到的专题是类型特性trait。（敬请关注!）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类型作为条件为真的返回值

<:cons<:null_type,unit><:endl;
<:endl;
<:endl;
<:endl;
（返回值为类型）vDTLinux联盟
        };vDTLinux联盟
        templatevDTLinux联盟
        struct IFvDTLinux联盟
        {vDTLinux联盟
                typedef Else result;//将Else类型作为条件为假的返回值（返回值为类型）vDTLinux联盟
        };vDTLinux联盟
        ////////////////////////////////////////////////////////////vDTLinux联盟
        /////////////////////////////////////////////////////////vDTLinux联盟
        ////加入一个外覆层来传递额外的模板参数vDTLinux联盟
        template class Function,size_t start,size_t finish,size_t step>vDTLinux联盟
        struct LOOPvDTLinux联盟
        {vDTLinux联盟
                //为了能够正确的计算出实际的循环终止变量，需要对给定的终止变量vDTLinux联盟
                //进行计算�
 8/11   |‹ ‹‹ 6 7 8 9 10 11 ›› ›|

来顶一下

返回首页

相关文章

无相关信息

栏目更新

栏目热门