Discussion :

[oodini]

Hello,

J'ai défini une classe templatisée (appelons la MaClasse) ayant sémantique de valeur. J'ai donc défini les opérateurs de comparaison.

Si B dérive de A, j'aimerais pouvoir comparer des instances MaClasse<A> et MaClasse<B>. Je comptais donc y aller à coup de enable_if et isbase_of :

Code :

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

1
2
3
4
5
6
7
8
9
template<typename T, typename IndexType=typename T::IndexType>
struct SafeIndex
{
    IndexType value;
    ...
    template <class U, template <typename> class V, class = typename std::enable_if<std::isbase_of<T,U>::value>>
    friend bool operator == (const SafeIndex<T>& lhs, const SafeIndex<U>& rhs) { return lhs.value == rhs.value; }
    ...
};

Malheureusement, ça ne fonctionne pas : j'obtiens une erreur Visual C4519 :
default template arguments are only allowed on a class template

Comment faire ??

Merci.

[koala01]

Salut,

A part attendre que visual studio respecte la norme, je ne vois pas vraiment comment t'y prendre (note que ce code devrait fonctionner avec Gcc )

[oodini]

C'est triste ce que tu me racontes là.

Ça me pourrit ma conception.

[jo_link_noir]

is_base_of, non ?

[koala01]

is_base_of, non ?

Je ne sais pas où VS2012 en est au niveau du support des typetraits, mais ici, l'erreur n'est pas due à un trait non implémenté, mais bien au fait que VC++ n'accepte pas encore les paramètres template par défaut pour les fonctions.

A partir de là, que tu essayes d'utiliser enable_if, is_base_of ou toute la panoplie des typetraits, dés le moment où tu envisageras d'utiliser une valeur par défaut pour le paramètre template d'une fonction, tu te feras jeter sans rémission possible

[koala01]

C'est triste ce que tu me racontes là.

Ça me pourrit ma conception.

Oui, je sais bien!!!

Ceci dit, je ne vois pas trop pourquoi tu t'inquiètes :

Toute variation sur le thème de SafeIndex représentera, forcément, un type différent dans le sens ou SafeIndex<A> sera différent de SafeIndex<B> et que, si tu implémente l'opérateur ==, tu ne pourras de toutes manières pas comparer l'un avec l'autre

Au pire, le static_assert est une fonctionnalité fournie par VS2012, et, sommes toutes, il pourrait sans doute être plus intéressant de l'utiliser

[oodini]

Toute variation sur le thème de SafeIndex représentera, forcément, un type différent dans le sens ou SafeIndex<A> sera différent de SafeIndex<B> et que, si tu implémente l'opérateur ==, tu ne pourras de toutes manières pas comparer l'un avec l'autre

Si B dérive de A, et que j'ai un vecteur de A*, j'aimerais que l'indice des éléments (que je sauvegarde dans des variables sous forme de SafeIndex<A> et SafeIndex<B>) soient comparables. Surtout si je dois mettre ces variables dans un tableau pour définir un sous-ensemble.

[jo_link_noir]

J'ai cru lire comme erreur que le paramètre de template n'était pas valide (allez savoir ou j'ai pêcher ça Oo).

L'histoire du tableau de SafeIndex<A> et SafeIndex<B> me semble bancal, mettre 2 types différents dans un même tableau va devenir compliquer. possible que je rate quelque chose.

Concernant le paramètre par défaut, on peut le déplacer au niveau du type de retour.

Code :

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

1
2
3
4
 
template <class U, template <typename> class V, class = typename std::enable_if<std::isbase_of<T,U>::value>>
friend typename std::enable_if<std::isbase_of<T,U>::value, bool>::type
operator == (const SafeIndex<T>& lhs, const SafeIndex<U>& rhs) {...}

(il sers à quoi le V dans tous ça ?)