首頁 > 後端開發 > C++ > 為什麼使用非嚴格小於運算子時 `std::sort` 會崩潰?

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

DDD
發布: 2024-12-14 12:29:20
原創
693 人瀏覽過

Why Does `std::sort` Crash with a Non-Strict Less-Than Operator?

非嚴格比較函數的 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中文網其他相關文章!

來源:php.cn
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板