std::array

 

C++

編譯器支援

獨立式與託管式

語言

標準函式庫

標準函式庫標頭檔

具名要求

特性測試巨集 (C++20)

語言支援函式庫

概念函式庫 (C++20)

診斷函式庫

記憶體管理函式庫

元編程函式庫 (C++11)

通用公用程式函式庫

容器函式庫

疊代器函式庫

Ranges 函式庫 (C++20)

演算法函式庫

字串函式庫

文本處理函式庫

數值函式庫

日期與時間函式庫

輸入/輸出函式庫

檔案系統函式庫 (C++17)

並行支援函式庫 (C++11)

執行控制函式庫 (C++26)

技術規範

符號索引

外部函式庫

 

容器函式庫

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

關聯

set

multiset

map

multimap

無序關聯

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

適配器 (Adaptors)

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

檢視

span (C++20)

mdspan (C++23)

表格

迭代器失效

成員函式表

非成員函式表

 

std::array

成員型別
成員函式
元素存取 array::at array::operator[]    array::front array::back array::data 作業 (Operations) array::fill array::swap	迭代器 array::beginarray::cbegin array::endarray::cend array::rbeginarray::crbegin    array::rendarray::crend	容量 array::empty array::size array::max_size
非成員函式
operator==operator<=> (C++20 起) get(std::array) swap(std::array) to_array (C++20)	operator==operator<operator>operator<=operator>= (C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)
輔助類別
tuple_size<std::array>
tuple_element<std::array>
推導指引 (C++17)

 

定義於標頭檔 <array>
template<     class T,     std::size_t N > struct array;		（C++11 起）

std::array 是一個封裝了固定大小陣列的容器。

此容器是一個聚合型別（aggregate type），其語義與持有一個 C 風格陣列 T[N] 作為其唯一非靜態資料成員的結構體（struct）相同。與 C 風格陣列不同的是，它不會自動退化（decay）為 T*。作為聚合型別，它可以使用 聚合初始化，並提供最多 N 個可轉換為 T 的初始化器：std::array<int, 3> a = {1, 2, 3};。

該結構體結合了 C 風格陣列的效能與存取特性，以及標準容器的優點，例如能得知自身大小、支援賦值、隨機存取迭代器等。

std::array 滿足 Container 和 ReversibleContainer 的要求，除了預設建構的陣列並非空陣列，且交換（swap）的複雜度為線性時間。此外，它滿足 ContiguousContainer 的要求，(C++17 起) 並部分滿足 SequenceContainer 的要求。

零長度陣列（N == 0）有一個特殊情況。在此情況下，array.begin() == array.end()，且為某個唯一值。在零大小陣列上呼叫 front() 或 back() 的效果是未定義的。

陣列也可以被視為一個包含 N 個相同型別元素的元組（tuple）。

迭代器失效

通常情況下，陣列的迭代器在整個陣列生命週期內永遠不會失效。但需注意，在執行 swap 時，迭代器將繼續指向同一個陣列元素，因此其值會隨之改變。

模板參數

T	-	元素型別 必須滿足 MoveConstructible 和 MoveAssignable。
N	-	陣列中元素的數量，或為 ​0​。

成員型別

成員型別	定義
value_type	T
size_type	std::size_t
difference_type	std::ptrdiff_t
reference	value_type&
const_reference	const value_type&
pointer	value_type*
const_pointer	const value_type*
iterator	指向 value_type 的 LegacyRandomAccessIterator 與 LegacyContiguousIterator (直到 C++17) LegacyRandomAccessIterator 與 LegacyContiguousIterator，且為 value_type 的 LiteralType (自 C++17 起) (直到 C++20) 指向 value_type 的 LegacyRandomAccessIterator、contiguous_iterator 與 ConstexprIterator (自 C++20 起)
const_iterator	指向 const value_type 的 LegacyRandomAccessIterator 與 LegacyContiguousIterator (直到 C++17) LegacyRandomAccessIterator 與 LegacyContiguousIterator，且為 const value_type 的 LiteralType (自 C++17 起) (直到 C++20) 指向 const value_type 的 LegacyRandomAccessIterator、contiguous_iterator 與 ConstexprIterator (自 C++20 起)
reverse_iterator	std::reverse_iterator<iterator>
const_reverse_iterator	std::reverse_iterator<const_iterator>

成員函數

隱式定義的成員函數
(建構子) (隱式宣告)	依照 聚合初始化 規則初始化陣列（注意：預設初始化可能導致非類別型別 T 含有不確定的值） (公開成員函式)
(解構函式) (隱式宣告)	銷毀陣列中的每個元素 (公開成員函式)
operator= (隱式宣告)	以另一個陣列的對應元素覆寫陣列中的每個元素 (公開成員函式)
元素存取
at	存取指定元素，並進行邊界檢查 (公開成員函式)
operator[]	存取指定元素 (公開成員函式)
front	存取第一個元素 (公開成員函式)
back	存取最後一個元素 (公開成員函式)
data	直接存取底層連續儲存空間 (公開成員函式)
迭代器
begincbegin	回傳指向起點的反覆器 (公開成員函式)
endcend	回傳指向終點的反覆器 (公開成員函式)
rbegincrbegin	回傳指向起點的反向反覆器 (公開成員函式)
rendcrend	回傳指向終點的反向反覆器 (公開成員函式)
容量
empty	檢查容器是否為空 (公開成員函式)
size	回傳元素個數 (公開成員函式)
max_size	回傳最大可能的元素個數 (公開成員函式)
作業 (Operations)
fill	以指定值填滿容器 (公開成員函數)
swap	交換內容 (公開成員函式)

非成員函數

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++11)(C++11)(在 C++20 中移除)(C++11)(在 C++20 中移除)(C++11)(在 C++20 中移除)(C++11)(在 C++20 中移除)(C++11)(在 C++20 中移除)(C++20)	按字典序比較兩個 array 的值 (函式模板)
get(std::array) (C++11)	存取 array 的元素 (函數模板)
std::swap(std::array) (C++11)	特化 std::swap 演算法 (函式範本)
to_array (C++20)	從內建陣列建立 std::array 物件 (函式樣板)

輔助類別

std::tuple_size<std::array> (C++11)	取得 array 的大小 (類別模板特化)
std::tuple_element<std::array> (C++11)	取得 array 的元素型別 (類別模板特化)

推導指引	(自 C++17 起)

範例

執行此程式碼

#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 =
 
    // 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
    std::array<std::string, 2> a3{"E", "\u018E"};
    for (const auto& s : a3)
        std::cout << s << ' ';
    std::cout << '\n';
 
    // Deduction guide for array creation (since C++17)
    [[maybe_unused]] std::array a4{3.0, 1.0, 4.0}; // std::array<double, 3>
 
    // Behavior of unspecified elements is the same as with built-in arrays
    [[maybe_unused]] std::array<int, 2> a5; // No list init, a5[0] and a5[1]
                                            // are default initialized
    [[maybe_unused]] std::array<int, 2> a6{}; // List init, both elements are value
                                              // initialized, a6[0] = a6[1] = 0
    [[maybe_unused]] std::array<int, 2> a7{1}; // List init, unspecified element is value
                                               // initialized, a7[0] = 1, a7[1] = 0
}

輸出

3 2 1
E Ǝ

參閱

inplace_vector (C++26)	可調整大小、固定容量、原地連續陣列 (類別模板)
vector	可調整大小的連續陣列 (類別模板)
deque	雙端隊列 (double-ended queue) (類別模板)
make_array (Library Fundamentals TS v2)	建立一個 std::array 物件，其大小以及（選用的）元素型別由參數推導得出 (函數模板)