è possibile la creazione di istanze di template espliciti ricorsivi?

Question

Dato un modello di come

template<int dim> class Point { ... }; 

questo modello è possibile creare un'istanza in modo esplicito come

template class Point<0>; 
template class Point<1>; 
template class Point<2>; 
template class Point<3>; 

invece di istanziare ogni template singolarmente come sopra, vorrei istanziare loro in modo ricorsivo con una sola chiamata come

template class RecursiveInstantiate<Point, 3>; 

dove RecursiveInstantiate<T, i> dovrebbe creare un'istanza T<i>, T<i-1>, ..., T<0>. È in qualche modo possibile creare una tale classe RecursiveInstantiate? Se non è possibile, conosci un modo per farlo con il preprocessore?

In effetti sono interessato a generalizzare questo per le classi con più parametri di modello come Node<int i1,int i2,int i3> per tutte le combinazioni di i1, i2, i3 in {0,1,2,3}. Ma spero di essere in grado di elaborare questa seconda parte da solo.

Qualsiasi consiglio, anche una spiegazione del perché è impossibile ciò che voglio ottenere è apprezzato.

---

Aggiornamento: Grazie per i vostri commenti finora. Ora vedo più chiaramente dove si trova il problema. La riga

template class Point<3>; 

crea un'istanza del modello ed esporta i suoi simboli nel file oggetto. Un'esemplificazione della forma

template class RecursiveInstantiate<Point, 3>; 

può istanziare le classi class Point<3>, class Point<2>, .... A quanto pare questo accade solo a livello locale però. I modelli non vengono esportati nel file oggetto. Forse dovrò cercare una soluzione usando il preprocessore.

Come vedo ora che non ho fatto la mia domanda abbastanza precisamente all'inizio, apprezzo le vostre risposte e quelle selezionate come corrette.

Nota: Sto provando questo su linux con g ++/clang come compilatori.

Answer 1

si potrebbe fare un po 'di classe Instantiator:

template <unsigned int N> struct Instantiator 
{ 
    Point<N> p; 
    Instantiator<N-1> i; 
}; 

template <> struct Instantiator<0> 
{ 
    Point<0> p; 
}; 

Poi basta aggiungere uno esplicita esemplificazione: template struct Instantiator<81>;

È possibile estendere questa idea lessicografico a qualsiasi numero di parametri integrali.

---

Come dice @Georg, Facciamo generico:

template <template <unsigned int> class T, unsigned int N> struct Instantiator 
{ 
    T<N> t; 
    Instantiator<T, N-1> i; 
}; 

template <template <unsigned int> class T> struct Instantiator<T, 0> 
{ 
    T<0> t; 
}; 

template struct Instantiator<Point, 82>; 

Answer 2

Potete farlo in questo modo:

template<int dim> struct Point { 
    static const int val = dim; 
    Point<dim - 1> p; 
}; 

template<> struct Point<0> { ... }; 

che crea una specializzazione modello per il parametro di template quando è 0 così la ricorsione si ferma lì, e quando si crea un'istanza di uno come questo:

Point<4> 

Si crea da Point<4> a Point<0>. Quindi puoi fare

Point<4>::val 

per accedere al valore di quello particolare.