Difference between revisions of "cpp/container/multimap/insert"
From cppreference.com
m (→See also: += std::inserter) |
m (→Return value: -"Returns") |
||
(10 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
− | {{cpp/container/multimap/title | insert}} | + | {{cpp/container/multimap/title|insert}} |
{{cpp/container/multimap/navbar}} | {{cpp/container/multimap/navbar}} | ||
{{dcl begin}} | {{dcl begin}} | ||
− | {{dcl | num=1 | | + | {{dcl|num=1| |
iterator insert( const value_type& value ); | iterator insert( const value_type& value ); | ||
}} | }} | ||
− | {{dcl | num= | + | {{dcl|num=2|since=c++17| |
iterator insert( value_type&& value ); | iterator insert( value_type&& value ); | ||
}} | }} | ||
− | {{dcl | num= | + | {{dcl|num=3|since=c++11| |
template< class P > | template< class P > | ||
iterator insert( P&& value ); | iterator insert( P&& value ); | ||
}} | }} | ||
− | {{dcl rev | + | {{dcl rev multi|num=4|until1=c++11 |
− | + | |dcl1= | |
− | iterator insert( iterator | + | iterator insert( iterator pos, const value_type& value ); |
+ | |dcl2= | ||
+ | iterator insert( const_iterator pos, const value_type& value ); | ||
}} | }} | ||
− | {{dcl | since=c++ | + | {{dcl|num=5|since=c++17| |
− | iterator insert( const_iterator | + | iterator insert( const_iterator pos, value_type&& value ); |
}} | }} | ||
− | + | {{dcl|num=6|since=c++11| | |
− | {{dcl | num= | + | |
− | + | ||
− | + | ||
− | + | ||
template< class P > | template< class P > | ||
− | iterator insert( const_iterator | + | iterator insert( const_iterator pos, P&& value ); |
}} | }} | ||
− | {{dcl | num= | + | {{dcl|num=7| |
template< class InputIt > | template< class InputIt > | ||
void insert( InputIt first, InputIt last ); | void insert( InputIt first, InputIt last ); | ||
}} | }} | ||
− | {{dcl | num= | + | {{dcl|num=8|since=c++11| |
void insert( std::initializer_list<value_type> ilist ); | void insert( std::initializer_list<value_type> ilist ); | ||
}} | }} | ||
− | {{dcl | num= | + | {{dcl|num=9|since=c++17| |
iterator insert( node_type&& nh ); | iterator insert( node_type&& nh ); | ||
}} | }} | ||
− | {{dcl | num= | + | {{dcl|num=10|since=c++17| |
− | iterator insert( const_iterator | + | iterator insert( const_iterator pos, node_type&& nh ); |
}} | }} | ||
{{dcl end}} | {{dcl end}} | ||
Line 44: | Line 42: | ||
Inserts element(s) into the container. | Inserts element(s) into the container. | ||
− | @1- | + | @1-3@ Inserts {{c|value}}. If the container has elements with equivalent key, inserts at the upper bound of that range. |
+ | @@ Overload {{v|3}} is equivalent to {{c|emplace(std::forward<P>(value))}} and only participates in overload resolution if {{c|1=std::is_constructible<value_type, P&&>::value == true}}. | ||
− | @ | + | @4-6@ Inserts {{c|value}} in the position as close as possible to the position just prior to {{c|pos}}. |
+ | @@ Overload {{v|6}} is equivalent to {{c|emplace_hint(hint, std::forward<P>(value))}} and only participates in overload resolution if {{c|1=std::is_constructible<value_type, P&&>::value == true}}. | ||
− | @ | + | @7@ Inserts elements from range {{range|first|last}}. |
− | @ | + | @8@ Inserts elements from initializer list {{c|ilist}}. |
− | {{cpp/container/ | + | {{cpp/container/node_handle insert desc|multimap|9|10}} |
+ | |||
+ | {{cpp/container/note iterator invalidation|multimap|insert}} | ||
− | |||
===Parameters=== | ===Parameters=== | ||
{{par begin}} | {{par begin}} | ||
− | {{par | | + | {{par|pos|iterator to the position before which the new element will be inserted}} |
− | {{par | value | element value to insert}} | + | {{par|value|element value to insert}} |
− | {{par | first, last | range of elements to insert}} | + | {{par|first, last|range of elements to insert}} |
− | {{par | ilist | initializer list to insert the values from}} | + | {{par|ilist|initializer list to insert the values from}} |
− | {{par | nh | a compatible [[cpp/container/node_handle|node handle]]}} | + | {{par|nh|a compatible [[cpp/container/node_handle|node handle]]}} |
{{par hreq}} | {{par hreq}} | ||
− | {{par req named | InputIt | InputIterator}} | + | {{par req named|InputIt|InputIterator}} |
− | {{par end}} | + | {{par end}} |
===Return value=== | ===Return value=== | ||
− | @1- | + | @1-6@ An iterator to the inserted element. |
− | @ | + | @7,8@ (none) |
− | {{cpp/container/ | + | {{cpp/container/node handle insert return|multimap|9|10}} |
===Exceptions=== | ===Exceptions=== | ||
− | @1- | + | @1-6@ If an exception is thrown by any operation, the insertion has no effect. |
− | + | @7,8@ No exception safety guarantee. | |
+ | |||
+ | @9,10@ If an exception is thrown by any operation, the insertion has no effect. | ||
===Complexity=== | ===Complexity=== | ||
− | @1- | + | @1-3@ {{tt|O(log(size()))}} |
− | + | @4-6@ Amortized constant if the insertion happens in the position just before {{c|pos}}, {{tt|O(log(size()))}} otherwise. | |
− | + | ||
− | @ | + | |
− | + | ||
− | {{ | + | |
− | + | ||
− | }} | + | |
− | {{ | + | |
− | @ | + | @7,8@ {{tt|O(N·log(size() + N))}}, where {{tt|N}} is the number of elements to insert. |
− | @ | + | @9@ {{tt|O(log(size()))}} |
− | @ | + | @10@ Amortized constant if the insertion happens in the position just before {{c|pos}}, {{tt|O(log(size()))}} otherwise. |
===Example=== | ===Example=== | ||
− | |||
{{example | {{example | ||
− | | code= | + | |code= |
+ | #include <functional> | ||
#include <iostream> | #include <iostream> | ||
+ | #include <map> | ||
#include <string> | #include <string> | ||
− | |||
− | |||
#include <string_view> | #include <string_view> | ||
+ | #include <utility> | ||
template<class M> | template<class M> | ||
void print(const std::string_view rem, const M& mmap) | void print(const std::string_view rem, const M& mmap) | ||
{ | { | ||
− | std::cout << rem << | + | std::cout << rem << ' '; |
− | for (const auto & e : mmap) | + | for (const auto& e : mmap) |
− | std::cout << | + | std::cout << '{' << e.first << ',' << e.second << "} "; |
std::cout << '\n'; | std::cout << '\n'; | ||
} | } | ||
Line 121: | Line 117: | ||
{{2, "foo"}, {2, "bar"}, {3, "baz"}, {1, "abc"}, {5, "def"}}; | {{2, "foo"}, {2, "bar"}, {3, "baz"}, {1, "abc"}, {5, "def"}}; | ||
print("#1", mmap); | print("#1", mmap); | ||
− | + | ||
// insert using value_type | // insert using value_type | ||
mmap.insert(decltype(mmap)::value_type(5, "pqr")); | mmap.insert(decltype(mmap)::value_type(5, "pqr")); | ||
print("#2", mmap); | print("#2", mmap); | ||
− | + | ||
// insert using pair | // insert using pair | ||
mmap.insert(std::pair{6, "uvw"}); | mmap.insert(std::pair{6, "uvw"}); | ||
print("#3", mmap); | print("#3", mmap); | ||
− | + | ||
mmap.insert({7, "xyz"}); | mmap.insert({7, "xyz"}); | ||
print("#4", mmap); | print("#4", mmap); | ||
− | + | ||
// insert using initializer_list | // insert using initializer_list | ||
mmap.insert({{5, "one"}, {5, "two"}}); | mmap.insert({{5, "one"}, {5, "two"}}); | ||
print("#5", mmap); | print("#5", mmap); | ||
+ | |||
+ | // insert using a pair of iterators | ||
+ | mmap.clear(); | ||
+ | const auto il = {std::pair{1, "ä"}, {2, "ё"}, {2, "ö"}, {3, "ü"}<!---->}; | ||
+ | mmap.insert(il.begin(), il.end()); | ||
+ | print("#6", mmap); | ||
} | } | ||
− | | output= | + | |output= |
#1 {5,def} {3,baz} {2,foo} {2,bar} {1,abc} | #1 {5,def} {3,baz} {2,foo} {2,bar} {1,abc} | ||
#2 {5,def} {5,pqr} {3,baz} {2,foo} {2,bar} {1,abc} | #2 {5,def} {5,pqr} {3,baz} {2,foo} {2,bar} {1,abc} | ||
Line 143: | Line 145: | ||
#4 {7,xyz} {6,uvw} {5,def} {5,pqr} {3,baz} {2,foo} {2,bar} {1,abc} | #4 {7,xyz} {6,uvw} {5,def} {5,pqr} {3,baz} {2,foo} {2,bar} {1,abc} | ||
#5 {7,xyz} {6,uvw} {5,def} {5,pqr} {5,one} {5,two} {3,baz} {2,foo} {2,bar} {1,abc} | #5 {7,xyz} {6,uvw} {5,def} {5,pqr} {5,one} {5,two} {3,baz} {2,foo} {2,bar} {1,abc} | ||
+ | #6 {3,ü} {2,ё} {2,ö} {1,ä} | ||
}} | }} | ||
+ | |||
+ | ===Defect reports=== | ||
+ | {{dr list begin}} | ||
+ | {{dr list item|wg=lwg|dr=233|std=C++98|before={{c|pos}} was just a hint, it could be totally ignored|after=the insertion is required to<br>be as close as possible to the<br>position just prior to {{c|pos}}}} | ||
+ | {{dr list item|wg=lwg|dr=264|std=C++98|before=the complexity of overload {{v|5}} was required to be linear if<br>the range {{range|first|last}} is sorted according to {{tt|Compare}}|after=removed the linear requirement<br>in this special case}} | ||
+ | {{dr list item|wg=lwg|dr=371|std=C++98|before=the order of equivalent elements<br>was not guaranteed to be preserved|after=required to be preserved}} | ||
+ | {{dr list item|wg=lwg|dr=2005|std=C++11|before=overloads {{v|3,6}} were poorly described|after=improved the description}} | ||
+ | {{dr list end}} | ||
===See also=== | ===See also=== |
Latest revision as of 13:53, 10 January 2024
iterator insert( const value_type& value ); |
(1) | |
iterator insert( value_type&& value ); |
(2) | (since C++17) |
template< class P > iterator insert( P&& value ); |
(3) | (since C++11) |
(4) | ||
iterator insert( iterator pos, const value_type& value ); |
(until C++11) | |
iterator insert( const_iterator pos, const value_type& value ); |
(since C++11) | |
iterator insert( const_iterator pos, value_type&& value ); |
(5) | (since C++17) |
template< class P > iterator insert( const_iterator pos, P&& value ); |
(6) | (since C++11) |
template< class InputIt > void insert( InputIt first, InputIt last ); |
(7) | |
void insert( std::initializer_list<value_type> ilist ); |
(8) | (since C++11) |
iterator insert( node_type&& nh ); |
(9) | (since C++17) |
iterator insert( const_iterator pos, node_type&& nh ); |
(10) | (since C++17) |
Inserts element(s) into the container.
1-3) Inserts value. If the container has elements with equivalent key, inserts at the upper bound of that range.
Overload (3) is equivalent to emplace(std::forward<P>(value)) and only participates in overload resolution if std::is_constructible<value_type, P&&>::value == true.
4-6) Inserts value in the position as close as possible to the position just prior to pos.
Overload (6) is equivalent to emplace_hint(hint, std::forward<P>(value)) and only participates in overload resolution if std::is_constructible<value_type, P&&>::value == true.
7) Inserts elements from range
[
first,
last)
.8) Inserts elements from initializer list ilist.
9) If nh is an empty node handle, does nothing. Otherwise, inserts the element owned by nh into the container and returns an iterator pointing at the inserted element. If a range containing elements with keys equivalent to nh.key() exists in the container, the element is inserted at the end of that range. The behavior is undefined if nh is not empty and get_allocator() != nh.get_allocator().
10) If nh is an empty node handle, does nothing and returns the end iterator. Otherwise, inserts the element owned by nh into the container, and returns the iterator pointing to the element with key equivalent to nh.key(). The element is inserted as close as possible to the position just prior to pos. The behavior is undefined if nh is not empty and get_allocator() != nh.get_allocator().
No iterators or references are invalidated. If the insertion is successful, pointers and references to the element obtained while it is held in the node handle are invalidated, and pointers and references obtained to that element before it was extracted become valid.(since C++17)
Contents |
[edit] Parameters
pos | - | iterator to the position before which the new element will be inserted |
value | - | element value to insert |
first, last | - | range of elements to insert |
ilist | - | initializer list to insert the values from |
nh | - | a compatible node handle |
Type requirements | ||
-InputIt must meet the requirements of LegacyInputIterator.
|
[edit] Return value
1-6) An iterator to the inserted element.
7,8) (none)
9,10) End iterator if nh was empty, iterator pointing to the inserted element otherwise.
[edit] Exceptions
1-6) If an exception is thrown by any operation, the insertion has no effect.
7,8) No exception safety guarantee.
9,10) If an exception is thrown by any operation, the insertion has no effect.
[edit] Complexity
1-3)
O(log(size()))
4-6) Amortized constant if the insertion happens in the position just before pos,
O(log(size()))
otherwise.7,8)
O(N·log(size() + N))
, where N
is the number of elements to insert.9)
O(log(size()))
10) Amortized constant if the insertion happens in the position just before pos,
O(log(size()))
otherwise.[edit] Example
Run this code
#include <functional> #include <iostream> #include <map> #include <string> #include <string_view> #include <utility> template<class M> void print(const std::string_view rem, const M& mmap) { std::cout << rem << ' '; for (const auto& e : mmap) std::cout << '{' << e.first << ',' << e.second << "} "; std::cout << '\n'; } int main() { // list-initialize std::multimap<int, std::string, std::greater<int>> mmap {{2, "foo"}, {2, "bar"}, {3, "baz"}, {1, "abc"}, {5, "def"}}; print("#1", mmap); // insert using value_type mmap.insert(decltype(mmap)::value_type(5, "pqr")); print("#2", mmap); // insert using pair mmap.insert(std::pair{6, "uvw"}); print("#3", mmap); mmap.insert({7, "xyz"}); print("#4", mmap); // insert using initializer_list mmap.insert({{5, "one"}, {5, "two"}}); print("#5", mmap); // insert using a pair of iterators mmap.clear(); const auto il = {std::pair{1, "ä"}, {2, "ё"}, {2, "ö"}, {3, "ü"}}; mmap.insert(il.begin(), il.end()); print("#6", mmap); }
Output:
#1 {5,def} {3,baz} {2,foo} {2,bar} {1,abc} #2 {5,def} {5,pqr} {3,baz} {2,foo} {2,bar} {1,abc} #3 {6,uvw} {5,def} {5,pqr} {3,baz} {2,foo} {2,bar} {1,abc} #4 {7,xyz} {6,uvw} {5,def} {5,pqr} {3,baz} {2,foo} {2,bar} {1,abc} #5 {7,xyz} {6,uvw} {5,def} {5,pqr} {5,one} {5,two} {3,baz} {2,foo} {2,bar} {1,abc} #6 {3,ü} {2,ё} {2,ö} {1,ä}
[edit] 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 233 | C++98 | pos was just a hint, it could be totally ignored | the insertion is required to be as close as possible to the position just prior to pos |
LWG 264 | C++98 | the complexity of overload (5) was required to be linear if the range [ first, last) is sorted according to Compare
|
removed the linear requirement in this special case |
LWG 371 | C++98 | the order of equivalent elements was not guaranteed to be preserved |
required to be preserved |
LWG 2005 | C++11 | overloads (3,6) were poorly described | improved the description |
[edit] See also
(C++11) |
constructs element in-place (public member function) |
(C++11) |
constructs elements in-place using a hint (public member function) |
creates a std::insert_iterator of type inferred from the argument (function template) |