是否可以动态绑定运算符>？

Question

动态绑定要求虚函数在基类及其派生类中应具有相同的参数列表。这让我想知道运算符>是否可以动态绑定？下面的演示似乎证明它不能。

#include <iostream>
using namespace std;
struct B
{
    B(int b = 0):m_b(b){}
    virtual bool operator>(const B& rhs)const {cout << "B::operator>" << endl;return m_b > rhs.m_b;}
    int m_b;
};
struct D: public B
{
    D(int b = 0, long d = 0):B(b),m_d(d){}
    virtual bool operator>(const D& rhs)const {cout << "D::operator>" << endl; return m_d > rhs.m_d;}
    long m_d;
};
int main() 
{
    D d1(0,0),d2(1,-1);
    B& b1(d1),b2(d2);
    cout << (b1 > b2) << endl;
    cout << "------------" << endl;
    cout << (d1 > d2) << endl;
    return 0;
}

输出：

B::operator>
0
------------
D::operator>
1

Answer 1

virtual bool operator>(const D& rhs)const {
  cout << "D::operator>" << endl;
  return m_d > rhs.m_d;
}
virtual bool operator>(const B& rhs)const override final {
  if(D const*=dynamic_cast<D const*>(&rhs))
    return *this>*other;
  return B::operator>(rhs);
}

修复您的问题。 它现在对两个参数执行双重调度，如果它们都D则调用适当的重载。 否则它依赖于B的版本。

有很多方法可以在C++中进行双重调度，它们都必须手动完成。

Answer 2

您必须在派生中使用相同的签名，而不是在基中使用相同的签名，以便它有效地覆盖基：

struct D: public B
{
    D(int b = 0, long d = 0):B(b),m_d(d){}
    bool operator>(const B& rhs)const override {  cout << "D::operator>" << endl; return m_d > static_cast<const D*>(&rhs)->m_d;}
    long m_d;
};