std::set

template < class T,                        // set::key_type/value_type           class Compare = less<T>,        // set::key_compare/value_compare           class Alloc = allocator<T>      // set::allocator_type           > class set;

集合 (Set)

集合是遵循特定順序儲存唯一元素的容器。

在set中，元素的值也標識了它（值本身就是鍵，型別為T），並且每個值必須是唯一的。set中的元素的值一旦進入容器就不能被修改（元素總是 const 的），但可以從容器中插入或刪除它們。

在內部，set中的元素始終按照其內部比較物件（型別為Compare).

set）所指定的特定嚴格弱序標準進行排序。容器通常比 unordered_set 容器透過鍵訪問單個元素要慢，但它們允許基於其順序對子集進行直接迭代。

集合通常實現為二叉搜尋樹。

容器屬性

關聯容器: 關聯容器中的元素是透過它們的鍵而不是它們在容器中的絕對位置來引用的。
有序的: 容器中的元素始終遵循嚴格的順序。所有插入的元素都會在此順序中獲得一個位置。
集合 (Set): 元素的值也是用於標識它的鍵。
唯一的鍵: 容器中沒有兩個元素可以具有等效的鍵。
感知分配器: 容器使用分配器物件來動態處理其儲存需求。

模板引數

T: 元素的型別。set容器中的每個元素也由這個值唯一標識（每個值本身也是元素的鍵）。
別名為成員型別set::key_type和set::value_type.
Compare: 一個二元謂詞，它接受兩個與元素型別相同的引數並返回一個bool值。表示式comp(a,b)，其中 comp 是此型別的物件，a 和 b 是鍵值，如果 a 在該函式定義的嚴格弱序中被認為在 b 之前，則應返回true。
要放回的字元的set物件使用此表示式來確定元素在容器中遵循的順序以及兩個元素鍵是否等效（透過自反比較它們：如果!comp(a,b) && !comp(b,a)，則它們是等效的）。set容器中沒有兩個元素可以等效。
這可以是一個函式指標或一個函式物件（參見建構函式以獲取示例）。它預設為less<T>，其返回結果與應用小於運算子 (a<b).
別名為成員型別set::key_compare和set::value_compare.
分配器 (Alloc): 用於定義儲存分配模型的分配器物件型別。預設情況下，使用 allocator 類模板，它定義了最簡單的記憶體分配模型並且與值無關。
別名為成員型別set::allocator_type.

成員型別

成員型別	定義	說明
`key_type`	第一個模板引數 (`T`)
`value_type`	第一個模板引數 (`T`)
`key_compare`	第二個模板引數 (`Compare`)	預設為`less<key_type>`
`value_compare`	第二個模板引數 (`Compare`)	預設為`less<value_type>`
`allocator_type`	第三個模板引數 (`分配器 (Alloc)`)	預設為`allocator<value_type>`
`引用`	`allocator_type::reference`	對於預設的 allocator`value_type&`
`const_reference`	`allocator_type::const_reference`	對於預設的 allocator`const value_type&`
`指標`	`allocator_type::pointer`	對於預設的 allocator`value_type*`
`const_pointer`	`allocator_type::const_pointer`	對於預設的 allocator`const value_type*`
`iterator`	指向`value_type`	的隨機訪問迭代器，可轉換為`const_iterator`
`const_iterator`	指向`const value_type`
`reverse_iterator`	`reverse_iterator<iterator>`
`const_reverse_iterator`	`reverse_iterator<const_iterator>`
`difference_type`	一個有符號整數型別，與`iterator_traits<iterator>::difference_type`	相同，通常與 ptrdiff_t 一樣
`size_type`	一個可以表示任何非負值的`difference_type`	的無符號整數型別，通常與 size_t 一樣

成員型別	定義	說明
`key_type`	第一個模板引數 (`T`)
`value_type`	第一個模板引數 (`T`)
`key_compare`	第二個模板引數 (`Compare`)	預設為`less<key_type>`
`value_compare`	第二個模板引數 (`Compare`)	預設為`less<value_type>`
`allocator_type`	第三個模板引數 (`分配器 (Alloc)`)	預設為`allocator<value_type>`
`引用`	`value_type&`
`const_reference`	`const value_type&`
`指標`	`allocator_traits<allocator_type>::pointer`	對於預設的 allocator`value_type*`
`const_pointer`	`allocator_traits<allocator_type>::const_pointer`	對於預設的 allocator`const value_type*`
`iterator`	指向`const value_type`	* 可轉換為`const_iterator`
`const_iterator`	指向`const value_type`	*
`reverse_iterator`	`reverse_iterator<iterator>`	*
`const_reverse_iterator`	`reverse_iterator<const_iterator>`	*
`difference_type`	一個有符號整數型別，與 `iterator_traits<iterator>::difference_type`	相同，通常與 ptrdiff_t 一樣
`size_type`	一個可以表示任何非負值的`difference_type`	的無符號整數型別，通常與 size_t 一樣

*注意：set 中的所有迭代器都指向 const 元素。const_成員型別是否與其非const_對應項是同一型別取決於具體的庫實現，但程式不應依賴於它們的不同來過載函式const_iterator更通用，因為iterator總是可以轉換為它。

成員函式

（建構函式）: 構造集合（公開成員函式）

(解構函式): 集合解構函式（公開成員函式）

operator=: 複製容器內容（公開成員函式）

迭代器:

begin: 返回指向起始位置的迭代器 (公開成員函式)

end: 返回指向末尾的迭代器 (公開成員函式)

rbegin: 返回指向反向起始位置的反向迭代器 (公開成員函式)

rend: 返回指向反向末尾的反向迭代器 (公開成員函式)

cbegin: 返回指向起始位置的 const_iterator (公開成員函式)

cend: 返回指向末尾的 const_iterator (公開成員函式)

crbegin: 返回指向反向起始位置的 const_reverse_iterator (公開成員函式)

crend: 返回指向反向末尾的 const_reverse_iterator (公開成員函式)

容量:

empty: 測試容器是否為空 (公開成員函式)

size: 返回容器大小（公開成員函式）

max_size: 返回最大大小 (公開成員函式)

修改器:

insert: 插入元素 (公開成員函式)

erase: 擦除元素 (公開成員函式)

swap: 交換內容 (公開成員函式)

clear: 清除內容 (公開成員函式)

emplace: 構造並插入元素 (公開成員函式)

emplace_hint: 帶提示地構造並插入元素（公開成員函式）

觀察器:

key_comp: 返回比較物件（公開成員函式）

value_comp: 返回比較物件（公開成員函式）

操作:

find: 獲取指向元素的迭代器（公開成員函式）

count: 計算具有特定值的元素數量（公開成員函式）

lower_bound: 返回指向下界的迭代器（公開成員函式）

upper_bound: 返回指向上界的迭代器（公開成員函式）

equal_range: 獲取等價元素的範圍（公開成員函式）

分配器:

get_allocator: 獲取分配器 (公開成員函式)

成員函式

非成員過載

std::set

容器屬性

模板引數

成員型別

成員函式