如何使用模板元编程优雅地初始化非默认可构造 std::array？

优雅地初始化非默认可构造 std::array

在 C 中使用非默认可构造类型时，初始化 std::array 可能具有挑战性，尤其是当数组大小由模板参数确定时。

为了解决这个问题，我们引入了一种利用序列类型和生成器概念的复杂方法：

序列类型 seq

我们使用模板元函数定义一个名为 seq 的序列类型，它表示连续整数的序列。

<code class="cpp">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> {};
};</n...></int></n...></int></code>

生成器 genseq

使用这个序列，我们构造一个生成器 genseq 来生成长度递增的序列：

<code class="cpp">template<int n>
struct genseq : genseq<n-1>::type::template push_back<n-1> {};

template
struct genseq : seq {};

template<int n>
using genseq_t = typename genseq<n>::type;</n></int></n-1></n-1></int></code>

repeat() 函数

序列到位后，我们定义一个 Repeat() 函数来创建使用相同值初始化的数组：

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

用法

要初始化非默认可构造类型的 std::array，我们只需使用所需的值和 genseq_t:

<code class="cpp">template<typename t int n>
void f(T value)
{
     //genseq_t<n> is seq
     std::array<t n>> items = repeat(value, genseq_t<n>{});
}</n></t></n></typename></code>

该方案保证了 std::array 优雅高效的初始化，有效消除了 n 为较大模板参数时繁琐的手动重复操作。

以上是如何使用模板元编程优雅地初始化非默认可构造 std::array？的详细内容。更多信息请关注PHP中文网其他相关文章！