進行std sort的元素為什麼要保證嚴格弱序？

首先補充一下滿足嚴格弱序的3個條件：

1.兩個關鍵字不能同時嚴格弱序於對方。

2.如果a嚴格弱序於b，且b嚴格弱序於c,則a必須嚴格弱序於c。

3.如果存在兩個關鍵字，任何乙個都不嚴格弱序於另乙個，則這兩個關鍵字是相等的。

sort採用的排序演算法是introsort，是一種混合型演算法。簡單來說就是利用快排將要排序的陣列分隔成大致有序的幾段，根據遞迴深度和分隔開的小段長度情況看是否採取堆排序，最後再進行插入排序。這樣的話能在最壞情況下將時間複雜度推進到o(nlogn)。在sgistl實現的插入排序是這麼寫的：

1
void
__unguarded_linear_insert(randomaccessiterator last, t value)
211     *last =value;
12 }

將注意力放在第5行的while迴圈上，你會發現這裡並沒有判斷邊界，原因是stl以嚴格弱序為前提且在進入這個函式前會保證有哨兵在陣列的前方。（這裡**是直接使用的小於，使用自定義comp的時候將while裡的《判斷換成comp理解就可以了。）

那麼如果我們元素不嚴格弱序的話，在全是相等元素的情況下，這個while會無限迴圈下去，最終造成陣列越界！

其實不止在插入排序這塊，在快速排序進行分割的時候也會出現類似的問題，這裡就不再多說了。