Discussion :

[Kaamui]

Bonjour,

Tout est dans le titre, mais voilà un exemple d'utilisation dont j'ai besoin :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
class State
{
 
   public : 
      bool NewTransition( const Transition<T>& transition_, const State& state_ );
 
   protected :
      std::map<Transition<T>, State& > _TransitionsList;
 
};

Cela semble difficilement possible à l'instanciation de ne pas définir le type pour le template... mais l'idée de faire de cette classe un template ne me plait pas (c'est pas l'idée que je m'en faisais...). Pas d'autre solution ?

Merci d'avance


Edit : un peu rien à voir, mais peut-on avoir en paramètre d'une fonction un type, plutôt qu'une valeur ?

[Ekleog]

Pour la première question, non (enfin, à part le type erasure, mais c'est une exception).

Pour la question annexe, c'est ce qui s'appelle la métaprogrammation, programme sur les types.

[Bousk]

Bonjour,

j'ai envie de dire "essaye de compiler et admire les insultes du compilo !"
Concrêtement, si ta classe possède un membre template, elle doit être template, sinon je vois pas où ni quand elle saura son type réel.
A moins que tu puisses utiliser une classe mère de Transition que tu pourrais alors utiliser. Enfin je ne suis pas sûr de moi à ce niveau.

Code :

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

1
2
3
class TransitionBase {};
template< class T > class Transition {};
class MyClass { std::map<TransitionBase*, State&> myMap; };

Pour une simple fonction membre, pas besoin que toute la classe soit template, seule la fonction en cause doit l'être.

Code :

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

1
2
template< class T >
bool NewTransition( const Transition<T>& transition_, const State& state_ );

un peu rien à voir, mais peut-on avoir en paramètre d'une fonction un type, plutôt qu'une valeur ?

Généralement une fonction template fera l'affaire, mais il ne s'agit pas d'un paramètre à proprement parler.

[Kaamui]

Merci pour vos réponses, je vais me contraindre à faire de cette classe un template alors..

Pour la deuxième question, merci je vais regarder ça de plus près

[Ekleog]

A moins que tu puisses utiliser une classe mère de Transition que tu pourrais alors utiliser.

C'est le type erasure. Mais ça nécessite soit une interface définie dans Transition, soit une utilisation du RTTI un peu lourde (cf. boost.any alors).

[koala01]

Salut,

Par contre, une classe non template peut avoir des fonctions membres template

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
class MaClass
{
    public:
        template <iterator>
        void doSomething(iterator begin, iterator end)
        {
            while(begin!= end)
            {
                /*...*/
                ++ begin;
            }
        }
};

est tout à fait admis

[Ekleog]

Mais il faut alors faire attention à ne pas implémenter la fonction template dans le cpp. (oui, vécu)

[Kaamui]

Salut,

Par contre, une classe non template peut avoir des fonctions membres template

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
class MaClass
{
    public:
        template <iterator>
        void doSomething(iterator begin, iterator end)
        {
            while(begin!= end)
            {
                /*...*/
                ++ begin;
            }
        }
};

est tout à fait admis

(surprenant ce code avec les "iterator"... ça compile ? ^^)

En tout cas merci pour toutes ces précisions, cela confirme en partie ce que je pensais... ce qui est dommage c'est de ne pas pouvoir déclarer un membre template privé et de définir son type à partir de son getter, appelé à l'intérieur et à l'extérieur de la classe (bon c'est pas top et puis tout ça pour éviter de coller une étiquette "template" à une classe...)

merci pour la précision (pas dans le cpp) j'aurais fait l'erreur (je ne manipule pas si souvent que ça les templates, concrètement). Un truc pour retenir pourquoi on ne doit pas ?