如果这个问题很愚蠢，请提前道歉，但是：
我接口道：
template <class T>
class IEqualCompare {
public:
virtual bool IsEqual(const T b) = 0;
bool operator== (const T b) { return this->IsEqual(b); } //Both are implemented in cpp file
bool operator!= (const T b) { return !(this->IsEqual(b)); }
};还有一个类：
class Dimentions : IEqualCompare<Dimentions> {
...
bool IsEqual(const Dimentions b) { //IsEqual logic for this specific class }
...
}我只想为IEqualCompare的每个子类实现IsEqual方法，因为运算符重载（==，！=）中的逻辑对于任何IEqualCompare派生类都是相同的。
到目前为止，我总是简单地将两个运算符覆盖定义为虚拟的，并在每个类中实现它们，但由于逻辑应该总是相同的，我想知道这是否可能，或者这是糟心的编程。
提前感谢您的解答。
1条答案
按热度按时间mwyxok5s1#
首先，由于比较运算符通常不用于修改被比较的对象，因此它们（和
IsEqual方法）应声明为const，作为const correctness的一般做法。除其他外，它有助于程序员避免在语义非修改操作期间意外修改对象的错误，并通过利用更多关于代码行为的假设，帮助优化程序生成更高效的二进制文件。此外，为了避免不必要的复制，运算符的参数通常应该 by reference，在我们的例子中是 const reference，这样被引用的对象就不能被修改。现在，如果您只想根据派生类的
IsEqual方法自动将相等比较运算符添加到派生类中，而不想使用动态多态/调度（这对于CRTP基类是毫无意义的），因此根本不需要将IsEqual设为虚拟的，甚至根本不需要将IsEqual设为基类的成员。因此您可以静态地将this指针转换为T*，并通过生成的指针调用T的非虚拟IsEqual方法，从而避免使用成本更高的virtual dispatch机制。示例：