How to initialize std::array elegantly if T is not default constructible?

by

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

where repeat is defined as:

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

And the rest is defined as:

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;

Online demo

Hope that helps.

More Related Contents:

  1. How to emulate C array initialization “int arr[] = { e1, e2, e3, … }” behaviour with std::array?
  2. C++11: Correct std::array initialization?
  3. Now that we have std::array what uses are left for C-style arrays?
  4. too many initializers for ‘int [0]’ c++
  5. Interfacing C++11 array with Cython
  6. Is there a way to statically-initialize a dynamically-allocated array in C++?
  7. Invalid operands to binary expression while implementing vector [closed]
  8. Check if a class has a member function of a given signature
  9. std::enable_if to conditionally compile a member function
  10. Initialization of all elements of an array to one default value in C++?
  11. C++11 does not deduce type when std::function or lambda functions are involved
  12. Variadic template pack expansion
  13. Does “int size = 10;” yield a constant expression?
  14. std::function vs template
  15. initializer_list and template type deduction
  16. What is the partial ordering procedure in template deduction
  17. When to use std::forward to forward arguments?
  18. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  19. What does this variadic template code do?
  20. SFINAE works differently in cases of type and non-type template parameters
  21. what is the best modern c++ approach to construct and manipulate a 2d array [closed]
  22. Expansion with variadic templates [duplicate]
  23. Can the point-of-instantiation be delayed until the end of the translation unit?
  24. How to pass a template function in a template argument list
  25. Is there a compiler bug exposed by my implementation of an is_complete type trait?
  26. What’s the difference between parentheses and braces in c++ when constructing objects
  27. Returning a void?
  28. Specialized template function with deleted “general” case fails to compile with g++
  29. How does std::forward receive the correct argument?
  30. Why can’t I use alias from a base class in a derived class with templates?

Leave a Comment