Template et abstraction

Bonjour � tous,

Je n'arrive pas � m'en sortir dans un cas, avec des templates, que j'aimerai avoir des pointeurs super g�n�rique dessus.

Je m'explique :aie:
Voici mon code :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

template <typename GameBoard> class Controler : public Listener<Move<typename GameBoard::Coords> > { typedef typename GameBoard::Coords Coords;   private:   protected: int m_colorControlled; /*!< Color associated to this controler */   public: /*! \brief Default constructor      *  Will define an invalid color making this controller basically invalid      */ Controler():m_colorControlled(-1) {} // Put an invalid color   // virtual ~Controler() = 0; /*! \brief Gets the move that the controler wants to play      *  This function is generally waiting for the move from the controler.      *  \return      */ virtual Move<Coords> getMove() =0;   /*! \brief Defines the color used by the controler      *  \param color      */ virtual void setColorControled(int color) { m_colorControlled = color; } };

---

J'aimerai pouvoir faire un pointeur de Controler. donc g�n�rique au possible. Mais comme ma classe est template, la g�n�ricit� est stopp�e nette une fois un type sp�cifi� (Controler<Type>). Ok, c'est normal.

La solution en g�n�ral, c'est de faire une classe abstraite au dessus. Soit, mais en fait, je ne peux pas faire mieux dans ce sens l� (j'h�rite d�j� cette classe).

Mon probl�me, c'est que je veux vraiment une fonction virtuelle pure getMove() et que en plus celle-ci me retourne le type Coord qui est sous jacent au plateau.

Est ce qu'il existe une solution et quelle serait-elle ?

(Note, le Listener peut �tre compl�tement �ject�, donc ne nous en pr�occupons pas)

En �crivant ce message, j'ai pens� que peut �tre, le type de retour getMove() et donc la fonction, ne devra �tre sp�cifi� que dans les classe h�ritante, mais je souhaite vraiment avoir la fonction en virtuelle pure.
Sinon, peut �tre passer la fonction en fonction template (donc, que le template soit sp�cifier � l'appel et non � la cr�ation de la classe). Je suis pas sur que cela puisse marcher et surtout que le compilateur ne m'enguirlande pas � faire des fonction templates virtuelle pure :aie: (je vais tester)
EDIT : Bah oui, un template ne peut pas �tre virtuel ... :aie:

Bonjour,

La description du probl�me technique me laisse � penser que tu n'as peut-�tre pas d�finie assez clairement les points de variation de ton design en particulier le moment de leur d�termination (compilation/ex�cution pour ton cas).

Pourquoi as-tu besoin d'un pointeur sur un Controler<T> dont tu ne connais pas le T ? Dit autrement quand est d�termin� le GameBoard utilis� ?

Sinon de mani�re plus g�n�rique la solution typique est un Variant coupl� � un Visitor. Cependant ta volont� de connaitre le Coords pour le type de retour va �tre un probl�me.

NB: Non, fonction template virtuelle �a n'existe pas.

En fait, les controleurs ne sont utilis� que dans une classe Game. Cette classe, je veux aussi la rendre abstraite (AbstractGame), qui aura une fonction addControler et le controler devra donc �tre un pointeur.

Le but d'avoir un abstract game �tait de faire un jeu qui, apr�s la demande de l'utilisateur, soit un jeu d'�chec, ou un jeu de dame, ou un jeu autre :P

Donc, oui, � un moment j'ai un conflit dans le fait de savoir si c'est compilation-time ou execution-time. Mais en m�me temps, je me dis que cela pourrait fonctionner :aie:

Tu codes pour faire un programme ou une biblioth�que ? "l'utilisateur" c'est l'utilisateur final ou l'utilisateur de ta biblioth�que ?

Faire un passage d�termination compile time / d�termination runtime, ca se fait (typiquement via une factory sur un type variant). Cependant devoir en abuser est un signe d'un probl�me dans les choix du design.

Est-ce que le type Gameboard est connue au sein d'un classe concr�te GameA ? Si non, o�/quand/par qui est d�termin� ce type ?

Utilisateur finale (le joueur).
J'avais d�cid� de faire une fabrique, qui fabriquerai les game, afin de les ressortir en AbstractGame et de les utiliser. Mais � cause de ce controler qui est finalement d�pendant du plateau (quoi que ... je dis peut �tre une b�tise).
J'essaie d'�viter les abus et le coup du variant ne me semble pas du tout une solution cette fois.

Bonsoir,

et si tu passais en param�tre template une classe impl�mentant le comportement de getMove (classe de politique), est-ce que cela solutionnerait ton probl�me? Cela ne correspond pas tout � fait � la virtualit� pure mais peut-�tre que cela suffit dans ton cas?

Citation:

---

Envoy� par Aleph69

Bonsoir,

et si tu passais en param�tre template une classe impl�mentant le comportement de getMove (classe de politique), est-ce que cela solutionnerait ton probl�me? Cela ne correspond pas tout � fait � la virtualit� pure mais peut-�tre que cela suffit dans ton cas?

---

Je dois dire que j'ai du mal � imaginer cette solution. Pouvez vous me donner un exemple, ou m�me d�taill� l'explication, s'il vous plait ?

Bonjour,

tu trouveras un exemple ici.

Dans cet exemple, on fait varier le comportement de Accumulation en lui passant en param�tre une Operation devant n�cessairement avoir pour fonction membre une fonction statique Accumuler (on n'est pas forc� de la prendre statique). Ensuite, il suffit de d�finir les op�rations que l'on veut (Addition, Multiplication, ...).

De fa�on similaire, tu pourrais passer en param�tre template une classe Move, ayant pour fonction membre une fonction getMove.