从泛型基类继承多次时调用不明确

Question

我想克隆一个包含几种类型的std::list的数据结构，同时移动一些迭代器以指向新的std::list的元素。为此，我创建了一个泛型类型Translate<T>，表示从旧列表中的std::list<T>::iterators到新列表中的映射。然后，我有一个从Translate<T>继承的新类，用于我的数据结构的所有所需类型T。

下面是一个简化的例子(只使用身份函数(：

#include <list>
struct T1 {};
struct T2 {};
template<typename T>
class Translate {
public:
typename std::list<T>::iterator operator()(typename std::list<T>::iterator x) {
return x; // more complex in the real world, but doesn't matter here
}
};
int main() {
std::list<T1> l1{};
std::list<T2> l2{};
class : public Translate<T1>, public Translate<T2> {} tr;
tr(l1.begin());
}

这给了我以下编译器错误：

mwe.cpp: In function ‘int main()’:
mwe.cpp:19:15: error: request for member ‘operator()’ is ambiguous
tr(l1.begin());
^
mwe.cpp:9:34: note: candidates are: ‘typename std::__cxx11::list<T>::iterator Translate<T>::operator()(typename std::__cxx11::list<T>::iterator) [with T = T2; typename std::__cxx11::list<T>::iterator = std::_List_iterator<T2>]’
typename std::list<T>::iterator operator()(typename std::list<T>::iterator x) {
^~~~~~~~
mwe.cpp:9:34: note:                 ‘typename std::__cxx11::list<T>::iterator Translate<T>::operator()(typename std::__cxx11::list<T>::iterator) [with T = T1; typename std::__cxx11::list<T>::iterator = std::_List_iterator<T1>]’

这个电话在什么方面含糊不清？std::list<T>::iterator不能相互转换。

如果我手动将每个T的实现复制到子类中，它是有效的，但这正是在使用泛型和继承时要避免的。

Answer 1

此代码格式错误。如果operator()在派生类中不可用，则名称查找仅在存在恰好一个基类的情况下考虑基类。如果有多个基类，则在名称查找中不考虑任何基类。

正如您所提到的，您可以将operator()的实现复制到派生类中，这是有效的，但您也可以使用using指令将两个operator()名称都引入派生类，如下所示：

class : public Translate<T1>, public Translate<T2> {
public:
using Translate<T1>::operator();
using Translate<T2>::operator();
} tr;

这是一个演示。