С ++: „ungültig Komparator“ behaupten

Question

Hier ist der Code:

struct Payment 
{ 
    Payment(time_t time, float money) : mTime(time), mMoney(money) {} 
    bool operator==(const Payment& p) const // exact comparison 
    { 
     return mTime == p.mTime && mMoney == p.mMoney; 
    } 
    time_t mTime; 
    float mMoney; 
}; 

std::vector<Payment> payments; 

auto sortP = [](const Payment& p1, const Payment& p2) { return p1.mTime < p2.mTime || p1.mMoney <= p2.mMoney; }; 
std::sort(payments.begin(), payments.end(), sortP); 

std::sort (nicht immer, aber manchmal, wenn mTime von zwei Elementen nahe beieinander) ungültig Komparator hebt in Visual Studio 2015 behaupten Was stimmt nicht mit dem Code?

Answer 1

|| p1.mMoney <= p2.mMoney sollte || ((p1.mTime == p2.mTime) && (p1.mMoney < p2.mMoney)) seine Ansonsten Vergleich zum Fall falsch sein wird, wenn p1.mTime größer als p2.mTime während p1.mMoney ist kleiner als p2.Money. Eine gute Praxis, um sicherzustellen, dass solche Mehrfeldkomparatoren eine strenge schwache Bestellanforderung erfüllen, besteht darin, Tests für alle möglichen lt/gt-Kombinationen von Feldern zu schreiben.

Answer 2

Das Problem ist mit der Implementierung von . Es erfüllt nicht die streng schwachen Bestellkriterien. Lesen Sie die Details unter http://www.sgi.com/tech/stl/StrictWeakOrdering.html.

Ich schlage vor, die folgende Änderung:

auto sortP = [](const Payment& p1, const Payment& p2) 
{ 
    // Order by mTime if they are not equal. 
    if (p1.mTime != p2.mTime) 
    { 
    return p1.mTime < p2.mTime; 
    } 

    // Otherwise, order by pMoney 
    return (p1.mMoney < p2.mMoney); // Use < not <= 
}; 

Sie können std::tie verwenden die Implementierung einfacher zu machen.

auto sortP = [](const Payment& p1, const Payment& p2) 
{ 
    return std::tie(p1.mTime, p1.mMoney) < std::tie(p2.mTime, p2.mMoney); 
}; 

Answer 3

Mit c++11 Ihre Lambda-Komparator sollte wie folgt aussehen:

#include <tuple> 
... 
auto sortP = [](const Payment& p1, const Payment& p2) 
{ 
    return std::tie(p1.mTime, p1.mMoney) < std::tie(p2.mTime, p2.mMoney); 
};