关闭

暴力双分派再论TList

592人阅读 评论(0) 收藏 举报

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学习时间的付出是完全值得的。

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:177152次
    • 积分:2881
    • 等级:
    • 排名:第12394名
    • 原创:113篇
    • 转载:3篇
    • 译文:0篇
    • 评论:28条
    文章分类