c++ - ポインターの std:vector で std::sort が失敗する

Question

次のコードは、ベクターの並べ替え中にクラッシュします。

#include<cstdio>
#include<vector>
#include<algorithm>
using namespace std;

struct Foo
{
    int x;
    // int y;
    Foo() : x(0) {}
};

struct Cmp
{
    bool operator() (Foo* p1, Foo *p2) const
    {
        if (p1->x != p2->x) return p1->x < p2->x;
        // if (p1->y != p2->y) return p1->y < p2->y;
        return true;
    }
};

int main()
{
    vector<Foo*> v;
    for (int i=0; i<17; i++) // weird thing, doesn't crash if
                             // I put a number less than 17 !!!
    {
        Foo *ptr = new Foo();
        if (ptr) v.push_back(ptr);
    }
    sort(v.begin(), v.end(), Cmp());

    return 0;
}

これはなぜですか？

Answer 1

bool operator() (Foo* p1, Foo *p2) const
{
    if (p1->x != p2->x) return p1->x < p2->x;
    return true;
}

std::sortstrict-weak 順序付けを作成する sort 関数が必要です。これはしません。これは<=、strict-weak 順序付けではありません。lhsとrhsが等しい場合、comp(lhs, rhs)とcomp(rhs, lhs)は両方ともfalseを返す必要があります。

あなたの機能はそうではありません。したがって、未定義の動作が発生します。