Difference between revisions of "cpp/container/set"
(Added LWG issue #230 DR (part 4).) |
m (fmt) |
||
Line 3: | Line 3: | ||
{{dcl begin}} | {{dcl begin}} | ||
{{dcl header|set}} | {{dcl header|set}} | ||
− | {{dcl |num=1| | + | {{dcl|num=1|1= |
template< | template< | ||
class Key, | class Key, | ||
− | class Compare | + | class Compare = std::less<Key>, |
− | class Allocator | + | class Allocator = std::allocator<Key> |
> class set; | > class set; | ||
− | }} | + | }} |
{{dcl|num=2|since=c++17|1= | {{dcl|num=2|since=c++17|1= | ||
namespace pmr { | namespace pmr { | ||
− | + | template< | |
− | + | class Key, | |
+ | class Compare = std::less<Key> | ||
+ | > using set = std::set<Key, Compare, std::pmr::polymorphic_allocator<Key>>; | ||
} | } | ||
}} | }} | ||
Line 29: | Line 31: | ||
===Member types=== | ===Member types=== | ||
{{dsc begin}} | {{dsc begin}} | ||
− | {{dsc hitem | Member type | Definition}} | + | {{dsc hitem|Member type|Definition}} |
− | {{dsc inc | cpp/container/dsc key_type | set}} | + | {{dsc inc|cpp/container/dsc key_type|set}} |
− | {{dsc inc | cpp/container/dsc value_type | set}} | + | {{dsc inc|cpp/container/dsc value_type|set}} |
− | {{dsc inc | cpp/container/dsc size_type | set}} | + | {{dsc inc|cpp/container/dsc size_type|set}} |
− | {{dsc inc | cpp/container/dsc difference_type | set}} | + | {{dsc inc|cpp/container/dsc difference_type|set}} |
− | {{dsc inc | cpp/container/dsc key_compare | set}} | + | {{dsc inc|cpp/container/dsc key_compare|set}} |
− | {{dsc inc | cpp/container/dsc value_compare2 | set}} | + | {{dsc inc|cpp/container/dsc value_compare2|set}} |
− | {{dsc inc | cpp/container/dsc allocator_type | set}} | + | {{dsc inc|cpp/container/dsc allocator_type|set}} |
− | {{dsc inc | cpp/container/dsc reference | set}} | + | {{dsc inc|cpp/container/dsc reference|set}} |
− | {{dsc inc | cpp/container/dsc const_reference | set}} | + | {{dsc inc|cpp/container/dsc const_reference|set}} |
− | {{dsc inc | cpp/container/dsc pointer | set}} | + | {{dsc inc|cpp/container/dsc pointer|set}} |
− | {{dsc inc | cpp/container/dsc const_pointer | set}} | + | {{dsc inc|cpp/container/dsc const_pointer|set}} |
− | {{dsc inc | cpp/container/dsc iterator | set}} | + | {{dsc inc|cpp/container/dsc iterator|set}} |
− | {{dsc inc | cpp/container/dsc const_iterator | set}} | + | {{dsc inc|cpp/container/dsc const_iterator|set}} |
− | {{dsc inc | cpp/container/dsc reverse_iterator | set}} | + | {{dsc inc|cpp/container/dsc reverse_iterator|set}} |
− | {{dsc inc | cpp/container/dsc const_reverse_iterator | set}} | + | {{dsc inc|cpp/container/dsc const_reverse_iterator|set}} |
− | {{dsc inc | cpp/container/dsc node_type | set}} | + | {{dsc inc|cpp/container/dsc node_type|set}} |
− | {{dsc inc | cpp/container/dsc insert_return_type | set}} | + | {{dsc inc|cpp/container/dsc insert_return_type|set}} |
{{dsc end}} | {{dsc end}} | ||
===Member functions=== | ===Member functions=== | ||
{{dsc begin}} | {{dsc begin}} | ||
− | {{dsc inc | cpp/container/dsc constructor | set}} | + | {{dsc inc|cpp/container/dsc constructor|set}} |
− | {{dsc inc | cpp/container/dsc destructor | set}} | + | {{dsc inc|cpp/container/dsc destructor|set}} |
− | {{dsc inc | cpp/container/dsc operator{{=}} | set}} | + | {{dsc inc|cpp/container/dsc operator{{=}}|set}} |
− | {{dsc inc | cpp/container/dsc get_allocator | set}} | + | {{dsc inc|cpp/container/dsc get_allocator|set}} |
− | {{dsc h2 | Iterators}} | + | {{dsc h2|Iterators}} |
− | {{dsc inc | cpp/container/dsc begin | set}} | + | {{dsc inc|cpp/container/dsc begin|set}} |
− | {{dsc inc | cpp/container/dsc end | set}} | + | {{dsc inc|cpp/container/dsc end|set}} |
− | {{dsc inc | cpp/container/dsc rbegin | set}} | + | {{dsc inc|cpp/container/dsc rbegin|set}} |
− | {{dsc inc | cpp/container/dsc rend | set}} | + | {{dsc inc|cpp/container/dsc rend|set}} |
− | {{dsc h2 | Capacity}} | + | {{dsc h2|Capacity}} |
− | {{dsc inc | cpp/container/dsc empty | set}} | + | {{dsc inc|cpp/container/dsc empty|set}} |
− | {{dsc inc | cpp/container/dsc size | set}} | + | {{dsc inc|cpp/container/dsc size|set}} |
− | {{dsc inc | cpp/container/dsc max_size | set}} | + | {{dsc inc|cpp/container/dsc max_size|set}} |
− | {{dsc h2 | Modifiers}} | + | {{dsc h2|Modifiers}} |
− | {{dsc inc | cpp/container/dsc clear | set}} | + | {{dsc inc|cpp/container/dsc clear|set}} |
− | {{dsc inc | cpp/container/dsc insert | set}} | + | {{dsc inc|cpp/container/dsc insert|set}} |
− | {{dsc inc | cpp/container/dsc emplace | set}} | + | {{dsc inc|cpp/container/dsc emplace|set}} |
− | {{dsc inc | cpp/container/dsc emplace_hint | set}} | + | {{dsc inc|cpp/container/dsc emplace_hint|set}} |
− | {{dsc inc | cpp/container/dsc erase | set}} | + | {{dsc inc|cpp/container/dsc erase|set}} |
− | {{dsc inc | cpp/container/dsc swap | set}} | + | {{dsc inc|cpp/container/dsc swap|set}} |
− | {{dsc inc | cpp/container/dsc extract | set}} | + | {{dsc inc|cpp/container/dsc extract|set}} |
− | {{dsc inc | cpp/container/dsc merge | set}} | + | {{dsc inc|cpp/container/dsc merge|set}} |
− | {{dsc h2 | Lookup}} | + | {{dsc h2|Lookup}} |
− | {{dsc inc | cpp/container/dsc count | set}} | + | {{dsc inc|cpp/container/dsc count|set}} |
− | {{dsc inc | cpp/container/dsc find | set}} | + | {{dsc inc|cpp/container/dsc find|set}} |
− | {{dsc inc | cpp/container/dsc contains | set }} | + | {{dsc inc|cpp/container/dsc contains|set }} |
− | {{dsc inc | cpp/container/dsc equal_range | set}} | + | {{dsc inc|cpp/container/dsc equal_range|set}} |
− | {{dsc inc | cpp/container/dsc lower_bound | set}} | + | {{dsc inc|cpp/container/dsc lower_bound|set}} |
− | {{dsc inc | cpp/container/dsc upper_bound | set}} | + | {{dsc inc|cpp/container/dsc upper_bound|set}} |
− | {{dsc h2 | Observers}} | + | {{dsc h2|Observers}} |
− | {{dsc inc | cpp/container/dsc key_comp | set}} | + | {{dsc inc|cpp/container/dsc key_comp|set}} |
− | {{dsc inc | cpp/container/dsc value_comp | set}} | + | {{dsc inc|cpp/container/dsc value_comp|set}} |
{{dsc end}} | {{dsc end}} | ||
===Non-member functions=== | ===Non-member functions=== | ||
{{dsc begin}} | {{dsc begin}} | ||
− | {{dsc inc | cpp/container/dsc operator_cmp | set}} | + | {{dsc inc|cpp/container/dsc operator_cmp|set}} |
− | {{dsc inc | cpp/container/dsc swap2 | set}} | + | {{dsc inc|cpp/container/dsc swap2|set}} |
− | {{dsc inc | cpp/container/dsc erase_if | set}} | + | {{dsc inc|cpp/container/dsc erase_if|set}} |
{{dsc end}} | {{dsc end}} | ||
Line 101: | Line 103: | ||
===Notes=== | ===Notes=== | ||
{{cpp/container/assoc_note}} | {{cpp/container/assoc_note}} | ||
+ | |||
+ | ===Example=== | ||
+ | {{example}} | ||
===Defect Reports=== | ===Defect Reports=== |
Revision as of 13:08, 2 February 2023
Defined in header <set>
|
||
template< class Key, |
(1) | |
namespace pmr { template< |
(2) | (since C++17) |
std::set
is an associative container that contains a sorted set of unique objects of type Key
. Sorting is done using the key comparison function Compare. Search, removal, and insertion operations have logarithmic complexity. Sets are usually implemented as red-black trees.
Everywhere the standard library uses the Compare requirements, uniqueness is determined by using the equivalence relation. In imprecise terms, two objects a and b are considered equivalent if neither compares less than the other: !comp(a, b) && !comp(b, a).
std::set
meets the requirements of Container, AllocatorAwareContainer, AssociativeContainer and ReversibleContainer.
Contents |
Template parameters
This section is incomplete Reason: Add descriptions of the template parameters. |
Member types
Member type | Definition | ||||
key_type
|
Key
| ||||
value_type
|
Key
| ||||
size_type
|
Unsigned integer type (usually std::size_t) | ||||
difference_type
|
Signed integer type (usually std::ptrdiff_t) | ||||
key_compare
|
Compare
| ||||
value_compare
|
Compare
| ||||
allocator_type
|
Allocator
| ||||
reference
|
value_type& | ||||
const_reference
|
const value_type& | ||||
pointer
|
| ||||
const_pointer
|
| ||||
iterator
|
Constant LegacyBidirectionalIterator to value_type
| ||||
const_iterator
|
LegacyBidirectionalIterator to const value_type | ||||
reverse_iterator
|
std::reverse_iterator<iterator> | ||||
const_reverse_iterator
|
std::reverse_iterator<const_iterator> | ||||
node_type (since C++17)
|
a specialization of node handle representing a container node | ||||
insert_return_type (since C++17)
|
type describing the result of inserting a node_type , a specialization oftemplate<class Iter, class NodeType> |
Member functions
constructs the set (public member function) | |
destructs the set (public member function) | |
assigns values to the container (public member function) | |
returns the associated allocator (public member function) | |
Iterators | |
(C++11) |
returns an iterator to the beginning (public member function) |
(C++11) |
returns an iterator to the end (public member function) |
(C++11) |
returns a reverse iterator to the beginning (public member function) |
(C++11) |
returns a reverse iterator to the end (public member function) |
Capacity | |
checks whether the container is empty (public member function) | |
returns the number of elements (public member function) | |
returns the maximum possible number of elements (public member function) | |
Modifiers | |
clears the contents (public member function) | |
inserts elements or nodes(since C++17) (public member function) | |
(C++11) |
constructs element in-place (public member function) |
(C++11) |
constructs elements in-place using a hint (public member function) |
erases elements (public member function) | |
swaps the contents (public member function) | |
(C++17) |
extracts nodes from the container (public member function) |
(C++17) |
splices nodes from another container (public member function) |
Lookup | |
returns the number of elements matching specific key (public member function) | |
finds element with specific key (public member function) | |
(C++20) |
checks if the container contains element with specific key (public member function) |
returns range of elements matching a specific key (public member function) | |
returns an iterator to the first element not less than the given key (public member function) | |
returns an iterator to the first element greater than the given key (public member function) | |
Observers | |
returns the function that compares keys (public member function) | |
returns the function that compares keys in objects of type value_type (public member function) |
Non-member functions
(removed in C++20)(removed in C++20)(removed in C++20)(removed in C++20)(removed in C++20)(C++20) |
lexicographically compares the values of two set s (function template) |
specializes the std::swap algorithm (function template) | |
(C++20) |
erases all elements satisfying specific criteria (function template) |
Deduction guides (since C++17)
Notes
The member types iterator
and const_iterator
may be aliases to the same type. This means defining a pair of function overloads using the two types as parameter types may violate the One Definition Rule. Since iterator
is convertible to const_iterator
, a single function with a const_iterator
as parameter type will work instead.
Example
This section is incomplete Reason: no example |
Defect Reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
LWG 103 | C++98 | iterator allows modification of keys | iterator made constant |
LWG 230 | C++98 | Key was not required to be CopyConstructible(a key of type Key might not be able to be constructed)
|
Key is also required tobe CopyConstructible |