std::initializer_list

 

C++

言語

標準ライブラリヘッダ

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

名前付き要件

言語サポートライブラリ

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

診断ライブラリ

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

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

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

アルゴリズムライブラリ

数値演算ライブラリ

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

入出力ライブラリ

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

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

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

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

技術仕様書

 

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

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート(C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ(C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

std::initializer_list

メンバ関数

initializer_list::initializer_list

容量

initializer_list::size

イテレータ

initializer_list::begin

initializer_list::end

非メンバ関数

std::begin

std::end

std::rbegin (C++14)

std::rend (C++14)

 

(メンバ初期化子リストと混同しないでください)

ヘッダ <initializer_list> で定義
template<class T > class initializer_list;		(C++11以上)

std::initializer_list<T> 型のオブジェクトは const T 型のオブジェクトの配列へのアクセスを提供する軽量なプロキシオブジェクトです。

std::initializer_list オブジェクトは以下の場合に自動的に構築されます。

• 波括弧初期化子リストを使用してオブジェクトをリスト初期化し、対応するコンストラクタが std::initializer_list 引数を取る場合
• 波括弧初期化子リストを代入演算子の右辺の値として使用し、対応する代入演算子が std::initializer_list 引数を取る場合
• 波括弧初期化子リストを関数呼び出しの実引数として使用し、対応する関数が std::initializer_list 引数を取る場合
• 波括弧初期化子リストを auto に束縛する場合 (範囲 for ループを含みます)

std::initializer_list はポインタ2個またはポインタ+長さとして実装されます。 std::initializer_list をコピーしても中身のオブジェクトはコピーされません。

std::initializer_list オブジェクトの生存期間終了後に中身の配列が存在することは保証されません。 std::initializer_list のための記憶域は未規定です (状況に応じて自動、一時、読み込み専用の static メモリなどになります)。	(C++14未満)
中身の配列は const T[N] 型の一時配列です。 各々の要素は元々の初期化子リストの対応する要素からコピー初期化されます。 ただし縮小変換は無効です。 中身の配列の生存期間は他のあらゆる一時オブジェクトと同様です。 ただし配列からの std::initializer_list オブジェクトの初期化は、一時オブジェクトを参照に束縛する場合とまったく同様に、その配列の生存期間を延長します (まったく同様の例外もあります)。 中身の配列は読み込み専用メモリに確保される場合があります。	(C++14以上)
std::initializer_list の明示的または部分的な特殊化が宣言された場合、プログラムは ill-formed です。	(C++17以上)

メンバ型

メンバ型	定義
value_type	T
reference	const T&
const_reference	const T&
size_type	std::size_t
iterator	const T*
const_iterator	const T*

メンバ関数

コンストラクタ	空の初期化子リストを作成します (パブリックメンバ関数)
容量
size	初期化子リスト内の要素数を返します (パブリックメンバ関数)
イテレータ
begin	最初の要素へのポインタを返します (パブリックメンバ関数)
end	最後の要素の1つ次へのポインタを返します (パブリックメンバ関数)

非メンバ関数

std::begin(std::initializer_list) (C++11)	std::begin の特殊化 (関数テンプレート)
std::end(std::initializer_list) (C++11)	std::end の特殊化 (関数テンプレート)
ヘッダ <iterator> で定義
rbegin(std::initializer_list) (C++14)	std::rbegin の特殊化 (関数)
rend(std::initializer_list) (C++14)	std::rend の特殊化 (関数)

例

Run this code

#include <iostream>#include <vector>#include <initializer_list>   template<class T>struct S {std::vector<T> v; S(std::initializer_list<T> l): v(l){std::cout<<"constructed with a "<< l.size()<<"-element list\n";}void append(std::initializer_list<T> l){ v.insert(v.end(), l.begin(), l.end());}std::pair<const T*, std::size_t> c_arr()const{return{&v[0], v.size()};// return 文でのコピーリスト初期化。// これは std::initializer_list の使用ではありません。}};   template<typename T>void templated_fn(T){}   int main(){ S<int> s ={1, 2, 3, 4, 5};// コピーリスト初期化。 s.append({6, 7, 8});// 関数呼び出しでのリスト初期化。   std::cout<<"The vector size is now "<< s.c_arr().second<<" ints:\n";   for(auto n : s.v)std::cout<< n <<' ';std::cout<<'\n';   std::cout<<"Range-for over brace-init-list: \n";   for(int x :{-1, -2, -3})// auto のためのルールによりこの範囲 for が動作します。std::cout<< x <<' ';std::cout<<'\n';   auto al ={10, 11, 12};// auto のための特別なルール。   std::cout<<"The list bound to auto has size() = "<< al.size()<<'\n';   // templated_fn({1, 2, 3}); // コンパイルエラー。 {1, 2, 3} は式ではなく、// 型を持たないため、 T を推定できません。 templated_fn<std::initializer_list<int>>({1, 2, 3});// OK。 templated_fn<std::vector<int>>({1, 2, 3});// これも OK。}

出力:

constructed with a 5-element list The vector size is now 8 ints: 1 2 3 4 5 6 7 8 Range-for over brace-init-list: -1 -2 -3 The list bound to auto has size() = 3