C++派生类对象函数调用优先级：多继承下运算符重载调用规则

类结构与运算符重载情况 #

类的层级结构如下：

class Iterator {};
class RevIterator : virtual public Iterator {};
class ConstIterator : virtual public Iterator {};
class ConstRevIterator : public RevIterator, public ConstIterator {};

各类型的运算符重载细节：

• Iterator类：将<、<=、>、>=、==、!=等比较运算符重载为友元函数，示例原型：

  friend bool operator<(const Iterator &A, const Iterator &B);
  

• RevIterator类：虚继承自Iterator，同样将<、<=、>、>=运算符重载为友元函数，示例原型：

  friend bool operator<(const RevIterator &A, const RevIterator &B);
  

• ConstIterator类：虚继承自Iterator，未额外定义运算符重载
• ConstRevIterator类：继承自RevIterator和ConstIterator，未定义任何运算符重载

核心疑问：当对两个ConstRevIterator对象使用<运算符时，预期调用RevIterator的对应重载函数，但想明确当孙类对象的父类和祖父类均有可用重载函数时，函数调用的匹配规则是什么？

1. 参数类型匹配优先级是核心
   编译器在进行重载决议时，会优先选择参数类型匹配度最高的函数版本。对于ConstRevIterator对象：

• 由于ConstRevIterator自身未定义运算符重载，编译器会向上查找父类、祖父类的可用重载；
• RevIterator的重载函数参数为const RevIterator&，ConstRevIterator是RevIterator的直接子类，可直接隐式转换为该类型；
• Iterator的重载函数参数为const Iterator&，ConstRevIterator虽也能转换为此类型，但转换层级更远（跨两层继承）。

2. 派生类重载版本优先级高于基类
   在重载决议逻辑中，派生类的重载版本比其基类的版本优先级更高。因为从ConstRevIterator到RevIterator的转换是更直接的派生-基类转换，所需的转换步骤更少，编译器会优先匹配这个版本，而非祖父类Iterator的重载函数。

3. 虚继承不影响重载决议
   此处的虚继承仅解决了菱形继承中Iterator基类子对象重复的问题，对运算符重载的匹配规则无影响——因为这些运算符是友元函数，并非虚成员函数，不存在动态绑定逻辑，重载决议完全基于编译期的参数类型匹配。

内容的提问来源于stack exchange，提问作者Gregor Hartl Watters