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.

[olivier1978]

Je suis d'accord avec toi. En fait, c'est pour veiller a ne pas faire des conversions stupides. Par exemple, ne pas passer de coordonnees en double a des coordonnee en int.
Cela dit, ce n'est peut etre pas la bonne solution. Je ne connais pas trop ce genre de programmation, alors si tu as des conseils, je prends.

[JolyLoic]

Je ne sais pas trop ce que fait ta fonction, mais à ta place, j'essaierai plutôt de traduire par du code ce qui est ta vraie contrainte, à savoir ces histoires de conversions de type.

Peut-être avec l'aide de choses comme is_floating_point, is_arithmetic ou is_integral que l'on trouve dans boost::typetraits, que l'on peut associer aux static_assert.