为什么我收到以下错误:"no match for 'operator=='"?(带模板的嵌套类)

Why I get the following error: "no match for 'operator=='" ? (nested class with template)

本文关键字:嵌套 operator no 错误 match for 为什么      更新时间:2023-10-16

给定以下代码:

template<class T>
class TemplateClass {
T val;
public:
TemplateClass(T val) :
val(val) {
}
TemplateClass(const TemplateClass& tc) = default;
TemplateClass& operator=(const TemplateClass& tc) = default;
class Ele {
T x;
public:
Ele(T x) :
x(x) {
}
template<class S>
friend bool operator==(const typename TemplateClass<S>::Ele& e1,
const typename TemplateClass<S>::Ele& e2);
};
};
template<class T>
bool operator==(const typename TemplateClass<T>::Ele& e1,
const typename TemplateClass<T>::Ele& e2) {
return e1.x == e2.x;
}
int main() {
TemplateClass<int>::Ele e1(4);
TemplateClass<int>::Ele e2(3);
if (e1 == e2) {  // *********** error
std::cout << "ok" << std::endl;
}
}  

我收到以下错误:

与 'operator==' 不匹配(操作数类型为 'TemplateClass<int>::Ele' 和 'TemplateClass<int>::Ele'(

有人可以告诉我如何解决它以及问题是什么?

类型的嵌套名称属于非推导上下文:

1( 使用限定 id 指定的类型的嵌套名称说明符(范围解析运算符 ::) 左侧的所有内容(:

因此,operator==无法调用,因为模板参数推导失败;无法推导模板参数。

你可以把它变成一个非模板函数,并在类定义中定义它。

template<class T>
class TemplateClass {
...
class Ele {
...
friend bool operator==(const typename TemplateClass<T>::Ele& e1,
const typename TemplateClass<T>::Ele& e2) {
return e1.x == e2.x;
}
};
};

或者使其成为非模板成员函数,然后您可以在类定义之外定义它们。

template<class T>
class TemplateClass {
...
class Ele {
...
bool operator==(const typename TemplateClass<T>::Ele& e2) const;
bool operator!=(const typename TemplateClass<T>::Ele& e2) const;
};
};
template<class T>
bool TemplateClass<T>::Ele::operator==(const typename TemplateClass<T>::Ele& e2) const {
return x == e2.x;
}
template<class T>
bool TemplateClass<T>::Ele::operator!=(const typename TemplateClass<T>::Ele& e2) const {
return ! (*this == e2);
}

除了这里的答案,您还可以使用朋友注入技术来修复错误:

template<class T>
class TemplateClass {
// ...
class Ele {
// ...
friend bool operator==(const Ele& e1, const Ele& e2) {
return e1.x == e2.x;
}
};
};

请注意,您根本不需要有问题的typename TemplateClass<S>::Ele