std::to_array

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

コンテナライブラリ

array (C++11)

vector

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

span (C++20)

 

std::array

メンバ関数

要素アクセス

array::at

array::operator[]

array::front

array::back

array::data

イテレータ

array::beginarray::cbegin

array::endarray::cend

array::rbeginarray::crbegin

array::rendarray::crend

容量

array::empty

array::size

array::max_size

変更

array::fill

array::swap

非メンバ関数

get

std::swap

to_array (C++20)

operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20未満)(C++20未満)(C++20未満)(C++20未満)(C++20未満)(C++20)

ヘルパークラス

tuple_size

tuple_element

推定ガイド(C++17)

 

ヘッダ <array> で定義
template<class T, std::size_t N> constexprstd::array<std::remove_cv_t<T>, N> to_array(T (&a)[N]);	(1)	(C++20以上)
template<class T, std::size_t N> constexprstd::array<std::remove_cv_t<T>, N> to_array(T (&&a)[N]);	(2)	(C++20以上)

1次元の組み込みの配列 a から std::array を作成します。 std::array の要素は a の対応する要素からコピー初期化されます。 多次元の組み込みの配列のコピーまたはムーブはサポートしていません。

1)0, ..., N - 1 のすべての i について、結果の対応する要素を a[i] でコピー初期化します。 このオーバーロードは std::is_constructible_v<T, T&> が false のときは ill-formed になるでしょう。

2)0, ..., N - 1 のすべての i について、結果の対応する要素を std::move(a[i]) でコピー初期化します。 このオーバーロードは std::is_move_constructible_v<T> が false のときは ill-formed になるでしょう。

どちらのオーバーロードも std::is_array_v<T> が true のときは ill-formed になるでしょう。

引数

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])}

ノート

std::array のクラステンプレートの実引数推定は使用できないけれども to_array は利用可能という状況がいくつかあります。

• std::array の要素型は手動で指定し、長さは推定するとき、 to_array が使用できます。 これは暗黙の変換を欲するときに好まれます。
• to_array は文字列リテラルをコピーできます。 クラステンプレートの実引数推定では最初の文字を指すポインタ1個の std::array が作成されます。

std::to_array<long>({3, 4});// OK、暗黙の変換。// std::array<long>{3, 4}; // エラー、テンプレート実引数が少なすぎます。 std::to_array("foo");// std::array<char, 4>{ 'f', 'o', 'o', '\0' } を作成します。std::array{"foo"};// std::array<const char*, 1>{ +"foo" } を作成します。

実装例

1つめのバージョン
namespace detail {   template<class T, std::size_t N, std::size_t... I>constexprstd::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>constexprstd::array<std::remove_cv_t<T>, N> to_array(T (&a)[N]){return detail::to_array_impl(a, std::make_index_sequence<N>{});}
2つめのバージョン
namespace detail {   template<class T, std::size_t N, std::size_t... I>constexprstd::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>constexprstd::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>{});}

例

Run this code

#include <type_traits>#include <utility>#include <array>#include <memory>   int main(){// 文字列リテラルをコピーします。auto a1 = std::to_array("foo"); static_assert(a1.size()==4);   // 要素型と長さの両方を推定します。auto a2 = std::to_array({0, 2, 1, 3}); static_assert(std::is_same_v<decltype(a2), std::array<int, 4>>);   // 要素型を指定し、長さを推定します。// 暗黙の変換が発生します。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, .0f}, {4, .1f}, {4, .1e23f }}); static_assert(a4.size()==3);   // コピー可能でない std::array を作成します。auto a5 = std::to_array({std::make_unique<int>(3)}); static_assert(a5.size()==1);   // エラー、多次元配列のコピーはサポートしていません。// char s[2][6] = { "nice", "thing" };// auto a6 = std::to_array(s);}

関連項目

make_array

サイズと要素型を引数から推定した std::array オブジェクトを作成します (関数テンプレート)