暴力双分派再论TList

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);
    }
};

这非常简单，编译器的选择操作。神奇之处在于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);
    }
}

Loki对这个操作有更精致的做法。

仅此一处对IndexOf的使用，就足以说明，对TypeList学习时间的付出是完全值得的。