11.7 比較函式的鐵則：相等必須回傳 false

自定義比較函式有一條不能踩的紅線。太多人踩過、而且踩了以後幾小時都查不出來，所以它值得獨立成一節。

經典錯誤：兩個元素相等時回傳 true——程式直接當掉

「由小到大，相等的話誰先都行」——很多人順手就寫成 <=：

✘ 錯誤寫法：

bool cmp(int x, int y) {
    return x <= y;     // 相等時回傳 true：災難的開始
}

✔︎ 正確寫法：

bool cmp(int x, int y) {
    return x < y;      // 相等時回傳 false
}

為什麼錯？ cmp(x, y) 回傳 true 是一句承諾：「x 必須排在 y 前面」。相等時回傳 true，等於同時承諾「x 要在 y 前面」和「y 要在 x 前面」（把兩個參數對調也是 true）——自相矛盾。sort 內部靠這些回答決定要走多遠、停在哪，拿到矛盾的回答就可能走出陣列範圍外（上冊 6.8 的 UB）。

登入後即可閱讀完整內容

語法書免費開放給所有 AACPOJ 帳號，註冊只要一分鐘。

登入免費註冊

← 11.6 自定義比較函式 11.8 stable_sort：穩定排序（延伸知識） →