Можно ли в C++ передать в шаблонный параметр класса типа unsigned long размер инит-листа aka std::initializer_list::size() через конструктор?

Question

[#include<unistd.h>]

Имеется класс следующего вида:

template <size_t size>
class A {
    Any_Type array[size];
public:
    //Тут может быть какой-либо шаблон...
    A(std::initializer_list<Any_Type> init_list) -> A</*Тут должен быть параметр для CTDA*/> {
       //Инициализация массива array данными из init_list
    }

};

По итогу это должно работать таким способом:
A a = {...};
То есть без явного указания размера типа.
Что я уже пробовал:

// Самый тупой вариант
A(std::initializer_list<Any_Type> init_list) -> A<init_list.size()> // Нет ибо init_list не существует во время компиляции и даже constexpr тут не поможет

A(std::initializer_list<Any_Type> init_list) -> A<std::initializer_list<Any_Type>::size()> // Разумеется потому что size не статик ф-ция

template<size_t count_elem>
A(Any_Type const (&arr)[count_elem]) -> StaticByteArray<count_elem> // Nope...

template<size_t count_elem>
A(Any_Type const (&arr)[count_elem]) -> StaticByteArray<sizeof (arr)> // Nope...

// Да это точно не вариант, ибо шаблон будет хватать любой мусор, но всё же...
template<typename T>
A(T arr) -> StaticByteArray<sizeof (arr)> // Хз почему но нет...

Может кто работал с этим

Comments

[Евгений Шатунов]

old2ev , в каком стандарте у тебя этот код?
Еще один вопрос: и даже constexpr тут не поможет - почему же не поможет?
Почему std::initializer_list не будет существовать на этапе компиляции?

[xorknown]

Странный вопрос, может вам надо совсем другое? Initializer_list может быть далеко не всегда использован в constexpr контексте, как вы на этапе компиляции узнаете его размер, если получаете его извне программы.
Почему бы не воспользоваться фабрикой или variadic template?

template <size_t size>
class A {
public:
    Any_Type array[size];


    template <class ...Args>
    constexpr A(Args ...args) {};

};

template <class ...Args>
A(Args ...args) -> A<sizeof...(Args)>;

Но опять же, зачем вам тупо плодить типы с разными размерами, если можно просто использовать динамические массивы?

[Антон Жилин]

xorknown, constexpr необязателен, и в конструкторе надо дописать forward параметров в поле, а так лайк

Answer 1

[Антон Жилин]

template <size_t N>
class ArrayWrapper {
  MyType data_[N];

public:
  explicit ArrayWrapper(MyType (&&arr)[N]) : data_(std::move(arr)) {}
};

template <size_t N>
ArrayWrapper(MyType (&&arr)[N]) -> ArrayWrapper<N>;

Answer 2

[#include<unistd.h>]

template <size_t size>
class A {
    Any_Type array[size];
public:

    template<size_t size>
    A(A<size>& other) {/*Инициализация массива array данными из other*/}

    template<size_t size>
    A(A<size>&& other) {/*Инициализация массива array данными из other*/}

    template<size_t size>
    A(const Any_Type (&&arr)[size]) {/*Инициализация массива array данными из arr*/}

};

template<size_t size>
A(A<size>& other) -> A<size>;

template<size_t size>
A(A<size>&& other) -> A<size>;

template<size_t size>
A(const Any_Type (&&arr)[size]) -> A<size>;

//......//

A a({1,2,3,4,5,6});

Answer 3

[Александр Ананьев]

А почему не сделать так?

template <class T>
class A {
   std::vector<T> array;
public:  
   A(std::initializer_list<T> init_list): array(init_list)
   {
   }
};

Answer 4

[maaGames]

Так "A a = {...};" написать точно не получится, потому что надо указывать тип шаблонного параметра. Т.е. в записи "A a" тип недоопределён.
Возможно, можно сделать аналог std::make_shared, который будет возвращать, напрмиер, A<5>. Что-то типа:

template< int Size>
A<Size> make_A( std::initializer_list<T> init_list )
{
      A<init_list .size()> a( init_list ); // size() - constexpr
      return a;
}

auto a = make_A( {...} );