c++ - std::rel_ops を使用して比較演算子を自動的に提供する方法は?

Question

とから演算子>、>=、<=、およびを取得するにはどうすればよいですか?!===<

標準ヘッダー<utility>は、上記の演算子を演算子==andに関して定義する名前空間 std::rel_ops を定義します<が、それを使用する方法がわかりません (次のような定義を使用するようにコードを誘導します:

std::sort(v.begin(), v.end(), std::greater<MyType>); 

非メンバー演算子を定義した場所:

bool operator < (const MyType & lhs, const MyType & rhs);
bool operator == (const MyType & lhs, const MyType & rhs);

私#include <utility>が指定した場合using namespace std::rel_ops;、コンパイラはまだそれを訴えbinary '>' : no operator found which takes a left-hand operand of type 'MyType'ます..

Answer 1

私は<boost/operators.hpp>ヘッダーを使用します：

#include <boost/operators.hpp>

struct S : private boost::totally_ordered<S>
{
  bool operator<(const S&) const { return false; }
  bool operator==(const S&) const { return true; }
};

int main () {
  S s;
  s < s;
  s > s;
  s <= s;
  s >= s;
  s == s;
  s != s;
}

---

または、非メンバー オペレーターを使用する場合は、次のようにします。

#include <boost/operators.hpp>

struct S : private boost::totally_ordered<S>
{
};

bool operator<(const S&, const S&) { return false; }
bool operator==(const S&, const S&) { return true; }

int main () {
  S s;
  s < s;
  s > s;
  s <= s;
  s >= s;
  s == s;
  s != s;
}

Answer 2

実際にはそれだけ<で十分です。次のようにします。

a == b<=>!(a<b) && !(b<a)

a > b <=>b < a

a <= b<=>!(b<a)

a != b<=>(a<b) || (b < a)

対称の場合も同様です。

Answer 3

> equals !(<=)
>= equals !(<)
<= equals == or <
!= equals !(==)

このようなもの？