[Template] Question de template de templates imbriqués

Salut à tous,

Je me suis embarqué dans un système assez complexe de template, et je me heurte à un mur :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28

#include <iostream>   template<template<int, int> class Test1> struct Test2 { static void run() { Test1<1, 1>::print(); } };   template<class Nothing> struct Test3 { template<int di, int dk> struct Test4 { static void print() { std::cout << di * dk << std::endl; } }; };   int main(int argc, char** argv) { Test2<Test3<float>::Test4<1, 1> >::run(); }

---

Le résultat est :

Citation:

---

test.cpp: In function `int main(int, char**)':
test.cpp:28: error: type/value mismatch at argument 1 in template parameter list for `template<template<int <anonymous>, int <anonymous> > class Test1> struct Test2'
test.cpp:28: error: expected a class template, got `Test3<float>::Test4<1, 1>'
test.cpp:28: error: invalid type in declaration before ';' token

---

La question est que mettre comme paramètre template pour Test2 afinq u'il reconnaisse l'utilisation de la structure imbriquée TesT4.

Pour le moment, je n'ai pas trouvé plus simple : Test4 est en fait une structure permettant de calculer des différences finies 2D, Test3 est la classe parente définissant le type de calcul, et Test2 est la classe effectuant une mise à jour en différence finie.

Salut,

Tout simplement:

Code:

---

1 2 3 4

int main(int argc, char** argv) { Test2<Test3<float>::Test4>::run(); }

---

?

Oups, pardon...
J'ai cru que j'avais reproduit le problème que j'avais à plus grande échelle, mais en fait non :|

Bon, voici le véritable exemple :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41

#include <iostream>   template<class Nothing> struct Test { template<template<int, int> class Test1> struct Test2 { static void run() { Test1<1, 1>::print(); } }; };   template<class Nothing> struct Test3 { template<int di, int dk> struct Test4 { static void print() { std::cout << di * dk << std::endl; } }; };   template<class Nothing> struct Test5 { static void other_run() { Test<Nothing>::Test2<Test3<float>::Test4>::run() } };   int main(int argc, char** argv) { Test5<float>::other_run(); }

---

C'est la même chose qu'avant, sauf que la première structure ayant comme argument template une classe template est encapsulée dans une autre structure template.

Pour expliquer, la structure Test3 est une structure effectuant les différences finies, la structure Test4 propose une manière de faire. La structure Test encapsule un calcul de différence finie (mais je peux en avoir plusieurs, selon le modèle utilisé, d'où ma volonté de factoriser le plus possible), et Test2 représente une des étapes du calcul. Enfin, Test5 est une structure de contrôle de tout l'architecture.

L'erreur :

Code:

---

1 2 3 4 5 6 7 8

test.cpp: In static member function `static void Test5<Nothing>::other_run()': test.cpp:35: error: missing template arguments before '>' token test.cpp:35: error: `::run' has not been declared test.cpp:36: error: expected `;' before '}' token test.cpp: In static member function `static void Test5<Nothing>::other_run() [with Nothing = float]': test.cpp:41: instantiated from here test.cpp:35: error: dependent-name ` Test<Nothing>::Test2' is parsed as a non-type, but instantiation yields a type test.cpp:35: note: say `typename Test<Nothing>::Test2' if a type is meant

---

avec GCC 3.4, j'ai une erreur identique avec ICC. Je n'arrive pas à savoir ce qui se apsse réellement, ça doit être tout con, ou un truc interdit, mais sur le coup, je ne vois plus :|

Code:

---

Test<Nothing>::template Test2<Test3<float>::template Test4>::run();

---

Meme logique que pour les typenames.

Ah oui, j'avais complètement oublié cette utilisation du "template".

un grand :merci: