Alors voilà, je voudrais faire ça (je simplifie)

Evidemment, ça marche pas?    

bah non, les paramètres template doivent etre connu à la compilation.
Tu peut faire un for purement statique par contre si tu veux.

http://codepad.org/WhbZEh5k

C'est à dire?

regarde l'exemple

Ha, le fourbe, t'as édité après ma réponse  

Je ne vois pas du tout où le compilo voit qu'il doit s'arrêter à 10?

Si, j'ai vu mais c'est bizarre.

specialisation partielle de template. Rien de bizarre

 
Dit comme ça c'est vrai, mais d'un autre point de vue, ça fait une espèce d'utilisation de truc qui est déclaré après.

et ? c'est guère different d'une declaration de prototype de fonction

Bah ce qui me gène c'est que le compilo soit en mesure d'aller chercher la condition d'arret plus loin dans le code, alors que pour
 
struct A{
 B membre;
};
 
struct B{
...
};
il ne le fait pas...
 

c'ets different. Pour le compilateur, les templates ne sont que des modèle de generation. Il les voit, il les enregistre mais il ne va les compiler que si il en a besoin. Et a ce moment, il les a deja tous vus.