【C++】STL：set
1.關於set
C++ STL 之所以得到廣泛的讚譽，也被很多人使用，不只是提供了像vector, string, list等方便的容器，更重要的是STL封裝了許多複雜的資料結構演算法和大量常用資料結構操作。vector封裝陣列，list封裝了連結串列，map和set封裝了二叉樹等，在封裝這些資料結構的時候，STL按照程式設計師的使用習慣，以成員函式方式提供的常用操作，如：插入、排序、刪除、查詢等。讓使用者在STL使用過程中，並不會感到陌生。
關於set，必須說明的是set關聯式容器。set作為一個容器也是用來儲存同一資料型別的資料型別，並且能從一個數據集合中取出資料，在set中每個元素的值都唯一，而且系統能根據元素的值自動進行排序。應該注意的是set中數元素的值不能直接被改變。C++ STL中標準關聯容器set, multiset, map, multimap內部採用的就是一種非常高效的平衡檢索二叉樹：紅黑樹，也成為RB樹(Red-Black Tree)。RB樹的統計效能要好於一般平衡二叉樹，所以被STL選擇作為了關聯容器的內部結構。
關於set有下面幾個問題：
（1）為何map和set的插入刪除效率比用其他序列容器高？
大部分人說，很簡單，因為對於關聯容器來說，不需要做記憶體拷貝和記憶體移動。說對了，確實如此。set容器內所有元素都是以節點的方式來儲存，其節點結構和連結串列差不多，指向父節點和子節點。結構圖可能如下：
A
/ \
B C
/ \ / \
D E F G
因此插入的時候只需要稍做變換，把節點的指標指向新的節點就可以了。刪除的時候類似，稍做變換後把指向刪除節點的指標指向其他節點也OK了。這裡的一切操作就是指標換來換去，和記憶體移動沒有關係。
（2）為何每次insert之後，以前儲存的iterator不會失效？（答案是會失效。）
iterator這裡就相當於指向節點的指標，記憶體沒有變，指向記憶體的指標怎麼會失效呢(當然被刪除的那個元素本身已經失效了)。相對於vector來說，每一次刪除和插入，指標都有可能失效，呼叫push_back在尾部插入也是如此。因為為了保證內部資料的連續存放，iterator指向的那塊記憶體在刪除和插入過程中可能已經被其他記憶體覆蓋或者記憶體已經被釋放了。即使時push_back的時候，容器內部空間可能不夠，需要一塊新的更大的記憶體，只有把以前的記憶體釋放，申請新的更大的記憶體，複製已有的資料元素到新的記憶體，最後把需要插入的元素放到最後，那麼以前的記憶體指標自然就不可用了。特別時在和find等演算法在一起使用的時候，牢記這個原則：不要使用過期的iterator。
（3）當資料元素增多時，set的插入和搜尋速度變化如何？（不用擔心速度）
如果你知道log2的關係你應該就徹底瞭解這個答案。在set中查詢是使用二分查詢，也就是說，如果有16個元素，最多需要比較4次就能找到結果，有32個元素，最多比較5次。那麼有10000個呢？最多比較的次數為log10000，最多為14次，如果是20000個元素呢？最多不過15次。看見了吧，當資料量增大一倍的時候，搜尋次數只不過多了1次，多了1/14的搜尋時間而已。你明白這個道理後，就可以安心往裡面放入元素了。
2.set中常用的方法
1. begin()--返回指向第一個元素的迭代器
2. clear()--清除所有元素
3. count()--返回某個值元素的個數
4. empty()--如果集合為空，返回true
5. end()--返回指向最後一個元素的迭代器
6. equal_range()--返回集合中與給定值相等的上下限的兩個迭代器
7. erase()--刪除集合中的元素
8. find()--返回一個指向被查詢到元素的迭代器
9. get_allocator()--返回集合的分配器
10. insert()--在集合中插入元素
11. lower_bound()--返回指向大於（或等於）某值的第一個元素的迭代器
12. key_comp()--返回一個用於元素間值比較的函式
13. max_size()--返回集合能容納的元素的最大限值
14. rbegin()--返回指向集合中最後一個元素的反向迭代器
15. rend()--返回指向集合中第一個元素的反向迭代器
16. size()--集合中元素的數目
17. swap()--交換兩個集合變數
18. upper_bound()--返回大於某個值元素的迭代器
19. value_comp()--返回一個用於比較元素間的值的函式
下面先通過一個例子來看看set的特性：
#include <iostream>
#include <set>
using namespace std;
int main()
{
set<int> s;
s.insert(1);
s.insert(2);
s.insert(3);
s.insert(1);
cout<<"set 的 size 值為 ："<<s.size()<<endl;
cout<<"set 的 maxsize的值為 ："<<s.max_size()<<endl;
cout<<"set 中的第一個元素是 ："<<*s.begin()<<endl;
cout<<"set 中的最後一個元素是:"<<*s.end()<<endl;
s.clear();
if(s.empty())
{
cout<<"set 為空 ！！！"<<endl;
}
cout<<"set 的 size 值為 ："<<s.size()<<endl;
cout<<"set 的 maxsize的值為 ："<<s.max_size()<<endl;
return 0;
}
結果為：
忽略其中的亂碼。
插入3之後雖然插入了一個1，但是我們發現set中最後一個值仍然是3哈，這就是set 。還要注意begin() 和 end()函式是不檢查set是否為空的，使用前最好使用empty()檢驗一下set是否為空。
函式具體使用
count()用來查詢set中某個某個鍵值出現的次數。這個函式在set並不是很實用，因為一個鍵值在set只可能出現0或1次，這樣就變成了判斷某一鍵值是否在set出現過了。
#include <iostream>
#include <set>
using namespace std;
int main()
{
set<int> s;
s.insert(1);
s.insert(2);
s.insert(3);
s.insert(1);
cout<<"set 中 1 出現的次數是 ："<<s.count(1)<<endl;
cout<<"set 中 4 出現的次數是 ："<<s.count(4)<<endl;
return 0;
}結果為：
equal_range() ，返回一對定位器，分別表示第一個大於或等於給定關鍵值的元素和 第一個大於給定關鍵值的元素，這個返回值是一個pair型別，如果這一對定位器中哪個返回失敗，就會等於end()的值。具體這個有什麼用途我還沒遇到過~~~
#include <iostream>
#include <set>
using namespace std;
int main()
{
set<int> s;
set<int>::iterator iter;
for(int i = 1 ; i <= 5; ++i)
{
s.insert(i);
}
for(iter = s.begin() ; iter != s.end() ; ++iter)
{
cout<<*iter<<" ";
}
cout<<endl;
pair<set<int>::const_iterator,set<int>::const_iterator> pr;
pr = s.equal_range(3);
cout<<"第一個大於等於 3 的數是 ："<<*pr.first<<endl;
cout<<"第一個大於 3的數是 ： "<<*pr.second<<endl;
return 0;
}結果為
erase(iterator)，刪除定位器iterator指向的值
erase(first,second)，刪除定位器first和second之間的值
erase(key_value)，刪除鍵值key_value的值
#include <iostream>
#include <set>
using namespace std;
int main()
{
set<int> s;
set<int>::const_iterator iter;
set<int>::iterator first;
set<int>::iterator second;
for(int i = 1 ; i <= 10 ; ++i)
{
s.insert(i);
}
//第一種刪除
s.erase(s.begin());
//第二種刪除
first = s.begin();
second = s.begin();
second++;
second++;
s.erase(first,second);//first取到，second取不到
//第三種刪除
s.erase(8);
cout<<"刪除後 set 中元素是 ：";
for(iter = s.begin() ; iter != s.end() ; ++iter)
{
cout<<*iter<<" ";
}
cout<<endl;
return 0;
}結果為
set中的刪除操作是不進行任何的錯誤檢查的，比如定位器的是否合法等等，所以用的時候自己一定要注意。
find() ，返回給定值值得定位器，如果沒找到則返回end()。
#include <iostream>
#include <set>
using namespace std;
int main()
{
int a[] = {1,2,3};
set<int> s(a,a+3);//地址
set<int>::iterator iter;
if((iter = s.find(2)) != s.end())
{
cout<<*iter<<endl;//輸出為2
}
return 0;
}結果為
insert(key_value)；將key_value插入到set中 ，返回值是pair<set<int>::iterator,bool>，bool標誌著插入是否成功，而iterator代表插入的位置，若key_value已經在set中，則iterator表示的key_value在set中的位置。
inset(first,second)；將定位器first到second之間的元素插入到set中，返回值是void。
#include <iostream>
#include <set>
using namespace std;
int main()
{
int a[] = {1,2,3};
set<int> s;
set<int>::iterator iter;
s.insert(a,a+3);
for(iter = s.begin() ; iter != s.end() ; ++iter)
{
cout<<*iter<<" ";
}
cout<<endl;
pair<set<int>::iterator,bool> pr;
pr = s.insert(5);
if(pr.second) //判斷是否插入成功
{
cout<<*pr.first<<endl;
}
return 0;
}結果為
lower_bound(key_value) ，返回第一個大於等於key_value的定位器。
upper_bound(key_value)，返回最後一個大於key_value的定位器。
#include <iostream>
#include <set>
using namespace std;
int main()
{
set<int> s;
s.insert(1);
s.insert(3);
s.insert(4);
cout<<*s.lower_bound(2)<<endl;//不小於2的第一個
cout<<*s.lower_bound(3)<<endl;//不小於3的第一個
cout<<*s.upper_bound(3)<<endl;//大於3的第一個
return 0;
}
結果為
三.自定義比較函式
這裡可以參考部落格當中的“map 容器排序問題”
(1)元素不是結構體：
例：
//自定義比較函式myComp,過載“（）”操作符
struct myComp
{
bool operator()(const your_type &a,const your_type &b)
[
return a.data-b.data>0;
}
}
set<int,myComp>s;
......
set<int,myComp>::iterator it; (2)如果元素是結構體，可以直接將比較函式寫在結構體內。
例：
struct Info
{
string name;
float score;
//過載“<”操作符，自定義排序規則
bool operator < (const Info &a) const
{
//按score從大到小排列
return a.score<score;
}
}
set<Info> s;
......
set<Info>::iterator it;