c – 模板类的模糊多重继承

发布时间：2020-12-16 03:12:51 所属栏目：百科来源：网络整理

导读：我有一个真实的情况,可以在以下示例中总结： template typename ListenerType struct Notifier{ void add_listener( ListenerType ){}};struct TimeListener{ };struct SpaceListener{ };struct A : public Notifier TimeListener ,public Notifier SpaceLis

我有一个真实的情况,可以在以下示例中总结：

template< typename ListenerType >
struct Notifier
{
    void add_listener( ListenerType& ){}
};

struct TimeListener{ };
struct SpaceListener{ };

struct A : public Notifier< TimeListener >,public Notifier< SpaceListener >
{

};

struct B : TimeListener{ };

int main()
{
    A a;
    B b;

    a.add_listener( b );    // why is ambiguous?

    return 0;
}

为什么编译器不明显B是一个TimeListener,因此唯一可能的重载分辨率是Notifier< TimeListener> :: add_listener(TimeListener&)？

解决方法

成员名称的查找规则表示您的代码是不明确的,因为该名称位于两个基类中,因此查找集无效.您不需要熟悉查找集合和合并的所有细节;重要的细节是检查两个基类,并在两者中都找到名称add_listener,这会产生歧义.

简单的解决办法就是把这些基类名称带入到使用声明中.这意味着add_listener的两个版本都在A中查找,而不是在基类中,所以没有合并歧义：

struct A : public Notifier< TimeListener >,public Notifier< SpaceListener >
{
    using Notifier<TimeListener>::add_listener;
    using Notifier<SpaceListener>::add_listener;
   //plus any more base classes
};

Live Demo

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!