具有相等元素的 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