如何初始化的std ::阵列＆LT; T，N＆GT;典雅如果T没有缺省构造的？ [英] How to initialize std::array<T, n> elegantly if T is not default constructible?

问题描述

我如何初始化的std ::阵列＆LT; T，N＆GT; 如果T不是缺省构造

我知道这是可能将其初始化像：

I know it's possible to initialize it like that:

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 太大。

推荐答案

指定N，可以生成序列类型，称为以次＆LT; 0,1,2,3，...，N-1＆GT ; 使用一种称为发电机 genseq_t＆LT;＆GT; ，那么这样做：

Given N, you could generate a sequence-type calledseq<0,1,2,3,...N-1> using a generator called genseq_t<>, then do this:

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

其中，重复的定义是：

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;

在线演示

希望有所帮助。

这篇关于如何初始化的std ::阵列＆LT; T，N＆GT;典雅如果T没有缺省构造的？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！