使用非默认构造类型优雅地初始化 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;

此解决方案提供了一种高效且优雅的方式来使用非默认构造类型初始化 std::array，无论 n 的值如何。