デフォルト以外で構成可能な型を使用した std::array のエレガントな初期化

デフォルト以外の型を使用した std::array の初期化構築可能な要素タイプは面倒な作業になる可能性があります。手動で値を n 回繰り返すことは非効率的であり、n が大きい場合はエラーが発生しやすくなります。

この問題に対処するには、シーケンス タイプとジェネレーターを使用する、より洗練されたアプローチが必要です。重要なアイデアは、0 から n-1 までのインデックスのシーケンスを作成し、関数を使用して各インデックスに値を繰り返し適用することです。

実装は次のとおりです:

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)...};
}

このアプローチを使用して std::array を初期化するには:

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

さらに、次の定義が使用されます:

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;

このソリューションは、n の値に関係なく、デフォルトで構築できない型で std::array を初期化する効率的かつ洗練された方法を提供します。