c++ - 在这种情况下，运算符应该 == 还是 != 抛出？

Question

我正在编写一个程序，我在其中创建了一个 POD 结构的 std::vector。该结构的成员之一是唯一标识符。

为了能够使用 std::binary_search，我必须为结构实现 operator<。遵循指南 here ，我正在为 ==、!=、<、>、>= 和 <= 编写完整的重载集。

这提出了一个我不确定如何处理的问题。 vector 将按我分配给每个结构的唯一 ID 排序。如果两个结构具有相同的标识符，则它们是相同的。但是，我突然想到，如果两个结构具有相同的标识符但其他成员中的数据不同，则可能会出现这种情况。

这永远不应该发生。让比较运算符检查其余字段并在它们不同但 ID 相同时抛出异常是否合适？哪种异常(exception)最合适？

Answer 1

这只是对 SCombinator's answer. 的扩展

您说“这永远不应该发生”的事实。意味着你想使用断言，而不是异常(或两者的组合)。异常会隐藏错误 - 好吧，不是隐藏，但您将能够捕获它并继续。它更适合您没有真正计划的特殊情况 - 例如，您试图打开一个不存在的文件。文件丢失并不是逻辑的一部分，而是您的弟弟不小心删除了您的文件，或者认为这是病毒的攻击性防病毒软件，或者其他什么 - 这只是一种特殊情况.

如果具有相同 ID 但不同的成员是永远不应该发生的事情，那基本上就是一个断言。这是逻辑的一部分——如果你愿意的话，它也是需求的一部分。抛出异常只是指出了这一点，但实际上并没有办法从中恢复。等你意识到不对劲的时候，已经晚了两点。你有两个 ID 相同但不同的对象，你不知道哪个是正确的，你不知道为什么不正确的存在，等等。您可能甚至不想从中恢复过来。应用程序已经处于错误状态 - 两个相互矛盾的对象已经存在。您的应用程序处于不可恢复状态 - 如果您继续使用它，您可能会得到错误的结果或更糟。

如果不是关键断言，您也可以事后抛出异常，并提供一种干净的方式来关闭应用程序，但这只是一种美化。

一般来说，我遵循一个简单的规则 - 如果在特殊情况下可能会发生某些事情，我会使用异常(exception)情况。如果这是永远不应该发生的事情，如果确实发生了，则意味着代码中的逻辑存在严重错误，我会使用断言(也可能是强制崩溃)。