Std :: arrayは、イニシャライザリストを使用して問題なく構築できます。
std::array<int, 3> a = {1, 2, 3}; // works fine
ただし、std::initializer_list
からデータメンバーまたはクラスの基本オブジェクトとして構築しようとすると、機能しません。
#include <array>
#include <initializer_list>
template <typename T, std::size_t size, typename EnumT>
struct enum_addressable_array : public std::array<T, size>
{
typedef std::array<T, size> base_t;
typedef typename base_t::reference reference;
typedef typename base_t::const_reference const_reference;
typedef typename base_t::size_type size_type;
enum_addressable_array(std::initializer_list<T> il) : base_t{il} {}
reference operator[](EnumT n)
{
return base_t::operator[](static_cast<size_type>(n));
}
const_reference operator[](EnumT n) const
{
return base_t::operator[](static_cast<size_type>(n));
}
};
enum class E {a, b, c};
enum_addressable_array<char, 3, E> ea = {'a', 'b', 'c'};
Gcc 4.6のエラー:
test.cpp: In constructor 'enum_addressable_array<T, size, EnumT>::enum_addressable_array(std::initializer_list<T>) [with T = char, unsigned int size = 3u, EnumT = E]':
test.cpp:26:55: instantiated from here
test.cpp:12:68: error: no matching function for call to 'std::array<char, 3u>::array(<brace-enclosed initializer list>)'
test.cpp:12:68: note: candidates are:
include/c++/4.6.1/array:60:12: note: std::array<char, 3u>::array()
include/c++/4.6.1/array:60:12: note: candidate expects 0 arguments, 1 provided
include/c++/4.6.1/array:60:12: note: constexpr std::array<char, 3u>::array(const std::array<char, 3u>&)
include/c++/4.6.1/array:60:12: note: no known conversion for argument 1 from 'std::initializer_list<char>' to 'const std::array<char, 3u>&'
include/c++/4.6.1/array:60:12: note: constexpr std::array<char, 3u>::array(std::array<char, 3u>&&)
include/c++/4.6.1/array:60:12: note: no known conversion for argument 1 from 'std::initializer_list<char>' to 'std::array<char, 3u>&&'
次のように、ラッパークラスを初期化リストで初期化できるようにするには、どうすればよいですか。
enum_addressable_array<char, 3, E> ea = {'a', 'b', 'c'};
std::array<>
には、std::initializer_list<>
(イニシャライザリストコンストラクタ)を取るコンストラクタがなく、std::initializer_list<>
をクラスのコンストラクタに渡して、うまくいくかもしれません。だからそれは失敗します。
それが機能するためには、派生クラスがすべての要素をキャッチしてから、それらをコンストラクタテンプレートとして転送する必要があります。
template<typename ...E>
enum_addressable_array(E&&...e) : base_t{{std::forward<E>(e)...}} {}
この場合、中括弧の省略(大括弧を省略)はその場所では機能しないため、{{...}}
が必要であることに注意してください。 T t = { ... }
の形式の宣言でのみ使用できます。 std::array<>
は、生の配列を埋め込む構造体で構成されるため、2つのレベルのブレースが必要になります。残念ながら、std::array<>
の正確な集計構造は指定されていないため、ほとんどの実装で機能することを期待する必要があります。
std::array
は、集約を含む構造体です(それ自体は集約体ではなく、std::initializer_list
を受け取るコンストラクターもありません)。初期化子を使用して、構造体内の基になる集約を初期化できます。次のような二重ブレース構文を使用してリストします。
std::array<int, 4> my_array = {{1, 2, 3, 4}};
これはstd::initializer_list
を使用していないことに注意してください...これは単にC++初期化子リストを使用して、std::array
のパブリックにアクセス可能な配列メンバーを初期化しています。
std::array
には、std::initializer_list
を受け取るコンストラクターがありません。初期化子リストは配列の固定サイズよりも大きくなる可能性があるため、これは良いことです。
初期化リストが配列のサイズ以下であることをテストし、初期化リストの要素をstd::array
のelems
メンバーにstd::copy
を付けてコピーすることで、初期化できます。