Peut-on avoir une donnée membre template dans une classe non-template?

Bonjour,

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

Code:

---

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 ?

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. ;)

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:

---

1 2 3

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

---

:roll:

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

Code:

---

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

---

Citation:

---

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.

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 ;)

Citation:

---

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).

Salut,

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

Code:

---

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 ;)

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

Citation:

---

Envoyé par koala01

Salut,

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

Code:

---

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 ?

Salut,

La question est : std::map<Transition<T>, State& > est une collection de Transition<T> hétérogène (=> type erasure) ou tous les Transition d'un même State sont identiques ( State=> générique).


Sinon, il existe Boost.Statechart pour les machines à état et Boost.Graph pour les graphes

Citation:

---

Envoyé par Kaamui

Un truc pour retenir pourquoi on ne doit pas ?

---

La F.A.Q. : Pourquoi mes templates ne sont-ils pas reconnus à l'édition des liens ?

Citation:

---

Envoyé par Kaamui

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

---

Oui, oui, ca compile :D

Et tu pourrais très bien l'utiliser sous la forme de

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

int main() { MaClass cl T tab[5]; cl.doSomething(tab, &tab[5]); std::vector< T> vector; cl.doSomething(vector.begin(),vector.end()); std::list<T> list; cl.doSomething(list.begin(), list.end()); std::set<T> set; cl.doSomething(set.begin(), set.end()); return 0; }

---

Bref, avec n'importe quel type présentant l'opérateur d'incrémentation et compatible avec le code (un itérateur sur une std::map sera, au final, le seul qui n'irait pas ;))

Citation:

---

La question est : std::map<Transition<T>, State& > est une collection de Transition<T> hétérogène (=> type erasure) ou tous les Transition d'un même State sont identiques ( State=> générique).

---

Le but est d'avoir un type de transition pour un type State donné.

Citation:

---

Sinon, il existe Boost.Statechart pour les machines à état et Boost.Graph pour les graphes

---

Des trucs tout prêts ? non merci ;)

Citation:

---

Envoyé par Kaamui

Le but est d'avoir un type de transition pour un type State donné.

---

Alors c'est probablement State qui est générique, si je comprends bien.

Citation:

---

Envoyé par Kaamui

Des trucs tout prêts ? non merci ;)

---

T'as raison. Mieux vaut plomber un projet en dépensant inutilement du temps à faire des choses moins bien et buguées ;)

Citation:

---

Envoyé par 3DArchi

Alors c'est probablement State qui est générique, si je comprends bien.

---

Non les transitions sont génériques (plusieurs types possibles (entrée clavier, souris, souris + clavier, évènements in-game, durée écoulée, etc), et comme un State contient une map de transitions, il semblerait qu'il doit être générique aussi (mais ça me plait pas, pour moi State devait être une simple classe de base, non instanciable, et qui se dérivait en un tas de State différents (Window, IA, Map, etc).

Citation:

---

Envoyé par 3DArchi

T'as raison. Mieux vaut plomber un projet en dépensant inutilement du temps à faire des choses moins bien et buguées ;)

---

j'préfère plomber un projet et apprendre des choses ;)

Après tout, ne penses-tu pas qu'en réinventant la roue, même mal, je serais plus a même de manipuler des trucs tout prêts, auxquels pour l'instant je risquerais de ne rien comprendre ?

Juste, pour résumer : pour toi la meilleure façon de progresser c'est d'apprendre comment on gère la physique dans des jeux vidéos en partant de rien, ou d'apprendre à se servir de la bibliothèque Physics pour gérer la physique dans tes jeux vidéos?

D'habitude tu as en permanence de bonnes réflexions et je t'écoute presque les yeux fermés, mais là je trouve ton raisonnement un peu "industriel" ou "SS2I-ien"...

Citation:

---

Envoyé par koala01

Oui, oui, ca compile :D

Et tu pourrais très bien l'utiliser sous la forme de

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

int main() { MaClass cl T tab[5]; cl.doSomething(tab, &tab[5]); std::vector< T> vector; cl.doSomething(vector.begin(),vector.end()); std::list<T> list; cl.doSomething(list.begin(), list.end()); std::set<T> set; cl.doSomething(set.begin(), set.end()); return 0; }

---

Bref, avec n'importe quel type présentant l'opérateur d'incrémentation et compatible avec le code (un itérateur sur une std::map sera, au final, le seul qui n'irait pas ;))

---

là par contre ça peut pas compiler !! AH ! mou ahahahahaha :mouarf:

Mais en fait c'est le mot iterator comme ça qui me heurte. c'est reconnu tel quel par les compilo ? sans typename ou inclusion d'un morecau de la STL ? (sinon c'est excellent pour faire marcher du code sur tous les conteneurs (voire sur tout ce qui a un début différent de sa fin)) :D

On en apprend tous les jours ici ! :D

Peux-tu préciser pourquoi ça ne compilerait pas ? (à part le manque de typename devant iterator, ainsi que le fait que T et MaClass ne soient pas déclarés car là à titre d'exemple)

Citation:

---

Envoyé par dragonjoker59

Peux-tu préciser pourquoi ça ne compilerait pas ? (à part le manque de typename devant iterator, ainsi que le fait que T et MaClass ne soient pas déclarés car là à titre d'exemple)

---

Justement c'était le manque de typename qui me génait ;)

Citation:

---

Envoyé par Kaamui

Juste, pour résumer : pour toi la meilleure façon de progresser c'est d'apprendre comment on gère la physique dans des jeux vidéos en partant de rien, ou d'apprendre à se servir de la bibliothèque Physics pour gérer la physique dans tes jeux vidéos?

---

Pour apprendre l'anglais, tu commences par écrire un roman en anglais ou tu lis d'abord des textes écrits par des anglophone ? J'ai appris à compter en CP mais je n'ai vu la théorie des nombres qu'une quinzaine d'années plus tard. L'idée c'est d'éviter de sauter trop de pré-requis ;)

Citation:

---

Envoyé par 3DArchi

L'idée c'est d'éviter de sauter trop de pré-requis ;)

---

boost.statechart n'est pas un pré-requis pour coder une machine à état. Par contre cela peut-être utile une fois que tu souhaite voir comment "les pros de chez pro" ont abordés les difficultés que tu as rencontré.

Citation:

---

Envoyé par 3DArchi

J'ai appris à compter en CP mais je n'ai vu la théorie des nombres qu'une quinzaine d'années plus tard.

---

c'est un mauvais exemple. Ici ton raisonnement ressemble plus à :
(moi) "je veux apprendre à compter ! :calim2:"
(toi) "va t'acheter une calculatrice :ccool:"
(moi) "non je veux le faire par moi-même :cry:"
(toi) "T'as raison. Vaut mieux gaspiller du temps à faire des choses que la calculatrice va faire pour toi...en plus tu va souvent te tromper, elle non. :aie:"

Néanmoins je regarderais du côté de boost, une fois que j'aurais fait ma version moins bien et buguée ;)