Блог

В настоящее время я ищу решение для предоставления конструктору шаблонных классов и функции фиксированного шаблона в соответствии с количеством аргументов N . Мой шаблон имеет вид template<typename T, unsigned int N> . Идея заключается в том, что будет работать следующее:

 MyClass<int, 4> object(1, 2, 3, 4);
 

В то время как следующее должно завершиться неудачей (и так далее):

 MyClass<int, 4> object(1, 2, 3);
MyClass<int, 4> object(1, 2, 3, 4, 5);
 

Я думаю о чем-то подобном MyClass(T arg1, ..., T argN){...} , но автоматически генерируемом. Я нашел только решения о том, как предоставить шаблону один или несколько аргументов. Но ничего по фиксированному количеству.

Я надеюсь, что кто-нибудь сможет мне помочь. Заранее спасибо!

Вы можете использовать промежуточный тип и использовать std::index_sequence :

 template <typename T, std::size_t>
using always_t = T;

template <typename T, typename Seq> struct MyClassImpl;

template <typename T, std::size_t ... Is>
struct MyClassImpl<T, std::index_sequence<Is...>>
{
    MyClassImpl(always_t<T, Is>...);
};

template <typename T, std::size_t N>
using MyClass = MyClassImpl<T, std::make_index_sequence<N>>;
 

ДЕМОНСТРАЦИЯ.

Или, аналогично, с более простым MyClassImpl , и сложность перемещается в псевдоним:

 template <typename ...Ts>
struct MyClassImpl
{
    MyClassImpl(Ts... args);
};

template <typename T, std::size_t>
using always_t = T;

template <typename T, typename Seq>
struct MyClassAlias;

template <typename T, std::size_t... Is>
struct MyClassAlias<T, std::index_sequence<Is...>>
{
    using type = MyClassImpl<always_t<T, Is>...>;
};

template <typename T, std::size_t N>
using MyClass = typename MyClassAlias<T, std::make_index_sequence<N>>::type;
 

ДЕМОНСТРАЦИЯ

Вы можете добавить ограничение к перегрузке, например

 template <typename T, std::size_t N>
struct MyClass {
  // pre-C  20
  template <typename... Args, std::enable_if_t<sizeof...(Args) == N, int> = 0>
  MyClass(Argsamp;amp;... args) { /* ... */ }

  // or alternatively, post-C  20,
  template <typename... Args>
    requires (sizeof...(Args) == N)
  MyClass(Argsamp;amp;... args) { /* ... */ }
};
 

ДЕМОНСТРАЦИЯ

Обратите внимание, что в случае N == 1 then в нескольких случаях эти шаблоны будут предпочтительнее автоматически сгенерированного конструктора копирования. Если это потенциальная проблема, то вам нужно будет дополнительно ограничить шаблоны, чтобы предотвратить этот случай. Вот пример того, как вы могли бы это сделать.

Если вам не нужно использовать SFINAE для различения других конструкторов, вы могли бы вместо этого использовать static_assert также:

 template <typename... Args>
MyClass(Argsamp;amp;... args) {
  static_assert(sizeof...(Args) == N);
  // ...
}