Ist es möglich, die Elemente eines Member-Arrays abhängig von einem integralen Template-Parameter zu konstruieren?

Question

Angenommen:

template<class T,int N> 
struct A { 
    A(): /* here */ {} 

    T F[N]; 
}; 

ich die Elemente F[] müssen mit {0,1,2,...,N-1} gebaut werden. Wenn möglich, möchte ich rekursiv definierte Template-Strukturen vermeiden, indem ich die letzte Ebene als template<class T> struct A<T,0> definiere und einige komplizierte Template-Tricks mache. Können C++ 11 Initialisierungslisten helfen?

Dies ist ähnlich Template array initialization with a list of values, aber es baut nicht die Elemente mit dem steigenden Wert. Es setzt es später in einer Laufzeitschleife.

Answer 1

eine Art indices Lösung Unter der Annahme, steht zur Verfügung:

A(): A(make_indices<N>()) {} 

// really a private constructor 
template<int... Indices> 
explicit A(indices<Indices...>) 
    // Can be an arbitrary expression or computation, too, like 
    // (Indices + 3)... 
    : F {{ Indices... }} 
{} 

Wenn Ihr Compiler zum Delegieren von Konstrukteuren nicht unterstützt, eine Option zu std::array<T, N> wechseln ist und einen privaten static Helfer verwenden, die eine initialisierte Array zurückgibt, wie dass der Standardkonstruktor würde:

A(): F(helper(make_indices<N>())) {} 

Dies würde natürlich eine zusätzliche (Bewegung) Konstruktion führen.

Answer 2

Sie können mit einer Delegation variadische Wert Vorlage und Konstruktor dies tun:

template<int... I> struct index { 
    template<int n> using append = index<I..., n>; }; 
template<int N> struct make_index { typedef typename 
    make_index<N - 1>::type::template append<N - 1> type; }; 
template<> struct make_index<0> { typedef index<> type; }; 
template<int N> using indexer = typename make_index<N>::type; 

template<class T, int N> 
struct A { 
    template<T...I> A(index<I...>): F{I...} {} 

    A(): A(indexer<N>{}) {} 

    T F[N]; 
}; 

Dieser die Sequenz Pack Generator Calling a function for each variadic template argument and an array aus verwendet