继承类中的比较运算符

Question

我已经定义了一个IntWrapper类如下的类:

struct IntWrapper
{
protected:
  int value;

public:
  explicit IntWrapper() = default;
  explicit IntWrapper(const int value) : value(value) {}

  bool operator< (const IntWrapper rhs) const { return value <  rhs.value; }
  bool operator> (const IntWrapper rhs) const { return value >  rhs.value; }
  bool operator<=(const IntWrapper rhs) const { return value <= rhs.value; }
  bool operator>=(const IntWrapper rhs) const { return value >= rhs.value; }
  bool operator==(const IntWrapper rhs) const { return value == rhs.value; }

  explicit operator int() const { return value; }
};

与类Foo和Bar从继承IntWrapper

struct Foo: IntWrapper
{
  using IntWrapper::IntWrapper;
};

struct Bar: IntWrapper
{
  using IntWrapper::IntWrapper;
};

我想只比较相同类型的对象.换句话说,我想下面这段给出编译错误,而不是铸造foo和bar到IntWrapper.

const Foo foo(1);
const Bar bar(2);
bool b = foo >= bar;

既然我有许多其他对象喜欢Foo和Bar,有没有办法实现我的结果保持所有的比较运算符IntWrapper？

Answer 1

您可以向您添加虚拟模板,IntWrapper以使比较运算符IntWrapper仅适用于同一类型:

template<class>
struct IntWrapper
{ /* same code */ };

struct Foo : IntWrapper<Foo> { using IntWrapper::IntWrapper; };
struct Bar : IntWrapper<Bar> { using IntWrapper::IntWrapper; };

int main()
{
    const Foo foo(1);
    const Bar bar(2);
    //bool b = foo >= bar; // error: no match for 'operator>=' (operand types are 'const Foo' and 'const Bar')
}

现场演示

Answer 2

我想只比较相同类型的对象.

如果你想要两个IntWrapper实例可以比较,但不是从IntWrapper继承的类的实例,你实际上说你并不真的希望这些类继承IntWrapper.

• @YSC 建议您使用CRTP模式阻止此继承,以便每个类继承其"自己的"IntWrapper.这样可以防止代码重复.
• 您可以更改比较运算符,以便检查两者都是IntWrapper的同一子类.
• 您可以将可比性归因于IntWrapper的子类,Foo和Bar不会继承它.

并且可能有更多方法可以实现这一目标.但是,再次,这听起来像一个有问题的设计.