Set和Multiset

　　Set和Multiset都會根據特定的排序準則，自動將元素排序，兩者不同在於multiset允許元素重複，而set不允許元素重複。

　　Set和Multiset的使用均需要包含標頭檔案<set>

	#include<set>

　　在這個標頭檔案中，上述兩個型別都被定義為std名稱空間中的class template：

template<
    template Key,
    template Compare = std::less<Key>,
    template Allocator =
 
 std::allocator<Key>
> class set;

template<
    template Key,
    template Compare = std::less<Key>,
    template Allocator = std::allocator<Key>
> class multiset;

　　必須是能夠比較的物件，才能作為set或者multiset的元素（即所謂的comparable）。排序準則預設為less——這是個函式物件，以operator<對元素進行比較。第三個引數指定記憶體模型，預設是allocator

Set和Multiset的能力

　　與所有的關聯式容器類似，set和multiset通常以平衡二叉樹完成——通常是紅黑樹，紅黑樹在改變元素數量和元素搜尋方面具有出色的效能，它保證節點安插最多做兩個重新連結的動作，而到達某一元素的最長路徑的深度，最多是最短路徑深度的兩倍。
　　set和multiset具有自動排序的功能，自動排序使得平衡二叉樹在查詢元素時具有卓越的效率。但同時也帶來一種限制——set和multiset無法直接改變元素的值，因為這樣會打亂原本的順序。
　　set和multiset本身並不提供任何操作函式可以直接訪問元素，從迭代器的角度而言，元素的值是常量。因此，要改變元素的值，只能刪除再插入。
　　

Set和Multiset的操作函式

建立、複製和解構函式

　　set的建構函式和解構函式，如下表所示——

　　其中，上表中set的形式可以置換為以下任意一種——

#include<set>
#include<iostream>
using namespace std;
int main(){
	cout << "multiset:" << endl;
	multiset<string> ms{ "B","C","A","A","A" };
	for (auto&it : ms) {
		cout << it << " ";
	}
	cout << endl << "set:" << endl;
	set<string> s{ "B","C","A","A" };
	for (auto&it : s) {
		cout << it << " ";
	}
	return 0;
}

　　上述程式碼中，使用range-based for迴圈對set/multiset的所有元素進行遍歷，顯然——
　　1.set/multiset具有自動排序功能；
　　2.set不允許重複元素，儘管使用初值列初始化有重複元素，但是即不生效，也不報錯。

非更易型操作(Nonmodifying Operating)

　　Set也提供元素比較、查詢大小等操作——

　　set的元素比較只適用於型別相同的元素，這裡的型別相同包括元素型別和排序準則，在set中，排序準則是作為型別看待的，因此不同排序型別的set無法比較，比如——

	std::set<float> c1;
	std::set<float,std::greater<float>> c2;
	if(c1==c2)// 編譯錯誤
	{
		...
	}

特殊的查詢函式

　　Set和Multiset在元素查詢方面具有優化設計，因此提供了特殊的查詢函式，

　　通過一個例子暫時其查詢函式的能力——

	multiset<int> ms{ 1,1,1,2,2,2,3,3,4,5,6,7,8 };
	cout << "ms.count(1) = " << ms.count(1) << endl;
	multiset<int>::iterator it1 = ms.find(2);
	cout << "ms.find(2) :" << endl << *it1 << endl;
	pair<multiset<int>::iterator,multiset<int>::iterator> it2 = ms.equal_range(3);
	cout << "ms.equal_range(3) :" << endl << *it2.first << " " << *it2.second << endl;

　　其中，除了count是返回int型之外，其餘的查詢函式返回的都是set<typename>::iterator迭代器，其指向的位置是已構建的平衡二叉樹的位置，而不是初始化時的位置。

賦值(Assignment)

　　Set只提供任何容器都提供的基本賦值操作：

迭代器函式(Iterator Function)

　Set和Multiset不提供元素訪問，所以只能採用range-based for迴圈，迭代器的使用就尤為常見：

	
	multiset<string> ms{ "apple","xiaomi","huawei","vivo","oppo" };
	// 遍歷set常用range-based for迴圈
	for (auto&elem : ms) {
		cout << elem << " ";
	}
	cout << endl;
	// 或者使用迭代器
	for (auto it = ms.cbegin(); it != ms.cend(); it++) {
		cout << *it << " ";
	}

　　對Set和Multiset而言，這裡的迭代器只能是雙向迭代器，因此，對於那些只能夠支援“隨機訪問迭代器”的STL演算法（如random shuffling），Set和Multiset無福消受。
　　更重要的是，從迭代器的角度而言，Set和Multiset的元素都被視為常量，這是因為改變其元素值會打亂既有順序，因此無法通過迭代器改變其元素值，也無法對Set和Multiset採用任何易更型演算法，只能通過其提供的成員函式來改變其元素值。

插入和移除(Inserting and Removing)

　　Set的所有插入和移除操作如下表所示——。

　　注意，用以插入元素的函式insert和emplace，其返回型別不盡相同，主要原因在於Set不允許元素重複，而Multiset可以——

	// Set提供如下介面
	pair<iterator,bool> insert(const value_type&val);
	iterator 			insert(const_iterator posHint,const value_type&val);
	template<typename args>
	pair<iterator,bool> emplace(args);
	template<typename args>
	iterator emplace_hint(const_iterator posHint,const value_type&val);
	// Multiset 提供如下介面
	iterator			insert(const value_type&val);
	iterator 			insert(const_iterator posHint,const value_type&val);
	template<typename args>
	iterator emplace(args);
	template<typename args>
	iterator emplace_hint(const_iterator posHint,const value_type&val);

　　兩者區別在於，Set不支援重複元素，因此返回的是一個pair組織起來的兩個值，其中pair.second表示是否插入成功，pair.first表示插入元素之後的位置（如果值相同，則返回相同元素的位置）。
　　同時，C++11保證，Multiset的insert、emplace和erase操作都會保證元素間的相對次序，插入元素都會被放到既有等值元素的末尾。

異常處理

　　Set和Multiset是以節點為基礎的容器，如果節點構建失敗，容器保持原樣。此外，由於（元素）解構函式通常不丟擲異常，因此移除元素不能失敗。
　　對於單一元素的插入操作，能夠保證其“要麼成功，要麼沒有任何作用”的操作原則，但是對於多重元素的插入操作，必須保證其排序準則不丟擲異常，才能保證其達到這一點。