std::to_array
From cppreference.com
| ヘッダー <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以降) |
1次元の組み込み配列 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]) }
[編集] 備考
std::array のクラステンプレート引数推定が使用できない場合でも、to_array が利用できることがある。
-
to_arrayは、std::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); }
[編集] 関連項目
| (Library Fundamentals TS v2) |
サイズと、任意で要素型を引数から推論してstd::arrayオブジェクトを生成する (関数テンプレート) |
