Char и списки инициализаторов

Я хочу передать числовые байтовые значения через ~~список инициализаций~~ вариационный шаблон в массив. Возможно ли это?

template < int N > struct a {
  char s[N];
  template < typename ... A >
  a (A ... _a) : s {_a...} {}
};

int main () {
  // g++-4.5: error: narrowing conversion of »_a#0« from »int« to »char« inside { }
  a < 3 > x { 1, 2, 3 };
}

То, что я могу думать,

использовать восьмеричное представление, '\ 001' и т.д., или
чтобы использовать каждое значение.

Но оба не удовлетворяют.

Ответ 1

ПРИМЕЧАНИЕ. Все это необязательно, если вы не добавили функциональность в класс, чтобы он больше не являлся агрегированным. (Например, другие конструкторы, частные члены, базовый класс и т.д.). Прямой способ исправить код в вопросе - это просто удалить конструктор. Итак, допустим, там что-то еще.

Я видел, как некоторые люди пытались делать такие вещи. Это кажется уродливым, касающимся семантики преобразования и попыткой искусственного воссоздания функциональности обычного вызова функции.

Вот стратегия создания класса массива, который в первую очередь имеет правый конструктор.

Наложение шаблонов положило бы глазурь на торт, спрятав ::type уродство, но оно еще не в GCC.

template< typename ... NT >
struct var_ctor_array {
    enum { size_e = 0 }; // only used for zero size case
};

template< typename T, typename ... NT >
struct var_ctor_array< T, NT ... > {
    enum { size_e = 1 + sizeof...( NT ) };

    T st[ size_e ];

    var_ctor_array( T elem0, NT ... elemN )
        : st { elem0, elemN ... } {}
};

template< typename T, size_t N, typename ... NT >
struct gen_var_ctor_array {
    typedef typename gen_var_ctor_array< T, N-1, T, NT ... >::type type;
};

template< typename T, typename ... NT >
struct gen_var_ctor_array< T, 0, NT ... > {
    typedef var_ctor_array< NT ... > type;
};

int main() { // usage
    gen_var_ctor_array< char, 5 >::type five( 1, 2, 3, 4, 5 );
}

Ответ 2

Фактически вы не используете списки инициализаторов. Конструктор получает вариационный шаблон, и вы инициализируете x с помощью uniform инициализация.

Единственная проблема в том, что я не знаю об изящном способе инициализации массива с initializer_list, AFAIK std::array должен иметь конструктор, который принимает initializer_list, но он, похоже, не поддерживается g++ пока.

#include <utility>
template < int N > struct a {
    char s[N];

    a (std::initializer_list<char> list) {
        if (N != list.size()) 
            throw "list wrong size";

        int i = 0;
        const char* p = list.begin();
        while(p != list.end())
            s[i++] = *p++;
    }
};

Ответ 3

Вам не нужен сложный код

template < int N > struct a {
  char s[N];
  template < typename ... A >
  a (A ... _a) : s {static_cast<char>(_a)...} {}
};