将operator ==重载为带有模板参数的自由函数的语法是什么？
|
我有一组多态类，例如：
class Apple {};
class Red : public Apple {};
class Green : public Apple {};
bool operator==(const Apple&, const Apple&);
bool operator< (const Apple&, const Apple&);
Red
Green
template<typename Cat>
class Copy
{
public:
Copy(const Cat& inCat) : type(inCat.clone()) {}
~Copy() { delete type; }
Cat* operator->() { return type; }
Cat& operator*() { return *type; }
private:
Copy() : type(0) {}
Cat* type;
};
Copy<Apples>
Apples
Copy
operator==
template<typename Cat>
bool operator==(const Copy<Cat>& copy, const Cat& e) {
return *copy == e;
}
Red red;
Copy<Apple> redCopy = red;
Copy<Apple> redCopy2 = redCopy;
assert(redCopy == Red());
../src/main.cpp:91: error: no match for ‘operator==’ in ‘redCopy == Red()’
没有找到相关结果
已邀请:
3 个回复
砷竣阿
这与不匹配，因为的类型为，因此编译器将推导为第二个参数的类型，即=ѭ2but，但是它期望第一个参数的类型为，但不是（的类型为）。 你真正想表达的是最简单的方法是添加第二个模板参数：当然，这并不能使编译器强制DerivedFromCat实际上是从Cat派生的。如果需要，可以使用：但这可能有点矫kill过正...氏脑
这意味着RHS上的类型与LHS上的模板参数相同（两种情况均为）。但是您希望它在发生以下情况时被调用是。怎么样？ 注意：的模板参数是，而不是。您的模板运算符根本无法匹配这些类型。 如果您将ѭ20声明为那么您的接线员就会工作。或者如果你做了您的接线员也会工作。但是当您混合原始类型时它根本行不通。在这种情况下您的意图是什么？屉杆绊
运算符的第一个参数推导出第二个参数的类型：template<typename T> struct identity { typedef T type; }; template<typename Cat> bool operator==(const Copy<Cat>& copy, typename identity<Cat>::type const& e) { return *copy == e; }代表什么类型就没有矛盾，将按预期工作。