Difference between revisions of "cpp/named req/Container"
From cppreference.com
(lwg 2182) |
(lwg 2257) |
||
| Line 47: | Line 47: | ||
|{{c|a.cend()}}{{mark since c++11}}||const_iterator||{{c|const_cast<const C&>(a).end()}}|| ||Constant | |{{c|a.cend()}}{{mark since c++11}}||const_iterator||{{c|const_cast<const C&>(a).end()}}|| ||Constant | ||
|- | |- | ||
| − | |{{c|a {{==}} b}} || convertible to bool || | + | |{{c|a {{==}} b}} || convertible to bool || {{c|std::equal(a.begin(), a.end(), b.begin(), b.end())}}{{mark since c++14}} ||Pre: T must be {{concept|EqualityComparable}} || Constant<ref>always linear for {{lc|std::forward_list}}</ref> if {{tt|a.size() !{{=}} b.size()}}, linear otherwise |
|- | |- | ||
|{{c|a !{{=}} b}} || convertible to bool || {{c|!(a{{==}}b)}} || || Linear | |{{c|a !{{=}} b}} || convertible to bool || {{c|!(a{{==}}b)}} || || Linear | ||
Revision as of 17:32, 20 March 2014
Template:cpp/concept/title Template:cpp/concept/navbar
A Container is an object used to store other objects and taking care of the management of the memory used by the objects it contains.
Contents |
Requirements
-
CContainer type -
TElement type -
a,bObjects of typeC
Types
| name | type | notes |
|---|---|---|
value_type |
T | Template:concept |
reference |
T& | |
const_reference |
const T& | |
iterator |
iterator pointing to T | Template:concept convertible to const_iterator
|
const_iterator |
const iterator pointing to T | Template:concept |
difference_type |
signed integer | must be the same as iterator_traits::difference_type for iterator and const_iterator
|
size_type |
unsigned integer | large enough to represent all positive values of difference_type
|
Methods and operators
| expression | return type | semantics | conditions | complexity | |
|---|---|---|---|---|---|
| C() | C | Creates an empty container | Post: C().empty() == true | Constant | |
| C(a) | C | Create a copy of a |
Pre: T must be Template:concept Post: a == C(a) |
Linear | |
| a = b | C& | All elements of a are destroyed or move assigned to elements of b |
Post: a == b | Linear | |
| (&a)->~C() | void | Destroy all elements and free all memory | Linear | ||
| a.begin() | (const_)iterator | Iterator to the first element | Constant | ||
| a.end() | (const_)iterator | Iterator to one passed the last element | Constant | ||
| a.cbegin()(since C++11) | const_iterator | const_cast<const C&>(a).begin() | Constant | ||
| a.cend()(since C++11) | const_iterator | const_cast<const C&>(a).end() | Constant | ||
| a == b | convertible to bool | std::equal(a.begin(), a.end(), b.begin(), b.end())(since C++14) | Pre: T must be Template:concept | Constant[1] if a.size() != b.size(), linear otherwise
| |
| a != b | convertible to bool | !(a==b) | Linear | ||
| a.swap(b) | void | exchanges the values of a and b | Constant[2][3] | ||
| swap(a,b) | void | a.swap(b) | Constant[2] | ||
| a.size() | size_type | distance(a.begin(),a.end()) | Constant[3] | ||
| a.max_size() | size_type | b.size() where b is the largest possible container | Constant[3] | ||
| a.empty() | convertible to bool | a.begin() == a.end() | Constant | ||
| notes | |||||
| |||||
|
Given
In the expressions i == j, i != j, i < j, i <= j, i >= j, i > j, i - j, either or both may be replaced by an object of the container's |
(since C++14) |
Container data races
Other concepts
- C
- T
