Question

我有两个多态类型实例的Base *指针，我需要确定引用的对象是否相同。

我目前的方法是首先使用RTTI检查类型是否相等。如果类型相等，我就调用一个虚拟的is_equivalent函数。

是否有更惯用的方法？

Answer 1

对于大多数派生类，等价只是意味着成员变量具有相同的值

在C ++中，这称为“相等”，通常使用operator==()实现。在C ++中，您可以覆盖运算符的含义，可以编写：

MyType A;
MyType B;
if (A == B) {
    // do stuff
}

让==调用您定义的自定义函数。

我认为你想区分平等与身份，这意味着同一个对象（即同一地址）。

您可以将其实现为成员函数或自由函数（来自维基百科）：

bool T::operator ==(const T& b) const;
bool operator ==(const T& a, const T& b);

在您的情况下，您希望为基类实现operator==，然后执行您正在执行的操作。

更具体地说，它看起来像这样：

class MyBase
{
    virtual ~MyBase(); // reminder on virtual destructor for RTTI
    // ...
private:
    virtual bool is_equal(const MyBase& other);

    friend bool operator ==(const MyBase& a, const MyBase& b); 

    // ...    
};

bool operator ==(const MyBase& a, const MyBase& b)
{
    // RTTI check
    if (typeid(a) != typeid(b))
        return false;
    // Invoke is_equal on derived types
    return a.is_equal(b);
}


class D1 : MyBase
{
    virtual bool is_equal(const Base& other)
    {
        const D1& other_derived = dynamic_cast<const D1&>(other);
        // Now compare *this to other_derived
    }
};

class D2 : MyBase;
{ };


D1 d1; D2 d2;
bool equal = d1 == d2; // will call your operator and return false since
                       // RTTI will say the types are different

在C ++中是否存在一种惯用的方法来比较对象等价的多态类型？

1 个答案: