Discussion :

[Rewpparo]

Bonjour,
Je suis en train de redesigner une partie de mon code. Pour l'instant j'ai :

Code :

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

1
2
3
4
5
6
7
template <typename REAL, unsigned D> class Vector
{
   REAL m_data[D];
};
 
///Cross product
template<typename REAL> Vector<REAL,3> operator ^(const Vector<REAL,3>& p_v1, const Vector<REAL,3>& p_v2);

Le cross product n'est défini que pour les vecteurs en 3D. Ce que j'aimerais faire, c'est déplacer quand même l'opérateur dans la classe, de cette facon :

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
template <typename REAL, unsigned D> class Vector
{
   REAL m_data[D];
public:
   Vector<REAL,D> operator ^(const Vector<REAL,D>& p_vect);
};
 
///Cross product
template<typename REAL> Vector<REAL,3> Vector<REAL,3>::operator ^(const Vector<REAL,3>& p_vect)
{
   ...
}
 
///Voir même éventuellement si besoin
template<typename REAL> Vector<REAL,2> Vector<REAL,2>::operator ^(const Vector<REAL,2>& p_vect)
{
   ...
}

Le but est de faire un genre de spécialisation de template, et d'avoir une erreur de linkage si quelqu'un essaie de faire un crossproduct sur des Vectors a autre chose que 3D.
L'erreur que j'ai c'est "Invalid use of incomplete type Vector<float, 3u>" (g++). Je ne comprend pas vraiment le message, la définition de la classe est extérieure à la classe, il devrait normalement avoir ce qu'il lui faut pour instancier le template.
Est ce possible de faire une spécialisation partielle d'un membre d'une classe ? Si oui comment, et sinon pourquoi pas ?

[rincevent_123]

Salut,

Avant de pouvoir faire une spécialization de template tu as besoin d'avoir une definition générale.
Si tu veux que ça ne compile qu'avec 3D il suffit de faire comme ceci:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
//la définition générale qui ne compilera pas
template<typename REAL, unsigned D> Vector<REAL,D> Vector<REAL,D>::operator ^(const Vector<REAL,D>& p_vect)
{
// cette ligne ne sera jamais compilé a part si tu utilise autre chose qu'un 
// vector<3>
 erreur, cross product fonctionne seulement avec 3D vector
}
 
// la def de Cross product qui compile correctement
template<typename REAL> Vector<REAL,3> Vector<REAL,3>::operator ^(const Vector<REAL,3>& p_vect)
{
   // ton code ici
}

[Rewpparo]

Exactement ce que je cherchais !

Existe t il un moyen portable d'afficher une erreur de compilation s'il essaie de compiler la version générique ?


EDIT : Hé bien en fait non, ca ne marche pas. La définition générale est compilée, et il me donne toujours mon erreur "invalid use of incomplete type ‘class Vector<REAL, 3u>’"

EDIT 2 : J'ai essayé de faire de mon opérateur une méthode templatée pour essayer de spécialiser le template à ce niveau. Mais en plus de ne pas marcher, je me rend compte que ca ne résout pas mon problème qui est de simplifier une instanciation implicite de la classe : je suis toujours obligé de faire une instanciation explicite pour l'opérateur.
Je pense que j'ai surtout besoin de comprendre l'erreur 'invalid use of incomplete type' pour pouvoir avancer.

[koala01]

Salut,

Avec une classe (partiellement) spécialisée, il est possible d'obtenir une erreur *relativement* parlante....

Et il y a une phrase qui dit (traduction perso ) que tout problème peut etre résolu en ajoutant un niveau d'indirection supplémentaire

En fonction de ce que tu peux faire, tu peux très bien générer des traits de politiques pour certains type de base, par exemple, avec un code proche de:

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
/* un type tout à fait générique
 */
template <typename T>
struct MyTrait;
/* pour chaque type que tu envisages d'utiliser réellement
 */
template <>
struct MyTrait<double>
{
    typedef double value_type;
    typedef double * ptr_type;
    typedef double cref_type;
    typedef double & ref_type;
};
template <typename REAL, unsinged int D>
class Vector
{
    typedef MyTrait<REAL> trait_type;
    public:
        typedef trait_type::value_type value_type;
    /* ...*/
    private:
        value_type  m_data[D];
}

tu obtiendra une erreur (assez cryptique, à moins d'utiliser les possibilités de C++11, il est vrai ) si tu essaye de créer une instance de la classe Vector avec autre chose qu'un double, car MyTrait::value_type n'existe que... pour MyTrait<double>

[rincevent_123]

Sinon après pour avoir une erreur de compilation un peu plus explicite tu peux toujours utiliser boost concept check: http://www.boost.org/doc/libs/1_49_0...cept_check.htm mais bon si tu n'utilise pas déjà boost je penses pas que ce soit une bonne idée de l'integrer seulement pour ça.

Pour en revenir a ton erreur, pourrais tu montrer le code ou tu utilise ta classe template (quelque part avec un vector<float>)?

[Rewpparo]

Avant de m'occuper de l'erreur de compilation, il faut que j'arrive à le faire marcher pour D=3.
Spécialiser un member non template d'une classe template, c'est possible ? Quel est le sens de mon "invalid use of incomplete type Vector<REAL,3u>" ?