stl sort 不需要严格的弱排序才能工作吗？答案

【问题标题】：Doesnt stl sort require a strict weak ordering to work?stl sort 不需要严格的弱排序才能工作吗？
【发布时间】：2013-05-25 08:23:30
【问题描述】：

您可以将 less_equal 对象传递给任何需要二进制函数的算法。例如，sort() 算法可以接受二进制函数作为替代比较对象来对序列进行排序。 less_equal 将在该算法中以下列方式使用：

vector<int> vec1;
sort(vec1.begin(), vec1.end(),less_equal<int>());

现在我很困惑，上面的文档是否正确？

【问题讨论】：

【解决方案1】：

你说得对，std::sort 要求比较器定义严格的弱排序。

这意味着std::less_equal 不应与std::sort 一起使用。不过，它仍然可以与许多其他标准算法一起使用，这些算法采用二进制函数并且没有严格的弱排序要求。

【讨论】：

所以 stdcxx 的排序不符合标准并且仍然适用于
鉴于他们声称他们的sort（在this page 的底部）符合标准，那么他们的文档是错误的。你应该使用less_equal。
@San：你的逻辑是倒退的。如果您确实提供严格的弱排序，则sort 需要工作。如果您不提供严格的弱排序，则将删除对其的所有要求。不一定要成功，但也不一定要失败。
@san 如果您所做的只是对所有不等价的元素进行排序（即x <= y 或y <= x，但不能同时使用两者），那么您可以使用<= 作为比较器。另请参阅 Scott Meyers 的有效 STL 的第 19 条（“了解等价和相等之间的区别”）。
我有一个问题。为什么 std::sort 需要同时比较 a