为什么 std::strong_ordering 有一个“等效”值？

Question

std::strong_ordering 的有效值为less、equal、equivalent 和greater。但是，strong_ordering::equivalent 和 strong_ordering::equal 似乎是相等的（ie，可互换），因为在这两种情况下，仅用于说明的 value 字段等于 0，并且对于仅用于初始化的公开构造函数。

strong_ordering 没有任何单独 equivalent 值是有道理的，因为当排序强时，等价值总是相等的。但是让strong_ordering::equivalent 成为strong_ordering::equal 的同义词而不是根本不定义它有什么意义呢？

Answer 1

这允许为所有比较类别C 定义C::equivalent。以前有五个，全都有这个，现在只有三个。

如果您需要类似的东西，拥有它会有所帮助。而且提供它不需要任何费用，所以......就是这样。