TypeList是Loki从外星引进的强大引擎, TypeList由模板支持构建,但是被构建出来的TypeList给了模板神奇的能力,Loki给予新知,源于模板,Loki给予震撼,源于TypeList。
其实TList很简单,但是它给我们带来的便利让我们如何赞扬它都不为过。
其实,在暴力双分派的对称处理中,我们只使用了TList::IndexOf工具,为了支持对称分派,我们在调用的时候做手脚:
template
<
bool
swapArgs,
class
SomeLhs,
class
SomeRhs
>
struct InvocationTraits
... {
static void DoDispatch(SomeLhs& lhs,SomeRhs& rhs,Executor& exec)
...{
exec.Fire(lhs,rhs);
}
} ;
template < class SomeLhs, class SomeRhs >
struct InvocationTraits < true ,SomeLhs,SomeRhs >
... {
static void DoDispatch(SomeLhs& lhs,SomeRhs& rhs,Executor& exec)
...{
exec.Fire(rhs,lhs);
}
} ;
struct InvocationTraits
... {
static void DoDispatch(SomeLhs& lhs,SomeRhs& rhs,Executor& exec)
...{
exec.Fire(lhs,rhs);
}
} ;
template < class SomeLhs, class SomeRhs >
struct InvocationTraits < true ,SomeLhs,SomeRhs >
... {
static void DoDispatch(SomeLhs& lhs,SomeRhs& rhs,Executor& exec)
...{
exec.Fire(rhs,lhs);
}
} ;
这非常简单,编译器的选择操作。神奇之处在于bool值的获得方法:
static
void
DispatchRhs(BaseLhs
&
lhs,BaseRhs
&
rhs,Executor exec)
... {
if (Head* p2 =dynamic_cast<Head*>(&rhs))
...{
enum ...{swapArgs = IndexOf<Head,RTList>::result < IndexOf<BaseLhs,LTList>::result};
InvocationTraits<swapArgs,BaseLhs,Head>::DoDispatch(lhs,*p2);
}
}
... {
if (Head* p2 =dynamic_cast<Head*>(&rhs))
...{
enum ...{swapArgs = IndexOf<Head,RTList>::result < IndexOf<BaseLhs,LTList>::result};
InvocationTraits<swapArgs,BaseLhs,Head>::DoDispatch(lhs,*p2);
}
}
Loki对这个操作有更精致的做法。
仅此一处对IndexOf的使用,就足以说明,对TypeList学习时间的付出是完全值得的。