c++ - std::array の初期化方法T がデフォルトで構築可能でない場合、エレガントに?

Question

std::array<T, n> T がデフォルトで構築可能でない場合、どうすれば初期化できますか?

次のように初期化できることはわかっています。

T t{args};
std::array<T, 5> a{t, t, t, t, t};

しかしn、私にとってはテンプレートパラメータです:

template<typename T, int N>
void f(T value)
{
    std::array<T, N> items = ??? 
}

nテンプレートではなかったとしても、が大きすぎる場合に手動で値を繰り返すのは非常に見苦しいものです。

Answer 1

N を指定すると、seq<0,1,2,3,...N-1>というジェネレーターを使用してというシーケンス タイプを生成できますgenseq_t<>。次に、次のようにします。

template<typename T, int N>
void f(T value)
{
     //genseq_t<N> is seq<0,1,...N-1>
     std::array<T, N> items = repeat(value, genseq_t<N>{});
}

は次のようにrepeat定義されます。

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

残りは次のように定義されます。

template<int ... N>
struct seq
{
   using type = seq<N...>;

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

   template<int I>
   struct push_back : seq<N..., I> {};
};

template<int N>
struct genseq : genseq<N-1>::type::template push_back<N-1> {};

template<>
struct genseq<0> : seq<> {};

template<int N>
using genseq_t = typename genseq<N>::type;

オンラインデモ

それが役立つことを願っています。