Discussion :

[olivier1978]

Suite a mon message (toujours sans reponse), je me demandais si il etait possible pour une fonction (pas une classe ...) template de limiter les types possibles.

Par exemple :

Code :

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

template <class T , class U> void Transform( const T &c , U &m)

Avec :

Code :

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

T = CCi ou T = CCd

où

Code :

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

CCi et CCd sont des typedefs

Merci d'avance

[roulious]

Si CCi et CCd sont des typedefs sur n'importe quoi, alors non. Si ce sont des typedefs sur des types particuliers, alors tu peux te débrouiller avec BOOST_STATIC_ASSERT et les type_traits. Si l'utilisateur instancie le template avec un type non autorisé dans l'assert, il aura une erreur de compilation.

[olivier1978]

Si CCi et CCd sont des typedefs sur n'importe quoi, alors non. Si ce sont des typedefs sur des types particuliers, alors tu peux te débrouiller avec BOOST_STATIC_ASSERT et les type_traits. Si l'utilisateur instancie le template avec un type non autorisé dans l'assert, il aura une erreur de compilation.

Merci.
Pourrais tu me donner un petit exemple ?

Voici les typedefs :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
typedef CGAL::Cartesian<int>					CCi;
typedef CGAL::Simple_cartesian<int>				CSCi;
typedef CGAL::Homogeneous<int>					CHi;
typedef CGAL::Simple_homogeneous<int>				CSHi;
typedef CGAL::Cartesian<double>					CCd;
typedef CGAL::Simple_cartesian<double>				CSCd;
typedef CGAL::Homogeneous<double>				CHd;
typedef CGAL::Simple_homogeneous<double>			CSHd;
typedef CGAL::Exact_predicates_inexact_constructions_kernel	CEpick;
typedef CGAL::Exact_predicates_exact_constructions_kernel	CEpeck;
typedef CGAL::Delaunay_triangulation_2<CCd>			DTCCd;

Merci d'avance

[loufoque]

Code :

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

1
2
3
4
5
6
7
8
template <class T , class U>
typename boost::enable_if<
    boost::mpl::or_<
        boost::is_same<T, CCi>,
        boost::is_same<T, CCd>,
    >,
    void
>::type Transform( const T &c , U &m)

Si tu as une séquence MPL (une typelist) tu peux éventuellement rendre ça plus joli avec des méta-fonctions.

Enfin bon, ça aurait pas été plus simple de simplement surcharger ta fonction Transform pour les deux cas ?
En plus les conversions implicites marchent pas avec les templates, pour des raisons évidentes. Tu pourrais ici résoudre ce problème en utilisant is_convertible au lieu de is_same, puis faire la conversion au début.

[olivier1978]

Merci, je vais voir ce que je peux faire avec ca. En fait, je n'ai pas 2 types, mais une bonne douzaine et aussi un bon nombre d'objets, d'ou l'utilite de ce que tu viens de me fournir

[JolyLoic]

Et pourquoi vouloir limiter ?

Si moi, utilisateur de ton code, crée un type qui ressemble suffisamment à CCi, je serais déçu de ne pas pouvoir appeler ta fonction avec...
Utiliser des staric_assert pour valider que le type répond bien à certaines condition (présence d'une fonction membre...) me semble légitime. Les utiliser pour limiter arbitrairement le champs d'application du template me semble plus douteux.