5

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

以下是说明问题的简短代码。对排序函数的调用给出了分段错误。奇怪的是，如果容器中有 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;
}
4

1 回答 1

15

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

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

(!cmp(a,b)) && (!cmp(b,a)); // if this is false, a == b
于 2013-05-14T05:42:26.227 回答