Как создать объект std::array со списком инициализаторов?

Возможный дубликат:
Как я могу инициализировать массив членов с initializer_list?

Вы можете просто создать массив 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'};
Источник

3 ответа

Решение

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<> состоит из структуры, встраивающей необработанный массив, для которого потребуется два уровня скобок. К сожалению, я считаю, что точная совокупная структура 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, Это хорошо, потому что списки инициализаторов могут быть больше, чем фиксированный размер массива.

Вы можете инициализировать его, проверив, что список инициализаторов не превышает размер массива, а затем скопировав элементы списка инициализаторов в elems член std::array с std::copy,

Источник
Другие вопросы по тегам