std::to_array

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (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)

介面卡

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 操作 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>= (until C++20)(until C++20)(until C++20)(until C++20)(until C++20)
輔助類
tuple_size<std::array>
tuple_element<std::array>
推導指引 (C++17 起)

 

定義於標頭檔案 <array>
template< class T, std::size_t N > constexpr std::array<std::remove_cv_t<T>, N> to_array( T (&a)[N] );	(1)	(C++20 起)
template< class T, std::size_t N > constexpr std::array<std::remove_cv_t<T>, N> to_array( T (&&a)[N] );	(2)	(C++20 起)

從一維內建陣列 a 建立 std::array。不支援複製或移動多維內建陣列。

1) 對於 0, ..., N - 1 中的每個 i，使用 a[i] 複製初始化結果的對應元素。當 std::is_constructible_v<T, T&> 為 false 時，此過載格式不正確。

2) 對於 0, ..., N - 1 中的每個 i，使用 std::move(a[i]) 移動初始化結果的對應元素。當 std::is_move_constructible_v<T> 為 false 時，此過載格式不正確。

當 std::is_array_v<T> 為 true 時，兩個過載都格式不正確。

引數

a	-	要轉換為 std::array 的內建陣列
型別要求
- 為了使用過載 (1)，T 必須滿足 CopyConstructible 的要求。
- 為了使用過載 (2)，T 必須滿足 MoveConstructible 的要求。

返回值

1) std::array<std::remove_cv_t<T>, N>{ a[0], ..., a[N - 1] }

2) std::array<std::remove_cv_t<T>, N>{ std::move(a[0]), ..., std::move(a[N - 1]) }

注意

在某些情況下，當 to_array 可用時，無法使用 類模板引數推導 的 std::array

• 當手動指定 std::array 的元素型別並推導長度時，可以使用 to_array，這在需要隱式轉換時是首選。
• to_array 可以複製字串字面量，而類模板引數推導則構造一個指向其第一個字元的單個指標的 std::array。

std::to_array<long>({3, 4}); // OK: implicit conversion
// std::array<long>{3, 4};   // error: too few template arguments
std::to_array("foo");        // creates std::array<char, 4>{'f', 'o', 'o', '\0'}
std::array{"foo"};           // creates std::array<const char*, 1>{"foo"}

特性測試宏	值	標準	特性
__cpp_lib_to_array	201907L	(C++20)	std::to_array

可能的實現

to_array (1)
namespace detail { template<class T, std::size_t N, std::size_t... I> constexpr std::array<std::remove_cv_t<T>, N> to_array_impl(T (&a)[N], std::index_sequence<I...>) { return {{a[I]...}}; } }   template<class T, std::size_t N> constexpr std::array<std::remove_cv_t<T>, N> to_array(T (&a)[N]) { return detail::to_array_impl(a, std::make_index_sequence<N>{}); }
to_array (2)
namespace detail { template<class T, std::size_t N, std::size_t... I> constexpr std::array<std::remove_cv_t<T>, N> to_array_impl(T (&&a)[N], std::index_sequence<I...>) { return {{std::move(a[I])...}}; } }   template<class T, std::size_t N> constexpr std::array<std::remove_cv_t<T>, N> to_array(T (&&a)[N]) { return detail::to_array_impl(std::move(a), std::make_index_sequence<N>{}); }

示例

執行此程式碼

#include <array>
#include <memory>
#include <string_view>
#include <type_traits>
#include <utility>
 
// creates a constexpr array of string_view's    
constexpr auto w1n = std::to_array<std::string_view>({
    "Mary", "Patricia", "Linda", "Barbara", "Elizabeth", "Jennifer"
});
static_assert(std::is_same_v<decltype(w1n), const std::array<std::string_view, 6>>);
static_assert(w1n.size() == 6 and w1n[5] == "Jennifer");
 
int main()
{
    // copies a string literal
    auto a1 = std::to_array("foo");
    static_assert(a1.size() == 4);
 
    // deduces both element type and length
    auto a2 = std::to_array({0, 2, 1, 3});
    static_assert(std::is_same_v<decltype(a2), std::array<int, 4>>);
 
    // deduces length with element type specified
    // implicit conversion happens
    auto a3 = std::to_array<long>({0, 1, 3});
    static_assert(std::is_same_v<decltype(a3), std::array<long, 3>>);
 
    auto a4 = std::to_array<std::pair<int, float>>(
        {{3, 0.0f}, {4, 0.1f}, {4, 0.1e23f}});
    static_assert(a4.size() == 3);
 
    // creates a non-copyable std::array
    auto a5 = std::to_array({std::make_unique<int>(3)});
    static_assert(a5.size() == 1);
 
    // error: copying multidimensional arrays is not supported
    // char s[2][6] = {"nice", "thing"};
    // auto a6 = std::to_array(s);
}

另請參閱

make_array (庫基礎 TS v2)

建立 std::array 物件，其大小和可選的元素型別從引數中推導 (函式模板)