模板的多重继承不明确 类

Question

我有一个真实的情况，可以用下面的例子来概括：

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& )？

Answer 1

标准指示的编译器不够智能，无法解析该符号 -- 它被定义为不明确的操作，尽管您可以在这种情况下从逻辑上解决它。您的编译器在找到两个可能的符号后可能只查找符号名称而不查找原型。

您可以通过消除您知道应该接受的模板符号的歧义来告诉编译器您明确接受这两种类型。这将使编译器接受任何一种形式，然后应用模板。下面是一个例子。我目前无法在我的计算机上对此进行测试，但如果编译器难以解析原始示例中的符号，它应该可以工作：

struct A : public Notifier< TimeListener >
         , public Notifier< SpaceListener >
{
   using Notifier< TimeListener >::add_listener;
   using Notifier< SpaceListener >::add_listener;
};

Answer 2

成员名称的查找规则表明您的代码有歧义，因为该名称在两个基 classes 中找到，因此查找集无效。您不需要熟悉查找集和合并的所有细节；重要的细节是两个基 classes 都被检查并且名称 add_listener 在两者中都被发现，这造成了歧义。

简单的解决方法是使用 using 声明将那些基础 class 名称引入 A。这意味着 add_listener 的两个版本都在 A 中查找，而不是在基础 class 中查找，因此没有合并歧义：

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