C++ comp(a,a)==false

Question

我在 sort() 函数中使用了 lambda 函数。在我的 lambda 函数中，如果两个相等，我将返回 true。然后我得到了段错误。

审核后C++ Compare , 它说

For all a, comp(a,a) == false

我不明白为什么它一定是假的。为什么我不能让 comp(a,a)==true？

(提前致谢)

Answer 1

将 Comp 视为某种“小于” 关系，即它定义了一组数据的某种排序。

现在你可能想用这种关系做一些事情，比如按升序对数据进行排序，对排序后的数据进行二分查找等。

有很多算法可以非常快地完成类似的事情，但它们通常要求它们处理的顺序是“合理的”，这是用术语 Strict weak ordering 形式化的。 .它由您提供的链接中的规则定义，第一个基本上意味着:

“任何元素都不得小于自身。”

这确实是合理的假设，也是我们算法要求的事情之一。