编译期编程的世界（3/3）

1.GenScatterHierarchy依据typelist生成散乱的继承体系

template     < class     TList,template  < class >   class  Unit >
class     GenScatterHierarchy;

template     < class  T1, class  T2,template  < class >   class  Unit >
class  GenScatterHierarchy < LOIK_TYPE_LIST2(T1,T2),Unit >
    : public     GenScatterHierarchy < T1,Unit >
    , public     GenScatterHierarchy < T2,Unit >
... {
} ;

template     < class  AtomicType,template  < class >   class  Unit >
class     GenScatterHierarchy    : public     Unit < AtomicType >
... {
} ;

template     < template     < class >      class  Uint >
class     GenScatterHierarchy < NullType,Unit >
... {
} ;

让我们首先做点基础的工作，已经知道，子类指针可以向基类转换，这在多重继承的时候一样是可以的。这样对于一个GenScatterHierarchy对象来说，它可以准确任意转化成任何一个基类，唯一的问题是，typelist中某一类型不唯一怎么办？

让我们明白两点，GenScatterHierarchy是类基本的工具，所以对于typelist中类型重复我问题，它也只是生成了同样的一个类，但你必须承认通过不同的路径对同一个类继承了两次。如果你一定要对特定产出路径分选，那你要明白这不同路径的两个类是同一个类，如果你生成了对象，那有两份一样的对象。

获取特定路径产出的对象通用需要编译期推导，很幸运，我们可以，但是你不知道多少次重用了GenScatterHierarchy这个工具（这个类），因为你要找到特定的位置，而这个位置只可通过递归过程中的计数。

template     < class  TList,template  < class >   class  Unit >
Unit < TList::Head >&     FieldHelper(GenScatterHierarchy < TList,Unit >&  obj,Int2Type < 0 > )
... {
    GenScatterHierarchy<TList::Head,Unit>&    leftBase    = obj;
    return    leftBase;
}

template     < int  i, class  TList,template  < class >   class  Unit >
Unit < TypeAt < TList,i > ::Result >&     FieldHelper(GenScatterHierarchy < TList,Unit >&  obj,Int2Type < i > )
... {
    GenScatterHierarchy<TList::Tail,Unit>&    rightBase    = obj;
    return    FieldHelper(rightBase,Int2Type<i - 1>());
}

template     < int  i, class  TList,template  < class >   class  Unit >
Unit < TypeAt < TList,i > ::Result &     Field(GenScatterHierarchy < TList,Unit >&  obj)
... {
    return    FieldHelper(obj,Int2Type<i>());
}

一如你已经见过的手法，但是你可能不明白为什么要如此费力构造这样一个东西，它有什么用呢？er，简单的说，它太有用了，它可以用来定义一个坐标，根据typelist的情况确定是多少维的，你可能对2维和3维比较熟悉。

2.GenLinearHierarchy生成线性继承体系

template     < class  TList,template  < class  AtomicType, class  Base >   class  Unit, class  Root  =  EmptyType >
class  GenLinearHierarchy;

template     < class  T1, class  T2,template  < class , class >   class  Unit, class  Root >
class  GenLinearHierarchy < Typelist < T1,T2 > ,Unit,Root >
    : public     Unit < T1,GenLinearHierarchy < T2,Unit,Root >
... {} ;

template     < class  T,template  < class , class >   class  Unit, class  Root >
class  GenLinearHierarchy < LOKI_TYPELIST_1(T),Unit,Root >
    : public     Unit < T,Root >
... {} ;

其实，我倒觉得这里更直接，因为我们已经非常习惯编译递推的手法了。

GenLinearHierarchy和GenScatterHierarchy的比较：
GenScatterHierarchy使用了多重继承，你可能有多个指向虚函数表的指针，如果你比较关心大小，那使用GenLinearHierarchy是个不错的主意，你消除了多余的虚函数表。