在 C++ 中自动推导运算符？

Question

在 C++ 中，编译器/语言是否可以自动推导未实现的运算符？

例如，如果我有：

class X
{
public:
   bool operator ==(const X &x) const;
};

有没有办法隐式推导 != ？

我将利用这个问题来解决一个半相关的问题：为什么映射的键的唯一要求是实现 <<操作员？它如何比较平等？

Answer 1

关于相关问题，它是一个等价类。两个事物 'x' 和 'y' 是等价的，如果

!(x < y) && !(y < x)

Answer 2

STL 已经有一组定义。
在命名空间 stl::rel_ops 中可以找到以下定义。

namespace std
{
  namespace rel_ops
  {
    // Uses ==
    template <class _Tp> inline bool operator!=(const _Tp& __x, const _Tp& __y);

    // Uses <
    template <class _Tp> inline bool operator>(const _Tp& __x, const _Tp& __y);
    template <class _Tp> inline bool operator<=(const _Tp& __x, const _Tp& __y);
    template <class _Tp> inline bool operator>=(const _Tp& __x, const _Tp& __y);

  } // namespace rel_ops
}

要使用它，你只需要这样做：

#include <utility>
using namespace std::rel_ops;

尽管我个人会尽可能限制使用范围。

Answer 3

Boost 运算符可以做你想做的事。

至于你的第二个问题：如果A不小于B且B不小于A，则两个值A和B相等。

Answer 4

C++的规则不允许大多数运算符的完全隐式推导，但您可以在“模板方法设计模式”模型中通过继承来模拟它；一个过于简单的例子...：

template <typename X> class ne
{
public:
   bool operator !=(const X &x) const
   { return ! ( (*(const X*)this) == x ); }
};

class X: public ne<X>
{
   int x;
public:
   X(int x): x(x) {}
   bool operator ==(const X &other) const
   { return x == other.x; }
};

其他答案已经向您指出了一个基于巧妙模板和 c 的系统库，用于此类目的（增强）以及第二个问题的答案（一旦您有了 <，所有需要的比较，包括相等性，都可以在 std 库代码中轻松实现 (<)。

Answer 5

请参阅 Wikipedia 上的巴顿·纳克曼技巧。它利用 CRTP 习惯用法 和内联友元函数。