具有相等元素的 std::sort 会导致分段错误

Question

我有一个存储指针的容器。 我试图根据指针指向的相应对象中的数据成员按非递增顺序对这些指针进行排序。 就我而言，许​​多对象可能对该数据成员具有相同的值。

下面是一个简短的代码来说明问题。 对 sort 函数的调用给出了 Segmentation 错误。 奇怪的是，如果容器中有 16 个元素指向具有相同双精度值的对象，则排序似乎有效。 但是，如果我有 17 个元素指向具有相同值的对象，则会出现段错误。

谁能解释一下为什么会发生这种情况？

#include <iostream>
#include <algorithm>
#include <deque>

//some class
class A {
public:
    double a;
    A(double aval);
};

A::A(double aval) : a(aval) {}

//compare class
struct cmp_A : std::greater_equal<A*> {
    bool operator() (const A* x, const A* y) const;
} cmp_A_obj;

//greater_equal comparison
bool cmp_A::operator() (const A* x, const A* y) const {
    return (x->a >= y->a);
}

int main() {
    std::deque<A*> Adeque;
    //insert 17 A pointers into the container
    for(int i = 1; i<=17; i++) {
        Adeque.push_back(new A(5));
    }

    //This call to sort gives a Segmentation fault
    std::sort(Adeque.begin(), Adeque.end(), cmp_A_obj);

    for(std::deque<A*>::iterator i = Adeque.begin(); i!= Adeque.end(); i++) {
        std::cout << "|" << (*i)->a;
    }
    std::cout << std::endl;
}

Answer 1

您的比较必须实现严格的弱排序。 小于或等于不满足这一点。 它应该等同于运算符<和>实现的“小于”或“大于”，例如整数。

元素的相等性是通过两次应用此顺序来确定的：

(!cmp(a,b)) && (!cmp(b,a)); // if this is false, a == b