如何“双重超载”操作员？

Question

如果我有一个类似数据库的类，并且我想要这样做：

object [1] == otherObject;

如何“双重过载”运算符[]和运算符==？

Answer 1

object[1]返回someType的对象。您需要在someType上超载operator==。

Answer 2

你所描述的只是两个独立的操作符重载。只要确保operator ==的参数匹配返回类型operator []。

Answer 3

不要将运算符重载看作任何特殊的东西，它们就像正常的函数重载一样。具有相同名称的两个函数可以重载，因为它们具有不同的签名。 （您不仅可以通过该方法的返回类型超载2起这不仅是运算符重载，它是在一般功能都超载。）

所以，简单地是这样的：

class B {}; 
class C {}; 
class A 
{ 
    bool operator==(const B& b) 
    { 
     //Put logic here 
     return true; 
    } 

    bool operator==(const C& c) 
    { 
     //Put logic here 
     return true; 
    } 

}; 

以上代码将允许您将A类型的对象与B类型的对象进行比较。它还将允许您将A类型的对象与C类型的对象进行比较。

Answer 4

起初我真的很困惑这个问题的措辞，但现在我想我明白了。你不能直接这样做;但是你可以达到同样的效果。这个想法是让operator[]返回一个代理对象。对于代理对象，您可以提供operator==以进行比较的自定义行为。我已经看到std :: map的operator []在一些较老的，更晦涩的标准库实现上以这种方式实现。

实例（假设对象[1]正常返回美孚&）：

class SomeProxy 
{ 
private: 
    Foo* f; 
public: 
    explicit SomeProxy(Foo& i_f): f(&i_f) {} 
    operator Foo&() const {return *f;} 
}; 

SomeProxy Database::operator[](unsigned int n) 
{ 
    return SomeProxy(some_array + n); 
} 

bool operator==(const SomeProxy& lhs, const Foo& rhs) 
{ 
    // provide custom behavior 
} 


// also provide custom behavior for these: 
bool operator==(const SomeProxy& lhs, const SomeProxy& rhs); 
bool operator==(const Foo& lhs, const SomeProxy& rhs); 

注意：您要重载在这种情况下的比较操作的意义似乎有种奇（代理对象通常用于具有关联结构的自定义分配行为或用于花式元模式编程），但为了进行比较，它们通常应提供与直接使用Foo相同的含义，例如不过，以下是实现方法：通过operator==获取自定义行为的方法，该方法仅适用于在同一个表达式中使用重载的operator[]。

如果你想使这个彻底，那么使SomeProxy的构造函数是私人的，并使数据库成为朋友。这样，只有数据库：可以创建这些对象（在这种情况下通过operator []），客户端将无法复制它（他不应该这样做），只从其中获取Foo对象/引用或使用表达式中返回的代理。