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

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

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

原文地址：https://www.jb51.cc/c/112205.html