Initialisation élégante de std::array avec un type non constructible par défaut

Initialisation d'un std::array avec un type autre que celui par défaut Le type d’élément constructible peut être une tâche fastidieuse. Répéter manuellement la valeur n fois est inefficace et sujet aux erreurs pour un grand n.

Pour résoudre ce problème, une approche plus élégante consiste à utiliser un type de séquence et un générateur. L'idée clé est de créer une séquence d'indices de 0 à n-1, puis d'utiliser une fonction pour appliquer de manière répétée une valeur à chaque index.

Voici une implémentation :

template
auto repeat(T value, seq) -> std::array
{
  // Unpack N, repeating `value` sizeof...(N) times
  // Note that (X, value) evaluates to value
  return {(N, value)...};
}

Pour initialiser un std::array en utilisant cette approche :

template
void f(T value)
{
  // genseq_t is seq
  std::array items = repeat(value, genseq_t{});
}

De plus, les définitions suivantes sont utilisées :

template
struct seq
{
  using type = seq;

  static const std::size_t size = sizeof ... (N);

  template
  struct push_back : seq {};
};

template
struct genseq : genseq::type::template push_back {};

template
struct genseq : seq {};

template
using genseq_t = typename genseq::type;

Cette solution fournit un moyen efficace et élégant d'initialiser std::array avec des types non constructibles par défaut, quelle que soit la valeur de n.