Discussion :

[Matthieu Brucher]

Salut à tous,

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

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.

[Montag]

Salut,

Tout simplement:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

?

[Matthieu Brucher]

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

[Matthieu Brucher]

Bon, voici le véritable exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[Jean-Marc.Bourguet]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

Meme logique que pour les typenames.

[Matthieu Brucher]

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

un grand