有时候自己写一个类,需要重载运算符,但对于一些操作符(如==、<、>等),可以在类里写,也可以在类外写。那么 C++ 编译器会去怎么调用呢?

  首先,我们知道,“重载” 机制可以允许多个函数有相同的函数名,但参数列表必须不同。C++编译器经过名字改编(name mangling),可以在调用时依据所传实参找到“符合”的函数实体进行调用。而运算符重载亦是如此。

  首先,我们有一个类:

class CMyCls
{
public:
 bool operator == (const CMyCls& rhs);    // 1.
 
 bool operator == (const CMyCls& rhs) const;   // 2.

 bool operator == (CMyCls& rhs);      // 3.

 bool operator == (CMyCls& rhs) const;    // 4.
};


void f1 (CMyCls& lhs, const CMyCls& rhs);
{
 lhs == rhs;
}

void f2 (const CMyCls& lhs, const CMyCls& rhs);
{
 lhs == rhs;
}

void f3 (CMyCls& lhs, CMyCls& rhs);
{
 lhs == rhs;
}

void f4 (const CMyCls& lhs, CMyCls& rhs)
{
 lhs == rhs;
}
 


  那么 f1 - f4 这四个函数将会如何调用呢?其实,f1函数会调到CMyCls类中1 处注释所标的函数,f2会调到 2 处注释所标的函数,f3、f4依次类推。

  那么,如果我在类里面有一个运算符重载,在类外也有,会调用哪一个呢?比如:

class CMyCls
{
public:
 bool operator == (const CMyCls& rhs) const
 {
  // ...
 }
};


bool operator == (const CMyCls& lhs, const CMyCls& rhs)
{
 // ...
}


void f(const CMyCls& lhs, const CMyCls& rhs)
{
 lhs == rhs;
}
 


  但很不幸的是,这样编不过。因为对于 f 函数的调用来说,编译器不知道调哪一个会比较好,因为同时存在两份“适合”的重载函数,所以产生歧义。但这样是可以编过的,思考下为什么:

class CMyCls
{
public:
 bool operator == (const CMyCls& rhs)
 {
  // ...
 }
};


bool operator == (const CMyCls& lhs, const CMyCls& rhs)
{
 // ...
}


void f1(const CMyCls& lhs, const CMyCls& rhs)
{
 lhs == rhs;
}


void f2(CMyCls& lhs, const CMyCls& rhs)
{
 lhs == rhs;
}
 


  上面 f1会调到全局的函数operator ==,而f2会调到 CMyCls的成员函数operator ==。所以,好的写法是只在类里或类外重载两个参数均为const的版本。