我有一个真实的情况,可以在以下示例中总结:
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 };