但我担心的是，为什么需要两个不同的定义呢?

你不必同时定义两者。 如果它们是互斥的，您仍然可以通过在std::rel_ops旁边定义==和<来保持简洁

Fom 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';
}

有没有可能的情况是问关于二的问题 对象相等是有意义的，但是问它们不相等 相等没有意义吗?

我们经常把这些运算符和相等联系起来。 尽管这是它们在基本类型上的行为方式，但没有义务在自定义数据类型上也是如此。 如果你不想，你甚至不需要返回bool值。

我见过人们以奇怪的方式重载操作符，最后却发现这对特定领域的应用程序是有意义的。即使接口显示它们是互斥的，作者也可能希望添加特定的内部逻辑。

(无论是从用户的角度，还是从实现者的角度)

我知道你想要一个具体的例子， 下面是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 );
}

这些操作符做不同的事情，将一个方法定义为另一个方法的!(不是)是没有意义的。这样做的原因是，框架可以打印出所做的比较。为了做到这一点，它需要捕获所使用的重载操作符的上下文。

有一些非常完善的约定，其中(a == b)和(a != b)都是假的，不一定是相反的。特别地，在SQL中，任何与NULL的比较都会产生NULL，而不是true或false。

如果可能的话，创建这样的新示例可能不是一个好主意，因为这太不直观了，但是如果您试图对现有的约定建模，那么可以选择使您的操作符在该上下文中表现得“正确”。

最后，使用这些操作符检查表达式a == b或a != b是否返回布尔值(true或false)。这些表达式在比较后返回一个布尔值，而不是互斥的。

enum BoolPlus {
    kFalse = 0,
    kTrue = 1,
    kFileNotFound = -1
}

BoolPlus operator==(File& other);
BoolPlus operator!=(File& other);

我不能证明这个操作符重载是正确的，但在上面的例子中，不可能定义操作符!作为运算符==的“对立面”。

也许是一个不可比较的规则，其中a != b为假，a == b为假，就像一个无状态位。

if( !(a == b || a != b) ){
    // Stateless
}

如果没有这种可能性，那么究竟为什么c++将这两个操作符定义为两个不同的函数呢?

因为你可以让它们超载，通过超载，你可以赋予它们一个与原来完全不同的含义。

例如，操作符<<，最初是位左移操作符，现在通常重载为插入操作符，如std::cout << something;和原来的意思完全不同。

因此，如果您接受重载操作符时操作符的含义会发生变化，那么就没有理由阻止user给operator ==赋予一个与operator !=不完全相反的含义，尽管这可能会令人困惑。