Discussion :

[deubelte]

Bonjour

J'essaye de la norme iso 14882 (enfin, certaines parties) et je ne comprends pas ce qui suit. Il s'agit du § 8.3 Meaning of declarators. J'aimerais bien avoir quelques explications, avec des exemples si possibles.

A list of declarators appears after an optional (clause 7) decl-specifier-seq (7.1).

>>On parle d'optional decl-specifiers-seq. Il s'agit bien sur de const, volatile...
decl-specifier-seq représente const, volatile ou const volatile?

Each declarator contains exactly one declarator-id; it names the identifier that is declared.

>>Cela signifie que int signifie int et rien d'autre? Je comprends pas trop. Possible d'avoir un exemple?

je vous remercie.

[deubelte]

bon, c'est vrai qu'il y en avait un peu trop dans mon message précédent.
J'ai supprimé des choses inutiles.

[Flob90]

Alors, c'est 2 passages de la norme (7 et 8) sont impossantes et concernent tout les genres de déclarations (variable, types, fonctions, ect).

La première chose, c'est que lire la norme pour la lire (surtout ces passages), c'est inutile.

Je vais te faire des exemples simplifier pour des déclarations de variable. Pour ca je vais prendre la convention lettre majuscule pour un type (typedef ou class, ect), et lettre minuscule pour une variable.

Dans ce cas une ligne de déclaration est de la forme (je simplifie, je ne prends pas en compte ce que la norme nomme "attribut")
decl-specifier-seq init-declarator-list

decl-specifier-seq est une liste de decl-specifier, qui s'applique à tout les declarators de la init-declarator-list, elle contient (dans notre cas) le type des variables qui seront déclarées par chaque declarator

un declarator est de la forme [ptr-operator] declarator-id, declarator-id est le nom de la variable, et le ptr-operator facultatif est soit * (éventuellement cv-qualifié), soit &, soit &&

les différents decl-specifier (dans notre cas) sont ceux des classes de stockage (register, static, thread_local, extern, mutable) ou constexpr (C++2011) ou un type-specifier (cv-qualifier, type, auto)

Passons à quelques exemples (je prend des exemples courrant du C++, ancien ou récent, donc const,*,&), je sépare tout pour bien voir.

Code :

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

1
2
3
4
5
6
7
8
 
T t; //1
T * t; //2
T const t; //3
T const & t; //4
T * const t; //5
T t1, * t2; //6
T & t1, t2; //7

1 : declarator-specifier = T, declarator = t, declarator-id = t
2 : declarator-specifier = T, declarator = * t, declarator-id = t
3 : declarator-specifier = T const, declarator = t, declarator-id = t
4 : declarator-specifier = T const, declarator = & t, declarator-id = t
5 : declarator-specifier = T, declarator = * const t, declarator-id = t
6 : declarator-specifier = T, declarator = t1 et * t2, declarator-id = t1 et t2
7 : declarator-specifier = T, declarator = & t1 et t2, declarator-id = t1 et t2

On retrouve ce que tu peux trouver dans différente FaQ pour la ligne 7 (en général avec un pointeur), t1 est une référenc sur un T mais t2 est un T et pas une réference sur un T. Par contre sur on remplace T & par U avec typedef T & U, alors t1 et t2 seront tout les deux des U, donc des références sur T, car dans ce cas la référence est inclue dans le type U qui est un declarator-specifier et s'applique donc à tout les declarator.

En espérant t'avoir aidé.

[deubelte]

Merci pour la réponse. Je vais étudier + en détail.
Sinon, je ne lis pas la norme pour la lire, mais pour approfondir mes connaissances. Par exemple, j'ai lu que si on a:

Code :

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

1
2
typedef int& A;
const A e=3;

alors ca marche pas, on essaye d'initialiser une référence non const avec une const. Le typedef annule le caractère const.

Autre chose:

Code :

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

1
2
3
4
5
6
7
8
9
struct S{
  S(int);
}
 
double a=3;
S w(int(a));
S x(int());
S y((int)a);
S z=int(a);

Dans quel cas on a une déclaration de fonction et dans quel cas on a une construction d'objet?

[Flob90]

Tu es certain d'avoir bien compris pourquoi ca ne compile pas ? Les typedef n'annulent pas toujours la constance, dans ton cas c'est vraie à cause de la référence.

Il y a bien des cas où on peut perdre la constance (en jouant avec les passage de paramètres templates et/ou decltype par exemple), il y a un article de Meyers sur le sujet (cf publication sur C++Next). Et c'est plutôt ce genre d'article que tu devrais lire que la norme, t'apprendras plus de chose, plus vite et c'est bien plus clair ! (La norme c'est bien quand tu cherches un truc précis, pas pour apprendre, AMHA)

Pour ta question c'est le paragraphe 8.2, qui dit "Si tu peux le voir comme une déclaration, alors c'est une déclaration" (au début, après il détaille d'autre ambiguités), pour nous ca concerne la déclaration des paramètres d'une fonction, dans ton cas on peut voir int (a) et int () comme des déclaration de paramètres, et ainsi ce sont des déclarations de fonctions, alors que dans le troisième (int)a ca ne peut pas être une déclaration de paramètre (syntaxe), c'est donc un cast, donc déclaration (et initialisation) d'un objet, le dernier cas la présence du = donne la réponse.

NB: Dans le cas de quelque chose de la forne T t(); on pourrais voir une déclaration de fonction ou une déclaration d'objet (et on a pas de paramètre pour savoir), la réponse se trouve dans un NB dans la section concernant l'initialisation, c'est la déclaration d'une fonction. (ou dans toute bonne FaQ)

[deubelte]

NB: Dans le cas de quelque chose de la forne T t(); on pourrais voir une déclaration de fonction ou une déclaration d'objet (et on a pas de paramètre pour savoir), la réponse se trouve dans un NB dans la section concernant l'initialisation, c'est la déclaration d'une fonction. (ou dans toute bonne FaQ)

>>A la page 131 de la norme, on a:

direct-declarator:
declarator-id
direct-declarator ( parameter-declaration-clause ) cv-qualifier-seqopt exception-specificationopt
direct-declarator [ constant-expressionopt ]
( declarator )

On peut dire que le premier cas, c'est le cas le plus général, le deuxième s'applique aux fonctions et le troisième s'applique aux tableaux.

Je voudrais avoir un exemple d'un 4ième cas, où direct-declarator c'est du type: (declarator) (avec des parenthèse).

Par exemple,

S w(int(a));

ici, decl-specifier-seq c'est S
ensuite, le declarator c'est w(int(a)) , mais cet exemple rentre il dans le 4ième cas.