23 General utilities library [utilities]

23.3 Compile-time integer sequences [intseq]

23.3.1 In general [intseq.general]

The library provides a class template that can represent an integer sequence.

When used as an argument to a function template the parameter pack defining the sequence can be deduced and used in a pack expansion.

[ Note

The index_sequence alias template is provided for the common case of an integer sequence of type size_t; see also [tuple.apply].

— end note

]

23.3.2 Class template integer_sequence [intseq.intseq]

namespace std {
  template<class T, T... I>
    struct integer_sequence {
      using value_type = T;
      static constexpr size_t size() noexcept { return sizeof...(I); }
    };
}

T shall be an integer type.

23.3.3 Alias template make_integer_sequence [intseq.make]

🔗

template<class T, T N>
  using make_integer_sequence = integer_sequence<T, see below>;

If N is negative the program is ill-formed.

The alias template make_integer_sequence denotes a specialization of integer_sequence with N template non-type arguments.

The type make_integer_sequence<T, N> denotes the type integer_sequence<T, 0, 1, ..., N-1>.