Discussion :

[LittleWhite]

Bonjour,

J'essaie d'utiliser les templates en C++. Aujourd'hui, je pensais faire un Vector (dans le sens, vertex, mais dans un système de coordonnées N). Je pensais faire des spécialisations de template, pour N = 3 et N = 4.
Mais finalement, cela m'a forcé à copier / coller les fonctions de vector<T,N> pour les avoir dans le vector<T,3>. Ok, j'ai compris ma première erreur en lisant la FAQ -> http://cpp.developpez.com/faq/cpp/?p...specialisation

La spécialisation de classe est elle plus contraignante car il faut redéfinir la totalité de celle-ci.

Du coup, je fais du copier-coller. Ce n'est pas génial.
J'imagine que j'ai donc pris une mauvaise direction. Notamment car il se peut que je n'aurais jamais besoin de mon vector<T,N>

Bref, toujours est il, que j'aimerais connaitre la syntaxe qu'il faut utiliser dans le cas:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
// Vector de base
template <typename T, unsigned int N>
struct Vector
{
// Mon code
}
 
// Ma spécialisation:
template <typename T>
struct Vector3<T,3> // Erreur de compilation ici
{
 
}

Est ce possible de l'écrire, ou alors, je fait vraiment n'importe quoi?

[Davidbrcz]

Tu spécialises, donc tu dois garder le même nom de classe !

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
// Vector de base
template <typename T, unsigned int N>
struct Vector
{
};
 
template <typename T>
struct Vector<T,3> 
{
 
};

Et une fois C++11 bien supporté, tu pourra même faire ceci

Code :

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

1
2
 
template <typename T> using Vector3 =Vector<T,3> ;

[LittleWhite]

Effectivement, j'avais oublié cette caractéristique.

Merci beaucoup.

[atha2]

Il y a t'il une différence entre

Code :

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

template <typename T>  using Vector3 =Vector<T,3> ;

et

Code :

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

1
2
template <typename T> 
class Vector3 :Vector<T,3>{};

?
D'ailleurs cette dernière syntaxe est-elle valide ?

[Klaim]

Il me semble que la façon correcte de le faire en C++03 c'est :

Code :

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

1
2
3
4
5
6
7
8
9
template< typename T >
struct Math
{
    typedef Vector<T,3> Vector3;
};
 
//...
 
Math<float>::Vector3 mon_vector3f;

Ce qui évite d'impliquer de l'héritage là où il peut être dangereux et franchement pas nécessaire.

[LittleWhite]

Il y a t'il une différence entre

Code :

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

template <typename T>  using Vector3 =Vector<T,3> ;

et

Code :

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

1
2
template <typename T> 
class Vector3 :Vector<T,3>{};

?
D'ailleurs cette dernière syntaxe est-elle valide ?

Effectivement, la deuxième méthode est bonne et c'est celle que je vais utilisé .
Merci

[Davidbrcz]

La 1er ligne c'est les template typedef C++11. C'est exactement ce que tu cherches, un alias sur un type template. Y'a plus qu'a attendre que les compilos soient compatibles

[Klaim]

Comme le nom a changé, ce n'est pas une spécialization partielle. Il n'y a aucun lien entre tes deux classes...

A priori tu veux

Code :

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

1
2
3
4
5
6
7
8
// Ma spécialisation:
template <>
struct Vector<T,3> 
{
     // code pour la spécialization
}; 
 
template< typename T > using Vector3 =  Vector<T,3>; // alias pour avoir un nom différent.

Enlève la spécialization si tu voulaisj uste un nom différent.

edit> oups j'avais oublié que l'alias est une feature C++11.

[3DArchi]

Salut,

Du coup, je fais du copier-coller. Ce n'est pas génial.

Non, effectivement. Pourquoi as-tu besoin de spécialiser par arité ?

[LittleWhite]

Non, effectivement. Pourquoi as-tu besoin de spécialiser par arité ?

Que voulez vous dire par "par arité" (ou autre mot ).

Je vais tout de même tenter d'expliquer mon raisonnement, que je conçoit comme étant un peu idiot.

Je veux faire une classe Vector (pour la position de point / vecteur 3D). Alors, j'aurais pu réutiliser mon code pour le Vector3 et mon code pour le Vector4. Mais je me suis dit, que pour être plus réutilisable et pour utiliser un peu plus les templates. Je n'aurais certainement pas besoin de cette classe très généraliste des Vector (N).

Pourquoi une spécialisation des Vector<N>, tout simplement car je voulais avec les fonctions x() ; y() ; z() sur cette spécialisation. Aussi car je ne sais faire le cross product, que sur 3 dimensions .
Je voulais aussi rajouter une surcharge de l'opérateur << pour un débugguage plus facile du Vector3 (alors que pour un Vector<N> c'est moins facile).

Voilà un peu mon principe, mais je me rends compte que c'est assez idiot, et que j'ai peut être perdu du temps sur un truc qui ne me servira à rien :s.