그러나 내 관심사는 왜 두 개의 별도 정의가 필요한가?

두 가지를 모두 정의 할 필요는 없습니다.
상호 배타적 인 경우 std :: rel_ops를 정의 ==하고 <나란히 정의하면 간결 할 수 있습니다.

안개 cppreference :

#include <iostream>
#include <utility>

struct Foo {
    int n;
};

bool operator==(const Foo& lhs, const Foo& rhs)
{
    return lhs.n == rhs.n;
}

bool operator<(const Foo& lhs, const Foo& rhs)
{
    return lhs.n < rhs.n;
}

int main()
{
    Foo f1 = {1};
    Foo f2 = {2};
    using namespace std::rel_ops;

    //all work as you would expect
    std::cout << "not equal:     : " << (f1 != f2) << '\n';
    std::cout << "greater:       : " << (f1 > f2) << '\n';
    std::cout << "less equal:    : " << (f1 <= f2) << '\n';
    std::cout << "greater equal: : " << (f1 >= f2) << '\n';
}

두 물체가 동등하다는 질문은 이해가되지만, 동일하지 않다는 것은 이해가되지 않는 상황이 있습니까?

우리는 종종 이러한 연산자를 평등에 연결합니다.
이것이 기본 유형에서 작동하는 방식이지만, 이것이 사용자 정의 데이터 유형에서 작동하는 의무는 없습니다. 원하지 않으면 부울을 반환하지 않아도됩니다.

나는 사람들이 연산자를 기괴한 방식으로 과부하시키는 것을 보았지만 도메인 특정 응용 프로그램에 적합하다는 것을 알았습니다. 인터페이스가 상호 배타적임을 나타내는 것처럼 보이지만 저자는 특정 내부 논리를 추가 할 수 있습니다.

(사용자 관점 또는 구현 자의 관점에서)

나는 당신이 특정 예제를 원한다는 것을 알고
있으므로 다음은 내가 생각한 Catch 테스트 프레임 워크의 예 입니다.

template<typename RhsT>
ResultBuilder& operator == ( RhsT const& rhs ) {
    return captureExpression<Internal::IsEqualTo>( rhs );
}

template<typename RhsT>
ResultBuilder& operator != ( RhsT const& rhs ) {
    return captureExpression<Internal::IsNotEqualTo>( rhs );
}

이 연산자는 다른 일을하고 있으므로 한 방법을 다른 방법의! (not)로 정의하는 것은 의미가 없습니다. 이것이 이루어지는 이유는 프레임 워크가 비교를 인쇄 할 수 있기 때문입니다. 그렇게하려면 오버로드 된 연산자가 사용 된 컨텍스트를 캡처해야합니다.

답변

$ ghci
GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
λ> :i Eq
class Eq a where
  (==) :: a -> a -> Bool
  (/=) :: a -> a -> Bool
        -- Defined in `GHC.Classes'