成员方法中的 C++“接口”和派生类型参数

Question

我正在尝试做这样的事情：

class foo {
    virtual void bool operator==(foo const & rhs) = 0;
};

class bar1 : public foo {
    bool operator==(bar1 const & rhs) { ... }
};

class bar2 : public foo {
    bool operator==(bar2 const & rhs) { ... }
};

也就是说，我要指出，所有实现foo接口的类都必须为自己的派生类实现operator==方法。

但是，编译器抱怨 bar1 和 bar2 仍然是抽象类，因为它们还没有实现 operator==(foo const &)。

我考虑过在 bar1 和 bar2 中将函数签名更改为 foo const &，然后在函数内部执行 dynamic_cast，但这似乎很混乱：

class bar1 : public foo {
    bool operator==(foo const & rhs) {
        const bar1 * casted_rhs = dynamic_cast<const bar1 *>(&rhs);
        if (casted_rhs == NULL) {
            // not a bar1
            return false;
        } else {
            // go through rhs and this object and find out if they're equal
        }
    }
}

这感觉很乱。

必须有更好的方法来做到这一点。

Answer 1

您可以使用CRTP 模式来强制这种情况。通过这种方式，模板基类强制在派生类中实现operator==：

template <typename T>
class foo {
    bool operator==(const T & rhs)
    {
        return static_cast<T>(*this).operator==(static_cast<T>(rhs));
    }
};

class bar1 : public foo<bar1> {
    bool operator==(const bar1  & rhs)
    {
    }
};

class bar2 : public foo<bar2> {
    bool operator==(const bar2 & rhs)
    {

    }
};

Answer 2

那是因为您没有覆盖那些确切的方法。

class bar1 : public foo {
    bool operator==(bar1 const & rhs) { ... }
};

class bar2 : public foo {
    bool operator==(bar2 const & rhs) { ... }
};

应该改为

class bar1 : public foo {
    bool operator==(foo const & rhs) { ... }
};

class bar2 : public foo {
    bool operator==(foo const & rhs) { ... }
};

你可以走了。你应该阅读更多关于polymorphism