為什麼使用非嚴格小於運算子時 `std::sort` 會崩潰？

非嚴格比較函數的 std::sort 異常

以下程式使用 VC 2012 編譯，表現出意外的行為：

#include <algorithm>

struct A {
    int a;
    bool operator<(const A& other) const {
        return a <= other.a; // Potential issue
    }
};

int main() {
    A coll[8];
    std::sort(&coll[0], &coll[8]); // Crash may occur
    return 0;
}

問題解釋

出現這個問題是因為比較函數運算子

不嚴格遵循std::sort的要求。根據 C 標準函式庫（第 25.3.1.1 節），std::sort 需要滿足所謂的「嚴格弱排序」屬性的比較函數。但是，給定程式中的比較函數僅允許元素被視為相等，但不能嚴格小於彼此。這可能會導致歧義，並可能導致排序演算法中的無限循環。

嚴格弱排序規則

嚴格弱排序規則規定，對於比較函數'> ;' （也適用於「
• 如果> b，則b！ ＜ a

如果a >= b 且b >= a，則a == b

比較函數的意思

在在給定的程式碼中，比較函數運算子

解決方案

struct A {
    int a;
    bool operator<(const A& other) const {
        return a < other.a; // Strict comparison
    }
};

要解決此問題，比較應修改函數以嚴格比較元素：

透過此修改，程序應按預期運行，而無需崩潰了。

以上是為什麼使用非嚴格小於運算子時 `std::sort` 會崩潰？的詳細內容。更多資訊請關注PHP中文網其他相關文章！