【C++學習筆記】 set里加入pair

set是C++ STL中一個有序的容器，與vector不同的是set里的元素不能重復。由於有排序的要求所以不是什么類型的都能往里放的，如果要放入一個set不支持的數據類型需要重載。

set 排序函數准則（准則摘抄自：http://hi.baidu.com/zhouhong0730/blog/item/45fbc432c1ec80a55fdf0e18.html）

向set中添加的元素類型必須重載<操作符用來排序，排序滿足以下准則：
1、非對稱，若A<B為真，則B<A為假。
2、可傳遞，若A<B,B<C，則A<C。
3、A<A永遠為假。

set中判斷元素是否相等： if(!(A<B || B<A))，當A<B和B<A都為假時，它們相等。

 

重載operator< 

以utility::pair<string,string>作為例子，重載並加入set中（當然pair本來就可以加入set中，此處只是做個例子）。首先分析運算符重載的運算問題。發現有兩個元素有點繞，突然想起可以用真值表來分析比較直白一點。

 

	pair_1.first<pair_2.first	pair_1.second<pair_2.second	pair_1.first>pair_2.first
TRUE	TRUE	TRUE	TRUE or FALSE
TRUE	TRUE	FALSE	TRUE or FALSE
TRUE	FALSE	TRUE	FALSE
FALSE	FALSE	TRUE	TRUE
FALSE	FALSE	FALSE	TRUE or FALSE

 

我們就可以使用真值表得到為TRUE的那幾列進行判斷。算式如下所示。

template<typename T>
struct classCompPair {
  bool operator() (const pair<T,T>& pair_1, const pair<T,T>& pair_2) const
  {    return (pair_1.first < pair_2.first) || (!(pair_1.first > pair_2.first && pair_1.first < pair_2.first)&&(pair_1.second < pair_2.second)); }
};


void main()
{
    set<pair<string,string>,classCompPair<string>> a;
    a.insert(pair<string,string>("1","2"));
    a.insert(pair<string,string>("1","2"));
    a.insert(pair<string,string>("1","3"));
    
    cout<<a.size()<<endl;
}