Discussion :

[doudounico]

Bonsoir,

Je souhaiterai créer une classe présentant une disjonction, c'est à dire :

class Element
{
Soit un élément du type1
Soit un élément du type2
}

Par exemple, pour créer une liste récursive c'est soit une liste vide soit un couple (valeur, queue de la liste)

Merci de votre aide

[Laurent Gomila]

Ce que tu recherches correspond aux unions.

Après, quant à savoir si c'est une bonne idée pour ce que tu souhaites faire, ça j'en suis moins sûr... Je ne pense pas que ce soit la bonne approche en C++.

[HanLee]

Bonsoir,

Je souhaiterai créer une classe présentant une disjonction, c'est à dire :

class Element
{
Soit un élément du type1
Soit un élément du type2
}

Par exemple, pour créer une liste récursive c'est soit une liste vide soit un couple (valeur, queue de la liste)

Merci de votre aide

Ouep comme Loulou a dit, c'est les unions. Mais j'pense que c'est pas adapté.

On dirait que t'as fait du CAML toi.
Moi j'avais fait des "types unions" au sens de CAML, en C++, pour des arbres binaires, avec des pointeurs et des fonctions inline pour la commodité d'utilisation.


Note (si c'est pour faire une liste) :
En C++ ya des listes chaînées bi-directionnelles (je crois), celles de la STL que tu peux utiliser avec l'entête <list>, qu'on manipule itérativement en général.
Sinon il y a Functional C++ qui implémente les listes avec une tête et une queue, grâce à la méta-programmation.

[doudounico]

Oui j'ai fais du caml, et je crois que le typage caml est l'un des plus performants non ?

En tout cas, il est le plus clair.

Mais en C++ qu'est ce qui correspond le mieux aux Unions ?

Merci

[Laurent Gomila]

Le problème avec CamL, c'est que ce n'est pas du tout le même paradigme de programmation que le C++ (bien qu'on puisse s'en rapprocher en C++, ce n'est pas la façon "naturelle" de programmer avec ce langage).

Une liste sera typiquement implémentée comme une succession de noeuds pointant les uns vers les autres, la fin étant designée par un pointeur NULL. En clair, la fin de liste se distinguera par une valeur spécifique, pas par un type différent.

[HanLee]

Le plus performant, je sais pas, parmi les meilleurs, surement.

Sinon tu peux regarder FC++ comment ils font, mais j'ai pas regardé le code moi =P

http://www.cc.gatech.edu/~yannis/fc++/

Dans ce lien, au début, ils te montrent comment ils utilisent les listes à eux :

http://www.cc.gatech.edu/~yannis/fc++/fc++-sigplan.pdf

Le problème avec CamL, c'est que ce n'est pas du tout le même paradigme de programmation que le C++ (bien qu'on puisse s'en rapprocher en C++, ce n'est pas la façon "naturelle" de programmer avec ce langage).

Disons plutôt que CamL permet de faire des choses C++ ne permet pas