Блог

Как создать кортеж с нетиповыми параметрами шаблона

 template <auto... args>
void func()
{
  std::tuple<decltype(args)...> t(args...);
  cout << get<3>(t) << endl;
}

template <auto... args>
struct ZZ
{
  std::tuple<decltype(args)...> t(args...);
};


int main()
{
   func<1,2,3,4>();
   ZZ<1,2,3> z;
}
 

Хотя он работает для func , он не работает для структуры и приводит к ошибке компиляции (магистраль gcc)

 vs.cc:102:35: error: ‘args’ is not a type
  102 |   std::tuple<decltype(args)...> t(args...);
      |                                   ^~~~
 

Проблема в том, что инициализатор элемента по умолчанию (начиная с C 11) поддерживает фигурные скобки и инициализатор знака равенства, но не инициализатор круглых скобок. Вы можете изменить код на:

 template <auto... args>
struct ZZ
{
  std::tuple<decltype(args)...> t{args...};
  //                             ^       ^
};
 

Или

 template <auto... args>
struct ZZ
{
  std::tuple<decltype(args)...> t = std::tuple<decltype(args)...>(args...);
  //                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
};
 

И с помощью вывода аргумента шаблона класса (начиная с C 17):

 template <auto... args>
struct ZZ
{
  std::tuple<decltype(args)...> t = std::tuple(args...);
  //                              ^^^^^^^^^^^^^^^^^^^^^
};