一周stackoverflow热门问题选登：“==” 和 “!=” 相互依存吗?​

提问： ”==” 和 “!=” 相互依存吗?

我学习C++操作符重载，我看到的是==和!=仅是可实现用户定义类型的一些特殊功能。然而，我考虑的是，为什么有需要两个单独的定义？我认为，如果a==b为真，那么a!=b为自动假的，反之亦然，并没有其他的可能性，因为，根据定义，a!=b就是!(a==b)。我无法从任何情况想象到这是不正确的。但也许我的想象力是有限的，或我是无知的东西吗？

我知道我可以在其他方面定义，但是这不是我的问题。我也没有问通过值或特性比较对象之间的区别。或者两个对象在同一时间可能是否相等或者不等（这绝对不是一种选择！这些东西是相互排斥的）。我想咨询一下是这样的：

是否在任何可能的情况下去询问两个对象是相等的有一定道理，但询问他们不是等于没有意义吗？ （无论从用户的角度来看，还是实施者的角度）

如果没有这样的可能性，为什么在地球上C++会有这两种操作符被定义成两种有区别的功能？

投票最多的回答：

当如果a == b返回非布尔类型值时你不会想用语言来自动重写 a != b as !(a == b)。这里面有几个原因。

您可能有表达式生成器对象，其中 a == b不打算进行任何比较，而只是建立代表a == b的一些表达式节点。

您可能延迟计算，其中a == b不适合直接进行任何比较，而是返回某种延迟加载布尔类型的类，可以在一段时间后实现显示或者隐式的布尔比较。可能与表达式生成器对象相结合，使计算前完整地表达优化。

你可能有一些自定义可选<T>模板类，这里给出的可选变量，t和u，你要允许将t == u，但要返回可选的<布尔>。

有可能是更多的，我没有想到的。而且即使在这些例子中操作的a== b和a!=b两者都做是有意义的，仍然a!=b与!(a == b)并不是一回事，所以需要单独的定义。

有兴趣的话可以关注我的微信公众号：学点编程吧