Discussion :

[TNT89]

(Re)Bonjour,

J'ai des petits soucis concernant les templates... de templates . Pour faire simple, j'ai une classe Vector< TYPE_UTILISE, NB_DIMENSION > que je dois passer en template de classe dans une autre structure AutreStruct< class C, [...]>. Je voudrais reconnaitre alors la structure Vector de deux manières : quelque soient TYPE_UTILISE et NB_DIMENSION et, ensuite, quelque soit NB_DIMENSION en sachant que tout cela se passe au niveau d'une fonction...

Pour éclaircir :

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
 
template<typename TYPE, int DIMENSION>
struct Vector
{
     typedef TYPE* iterator;
     //blabla...
};
 
template< class C1, class C2>
struct AutreStruct
{
     //blabla
};
 
//Le problème est ici :
      //La fonction de base
template< class T, class U>
AutreStruct< T, U> MaFonction( const T &t, const U &u)
{
      //blabla
}
 
      //La spécialisation qui ne fonctionne pas
      //C'est le premier cas qui m'intéresse ici, puisque la fonction ne doit juste
      //reconnaitre que le type Vector et peu importe le nombre de dimensions
      //ou le type utilisé
template<class U>
template<typename TYPE, int DIMENSION>
AutreStruct< Vector<TYPE, DIMENSION>::iterator , U> MaFonction( const T &t, const U &u)
{
      //blabla
}

Erreur retournée par GCC :

error: type/value mismatch at argument 1 in template parameter list for `[...]'

Merci de votre aide.

[screetch]

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
//Le problème est ici :
      //La fonction de base
template< class T, class U>
AutreStruct< T, U> MaFonction( const T &t, const U &u)
{
      //blabla
}
 
      //La spécialisation qui ne fonctionne pas
      //C'est le premier cas qui m'intéresse ici, puisque la fonction ne doit juste
      //reconnaitre que le type Vector et peu importe le nombre de dimensions
      //ou le type utilisé
template<class U, typename TYPE, int DIMENSION>
AutreStruct< Vector<TYPE, DIMENSION>::iterator , U> MaFonction< Vector<TYPE, DIMENSION>::iterator , U>( const Vector<TYPE, DIMENSION>::iterator &t, const U &u)
{
      //blabla
}

la syntaxe est :

Code :

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

1
2
3
4
5
6
7
8
9
10
 
template<typename t1, typename t2>
void fonction();
 
template< typename t, int dimension, ..... >
void fonction< t1, t2 > ();
/* remplacer t1,t2 par le type auquel correspond la specialisation
soit dans ton exemple */
template< typename t, int dimension, typename u >
void fonction< Vector<t,dimension>,u > ();

ensuite dans ta specialisation, T et U ne sont pas connus, il faut recopier le type specialisé (vector....::iterator)

[Matthieu Brucher]

Vector<TYPE, DIMENSION>::iterator -> typename Vector<TYPE, DIMENSION>::iterator ?

[crazyvirus]

Corriger moi si je me trompe ! Les templates c en c++ ?
c'est pas dotnet ou quelque chose comme ca ?

[screetch]

c'est quoi les template C ?

[Alp]

Il a voulu dire

les templates c'est en C++ ?

A l'origine c'est du C++.
Il y a quand même quelque chose de similaire en C# et en Java (les Generics).

Mais tout ce qui est abordé ici, ce sont les templates du C++.

[TNT89]

Vector<TYPE, DIMENSION>::iterator -> typename Vector<TYPE, DIMENSION>::iterator ?

Oui ça fonctionne . Mais, corrigez moi si je me trompe, ça revient à faire du template typedef ???

On doit donner aussi tous les paramètres de template dans la version générale? Si oui, imaginons que je veuille utiliser cette surcharge pour fonctionner avec des matrices, ça va me donner des listes à rallonge non? C'est plutôt bien supporté?

[Matthieu Brucher]

Non, ça indique seulement que le ::iterator est un type, et non une valeur.

[TNT89]

Y aurait-il une possibilité de faire des listes de paramètres template pour améliorer la lisibilité du code? Ou des structures qui s'y rapprochent?