Discussion :

[deubelte]

Bonjour

On dit que la class et la struct est globablement la même chose.
Mais en est-il de même pour l'union?
J'ai essayé, est il ne semble pas y avoir de problème à définr des fonctions membres, des constructeurs:

Code :

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

1
2
3
4
5
6
7
union T{
private:
int a, b;
public:
	T(int o,int u):a(o),b(u){};
	int ret() const{return a;};
};

Mais peut-on définir des union comme on définit des classes? est-ce vraiment utilisé ainsi?
Merci

[koala01]

Salut,

La réponse est simple: non...

La réponse complète est assez compliquée:

Une classe ou une structure permet de regrouper plusieurs informations de type potentiellement différents, et potentiellement non POD (Plain Old Data), à des adresses différentes

Une union ne peut, de son coté, être composée que de données de type POD, et fait en sorte que les différentes données partagent le même espace mémoire.

Cela permet de décider, à un moment donné, de considérer que l'on travaille avec un type de donnée, et, par la suite, de considérer que l'on travaille avec un autre.

Par exemple, une union pourrait être présentée sous une forme proche de

Code :

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

1
2
3
4
5
union Lunion
{
    char c[4]; //je compte 4 byte pour un int ;)
    int i;
};

et pourrait être utilisée sous une forme proche de

Code :

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

1
2
3
4
5
6
7
8
9
10
11
int main()
{
    Lunion u;
    u.c[0]='1'; //j'utilise les caractères
    return 0;
}
void foo()
{
    Lunion u;
    u.i=36540; //j'utilise l'entier
}

Il faut en outre noter que l'utilisation des différentes données de manière plus ou moins simultanée a un comportement indéfini:

Code :

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

1
2
3
4
5
6
7
int main()
{
    Lunion u;
    u.i=36540; // on travaille avec le int
    char c=u.c[2];// danger!!! comportement indéfini
    return 0;
}

[bruno_pages]

une struct est une classe dont les membres sont publiques par défaut.

dans une union les membres sont aussi publiques par défaut, mais contrairement à une classe/struct mais il n'y a pas de place pour tout les attributs car ceux-ci se mettent 'les uns sur les autres', c.a.d. qu'au lieu de réserver assez de place pour tous on ne reserve que la place pour mettre le plus grand d'entre eux. Ensuite c'est à la place de l'application de savoir lequel est utilisé car il sont bien-sûr exclusifs en utilisation à cause du chevauchement. Bien évidemment il n'est pas question que le type des attributs aient un constructeur, ce qui réduit les possibilités, en donc par exemple pas question d'un attribut soit std::string, et dans ce cas on utilise std::string *.

[edit]cela m'aurait étonné que personne ne réponde en même temps [/edit]

[Goten]

une struct est une classe dont les membres sont publiques par défaut.

Pas que ça.. (type d'héritage par défaut)

et dans ce cas on utilise std::string *

Ou plutôt un union safe tel que boost.variant.

[deubelte]

Il faut en outre noter que l'utilisation des différentes données de manière plus ou moins simultanée a un comportement indéfini:

Ok, merci pour la réponse. Il ne faut donc pas assigner deux membres d'une union dans une même portée {}

[bruno_pages]

Il ne faut donc pas assigner deux membres d'une union dans une même portée {}

ce qui compte est la portée dynamique, {} désigne une portée lexicale statique

une union contient au plus qu'une valeur, quelque soit le nombre d'attributs

[koala01]

Ok, merci pour la réponse. Il ne faut donc pas assigner deux membres d'une union dans une même portée {}

Non, parce que cela modifiera le même espace mémoire, et les deux assignations pourraient provoquer des incohérences

[Sylvain Togni]

La restriction est plutôt au niveau lecture : on ne peut lire la valeur que du dernier membre qui a été assigné.

Sinon globalement une union à les mêmes possibilités qu'une structure sauf :
- Pas de membres non-POD
- Pas de membres de type référence
- Pas de fonctions virtuelles
- Pas de membres statiques
Mais tout le reste est possible, bien que peu souvent utilisé
- Héritage
- Constructeurs
- Destructeurs
- Fonctions membres
- ...