STL set深入分析

方法二：(在別的結構體內定義)

嚴格弱序化擁有如下屬性。對於集合S中所有的x，y，z，
對於所有的x，不存在x < x （非自反性 - 21條標題說的就是這個）
對於所有x不等於y，如果x < y那麼不存在y < x （不對稱性）
對於所有的x，y和z，如果x < y並且y < z，那麼x < z（傳遞性）
如果x < y，那麼對於所有的z，要麼x < z要麼z < y（或者兩者都成立）

。其實這個比較函數就是為了把元素放置到正確的位置上，相等元素(嚴格來說是相似，具體請看effective stl)。在執行插入操作的時候，將該插入元素和紅/黑樹狀結構的元素比較，找到正確的位置，如果出現相等元素，那麼插入失敗，它每次比較都會調用比較函數兩次：

，如果key1==key2那麼返回true,插入失敗。

可以發現最後一個插入元素操作沒有成功，因為set中已經有了一個wu1。