|
|
Line 1: |
Line 1: |
− | {{cpp/title|array}}
| |
− | {{cpp/container/array/navbar}}
| |
− | {{ddcl|header=array|since=c++11|
| |
− | template<
| |
− | class T,
| |
− | std::size_t N
| |
− | > struct array;
| |
− | }}
| |
| | | |
− | {{tt|std::array}} is a container that encapsulates fixed size arrays.
| |
− |
| |
− | This container is an aggregate type with the same semantics as a struct holding a [[cpp/language/array|C-style array]] {{c|T[N]}} as its only non-static data member. Unlike a C-style array, it doesn't decay to {{c|T*}} automatically. As an aggregate type, it can be initialized with [[cpp/language/aggregate initialization|aggregate-initialization]] given at most {{tt|N}} initializers that are convertible to {{tt|T}}: {{c|1=std::array<int, 3> a = {1, 2, 3};}}.
| |
− |
| |
− | The struct combines the performance and accessibility of a C-style array with the benefits of a standard container, such as knowing its own size, supporting assignment, random access iterators, etc.
| |
− |
| |
− | {{tt|std::array}} satisfies the requirements of {{named req|Container}} and {{named req|ReversibleContainer}} except that default-constructed array is not empty and that the complexity of swapping is linear, {{rev inl|since=c++17|satisfies the requirements of {{named req|ContiguousContainer}},}} and partially satisfies the requirements of {{named req|SequenceContainer}}.
| |
− |
| |
− | There is a special case for a zero-length array ({{tt|1=N == 0}}). In that case, {{c|
| |
− | 1=array.begin() == array.end()}}, which is some unique value. The effect of calling {{c|front()}} or {{c|back()}} on a zero-sized array is undefined.
| |
− |
| |
− | An array can also be used as a tuple of {{tt|N}} elements of the same type.
| |
− |
| |
− | ===Iterator invalidation===
| |
− | As a rule, iterators to an array are never invalidated throughout the lifetime of the array. One should take note, however, that during {{rl|swap}}, the iterator will continue to point to the same array element, and will thus change its value.
| |
− |
| |
− | ===Member types===
| |
− | {{dsc begin}}
| |
− | {{dsc hitem|Member type|Definition}}
| |
− | {{dsc inc|cpp/container/dsc value_type|array}}
| |
− | {{dsc inc|cpp/container/dsc size_type|array}}
| |
− | {{dsc inc|cpp/container/dsc difference_type|array}}
| |
− | {{dsc inc|cpp/container/dsc reference|array}}
| |
− | {{dsc inc|cpp/container/dsc const_reference|array}}
| |
− | {{dsc inc|cpp/container/dsc pointer|array}}
| |
− | {{dsc inc|cpp/container/dsc const_pointer|array}}
| |
− | {{dsc inc|cpp/container/dsc iterator|array}}
| |
− | {{dsc inc|cpp/container/dsc const_iterator|array}}
| |
− | {{dsc inc|cpp/container/dsc reverse_iterator|array}}
| |
− | {{dsc inc|cpp/container/dsc const_reverse_iterator|array}}
| |
− | {{dsc end}}
| |
− |
| |
− | ===Member functions===
| |
− | {{dsc begin}}
| |
− | {{dsc h2|Implicitly-defined member functions}}
| |
− | {{dsc mem ctor|nolink=true|notes={{mark implicit}}|initializes the array following the rules of [[cpp/language/aggregate initialization|aggregate initialization]] (note that default initialization may result in indeterminate values for non-class {{tt|T}})}}
| |
− | {{dsc mem dtor|nolink=true|notes={{mark implicit}}|destroys every element of the array}}
| |
− | {{dsc mem fun|operator{{=}}|nolink=true|notes={{mark implicit}}|overwrites every element of the array with the corresponding element of another array}}
| |
− |
| |
− | {{dsc h2|Element access}}
| |
− | {{dsc inc|cpp/container/dsc at|array}}
| |
− | {{dsc inc|cpp/container/dsc operator_at|array}}
| |
− | {{dsc inc|cpp/container/dsc front|array}}
| |
− | {{dsc inc|cpp/container/dsc back|array}}
| |
− | {{dsc inc|cpp/container/dsc data|array}}
| |
− |
| |
− | {{dsc h2|Iterators}}
| |
− | {{dsc inc|cpp/container/dsc begin|array}}
| |
− | {{dsc inc|cpp/container/dsc end|array}}
| |
− | {{dsc inc|cpp/container/dsc rbegin|array}}
| |
− | {{dsc inc|cpp/container/dsc rend|array}}
| |
− |
| |
− | {{dsc h2|Capacity}}
| |
− | {{dsc inc|cpp/container/dsc empty|array}}
| |
− | {{dsc inc|cpp/container/dsc size|array}}
| |
− | {{dsc inc|cpp/container/dsc max_size|array}}
| |
− |
| |
− | {{dsc h2|Operations}}
| |
− | {{dsc inc|cpp/container/dsc fill|array}}
| |
− | {{dsc inc|cpp/container/dsc swap|array}}
| |
− | {{dsc end}}
| |
− |
| |
− | ===Non-member functions===
| |
− | {{dsc begin}}
| |
− | {{dsc inc|cpp/container/dsc operator_cmp|array}}
| |
− | {{dsc inc|cpp/container/array/dsc get}}
| |
− | {{dsc inc|cpp/container/dsc swap2|array}}
| |
− | {{dsc inc|cpp/container/array/dsc to_array}}
| |
− | {{dsc end}}
| |
− |
| |
− | ===Helper classes===
| |
− | {{dsc begin}}
| |
− | {{dsc inc|cpp/container/array/dsc tuple_size}}
| |
− | {{dsc inc|cpp/container/array/dsc tuple_element}}
| |
− | {{dsc end}}
| |
− |
| |
− | {{rrev|noborder=true|since=c++17|{{=}}{{=}}{{=}}{{rl|deduction guides|Deduction guides}}{{=}}{{=}}{{=}}}}
| |
− |
| |
− | ===Example===
| |
− | {{example
| |
− | |
| |
− | |code=
| |
− | #include <algorithm>
| |
− | #include <array>
| |
− | #include <iostream>
| |
− | #include <iterator>
| |
− | #include <string>
| |
− |
| |
− | int main()
| |
− | {
| |
− | // construction uses aggregate initialization
| |
− | std::array<int, 3> a1{<!---->{1, 2, 3}<!---->}; // double-braces required in C++11 prior to
| |
− | // the CWG 1270 revision (not needed in C++11
| |
− | // after the revision and in C++14 and beyond)
| |
− |
| |
− | std::array<int, 3> a2 = {1, 2, 3}; // double braces never required after =
| |
− |
| |
− | std::array<std::string, 2> a3 = { std::string("E"), "\u018E" };
| |
− |
| |
− | // container operations are supported
| |
− | std::sort(a1.begin(), a1.end());
| |
− | std::ranges::reverse_copy(a2, std::ostream_iterator<int>(std::cout, " "));
| |
− | std::cout << '\n';
| |
− |
| |
− | // ranged for loop is supported
| |
− | for (const auto& s: a3)
| |
− | std::cout << s << ' ';
| |
− |
| |
− | // deduction guide for array creation (since C++17)
| |
− | [[maybe_unused]] std::array a4{3.0, 1.0, 4.0}; // std::array<double, 3>
| |
− |
| |
− | // Corner cases:
| |
− | [[maybe_unused]] std::array<int, 2> a5; // a5[0] and a5[1] are default initialized
| |
− | [[maybe_unused]] std::array<int, 2> a6 = {}; // a6[0] and a6[1] are 0
| |
− | [[maybe_unused]] std::array<int, 2> a7 = {1}; // a7[0] == 1, a7[1] == 0
| |
− | }
| |
− | |output=
| |
− | 3 2 1
| |
− | E Ǝ
| |
− | }}
| |
− |
| |
− | ===See also===
| |
− | {{dsc begin}}
| |
− | {{dsc inc|cpp/experimental/dsc make array}}
| |
− | {{dsc end}}
| |
− |
| |
− | {{langlinks|de|es|fr|it|ja|pl|pt|ru|zh}}
| |