(. .为什么需要两个不同的定义?

需要考虑的一件事是，实现其中一个操作符可能比仅使用另一个操作符的反求值更有效。

(我这里的例子是垃圾，但重点仍然成立，想想bloom过滤器，例如:它们允许快速测试，如果某些东西不在集合中，但测试它是否在集合中可能需要更多时间。)

(. .根据定义，a != b是!(a == b)。

这是你作为程序员的责任。这可能是编写测试的好方法。

有没有可能的情况是问关于二的问题 对象相等是有意义的，但是问它们不相等 相等没有意义吗?(无论是从用户的角度，还是从 实现者的角度)

这只是个人观点。也许不是。但是语言的设计者并不是无所不知的，他们决定不限制那些可能想出有意义的情况的人(至少对他们来说)。

(. .为什么需要两个不同的定义?

需要考虑的一件事是，实现其中一个操作符可能比仅使用另一个操作符的反求值更有效。

(我这里的例子是垃圾，但重点仍然成立，想想bloom过滤器，例如:它们允许快速测试，如果某些东西不在集合中，但测试它是否在集合中可能需要更多时间。)

(. .根据定义，a != b是!(a == b)。

这是你作为程序员的责任。这可能是编写测试的好方法。

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

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

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

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

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

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

你不必同时定义两者。 如果它们是互斥的，您仍然可以通过在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 );
}

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