Discussion :

[d'Oursse]

Est-ce que le code suivant est valide en c++ :

Code :

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

1
2
typedef enum _toto toto;
enum _toto { val1,val2};

?

avec g++, il y a une erreur. Si on mets le typedef après, pas d'erreur. Donc je voulais savoir si le standard interdit cette construction (si oui, un lien serait appréciable)

merci

[3DArchi]

Salut,

Est-ce que le code suivant est valide en c++ :

Code :

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

1
2
typedef enum _toto toto;
enum _toto { val1,val2};

?avec g++, il y a une erreur.

C'est une bonne piste pour dire que non si le compilateur râle (même si les compilateurs ont aussi leurs failles).

Si on mets le typedef après, pas d'erreur. Donc je voulais savoir si le standard interdit cette construction (si oui, un lien serait appréciable)

merci

typedef permet de créer un synonyme sur un type déjà connu. Donc, il faut que le compilateur connaisse l'énumération avant de pouvoir faire un typedef. En C++98, cela nécessite de la définir. En C++11, il me semble qu'on peut faire une déclaration, ce qui devrait suffire.

[d'Oursse]

Salut,
C'est une bonne piste pour dire que non si le compilateur râle (même si les compilateurs ont aussi leurs failles).

certes.

codeinline]typedef[/codeinline] permet de créer un synonyme sur un type déjà connu.

pas d'accord. Essaie avec un struct. C'est juste une déclaration de type.

Et c'est ça qui m'étonne.

[3DArchi]

Je ne retrouve pas dans la norme comment c'est expliqué, mais en gros :

Code :

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

typedef struct _titi titi;

fait une déclaration anticipée de _titi puis un typedef dessus pour définir le synonyme titi.

En C++98,

Code :

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

typedef enum _toto toto;

est illégal car les déclarations anticipées d'énumération sont interdites.

En C++11, les déclarations anticipées d'énumération sont légales. Le code

Code :

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

typedef enum _toto toto;

devient valide.

[d'Oursse]

Je ne retrouve pas dans la norme comment c'est expliqué, mais en gros :

Code :

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

typedef struct _titi titi;

fait une déclaration anticipée de _titi puis un typedef dessus pour définir le synonyme titi.

En C++98,

Code :

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

typedef enum _toto toto;

est illégal car les déclarations anticipées d'énumération sont interdites.

En C++11, les déclarations anticipées d'énumération sont légales. Le code

Code :

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

typedef enum _toto toto;

devient valide.

merci. Après quelques recherches sur le web, c'est dans la section 7.2.5 des spec C++. Le nombre d'énumérations doit être connu pour calculer la taille du type quand on l'utilise comme argument d'une fonction (pour que la stack soit correctement définie).