Discussion :

[benhoeil]

Bonjour,

juste une question qu'on se pose avec un collègue (j'ai parié un café).

d'après la norme ANSI C, peut-on initialiser une variable automatique lors de sa déclaration ? comme :

Code :

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

1
2
int c = 1;
char *p = NULL;

etc.

Mon collègue me dit que seule la dernière variable déclarée peut-être initialisée.

je ne trouve pas la norme sur google... donc à l'aide s'il vous plait !

[granquet]

je ne retrouve plus le site sur lequel on pouvais telecharger le dernier draft de la norme C99
cependant j'ai ça en stock : http://www.lysator.liu.se/c/rat/title.html

ça devrais pouvoir repondre a ta question.

[benhoeil]

j'avais trouvé la norme en fait, mais merci beaucoup.

la norme dit qu'on peut déclarer (je résume) une variable des façons suivantes :

déclarateur
déclarateur = initialiseur

elle n'interdit pas que les déclarations autres que la dernière soient de la forme

déclarateur = initialiseur

donc pour moi c'est bon.

Par contre, j'ai deux témoignages (indépendants) me confirmant que des compilateurs n'acceptent que seule la dernière variable déclarée soit initialisée.

[PsyKroPack]

Je pense que tes sources ont tort

La preuve suffit de regarder les sources du noyau linux, il n'est pas rare que des variables soient initialisées dès leur déclaration.

Après je ne connais pas tout les compilateurs mais je vois pas pourquoi certains n'accepteraient pas ça ...

[Trap D]

Un simple test

Code :

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

1
2
3
4
5
6
7
8
#include <stdio.h>
int main(void)
{
   int i = 0;
   int j = 2;
   printf("i : %d j : %d\n", i, j);
   return 0;
}

Et le problème est réglé
Maintenant, si les compilos ne respectent pas la norme...

[Franck.H]

C'est par pour rien qu'on insiste souvent sur le fait d'initialiser à une valeur par défaut les variables lors de leur déclaration ... c'est quelque chose de conseillé donc c'est possible. Après si vous utilisez des compilateurs exotiques là rien n'est garantit !

[Thierry Chappuis]

Salut,

Selon la norme, il est possible d'initialiser n'importe quelle variable lors de sa déclarartion. L'interdire serait une abération puisque c'est une sécurité. Ainsi tu peut écrire:

Code :

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

1
2
3
4
5
6
7
8
9
10
{
    /* Je n'initialise en général pas les indices de boucle de cette manière 
        et préfère en général définir une variable par ligne sauf pour les 
        indices de boucle justement */
    int i = 0, j = 0, k = 0; 
    int x = 10;
    char s_buffer[50] = {0};
 
    /* ... */
}

Thierry

[crocodilex]

Bonjour,

juste une question qu'on se pose avec un collègue (j'ai parié un café).

d'après la norme ANSI C, peut-on initialiser une variable automatique lors de sa déclaration ? comme :

Code :

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

1
2
int c = 1;
char *p = NULL;

etc.

Mon collègue me dit que seule la dernière variable déclarée peut-être initialisée.

je ne trouve pas la norme sur google... donc à l'aide s'il vous plait !

Avec tous les compilateurs récents, il est possible d'initialiser les variables locales au moment de leur déclaration. Donc tu as raison.
Par contre, il fut un temps, où les compilateurs C ne tolérait pas que l’on mélange du code lors des déclarations des variables automatiques (l’initialisation d’une variable automatique lors de sa déclaration génère du code). Donc tes collègues avaient également raison, mais c'était il ya fort longtemps. Il va falloir qu’ils se mettent vite au goût du jour car la norme a beaucoup évolué.

[gege2061]

Avec tous les compilateurs récents, il est possible d'initialiser les variables locales au moment de leur déclaration. Donc tu as raison.
Par contre, il fut un temps, où les compilateurs C ne tolérait pas que l’on mélange du code lors des déclarations des variables automatiques (l’initialisation d’une variable automatique lors de sa déclaration génère du code). Donc tes collègues avaient également raison. Mais par contre il va falloir qu’ils se mettent vite au goût du jour car la norme a beaucoup évolué.

Le mélange code/déclaration a été ajouté à la dernière norme qui est moins utilisée que le C90 qui ne permet pas se genre de fantaisie

[Thierry Chappuis]

Le mélange code/déclaration a été ajouté à la dernière norme qui est moins utilisée que le C90 qui ne permet pas se genre de fantaisie

Merci de ces précisions gege2061, pourquoi pourquoi gcc avec -ansi -std=c89 -pedantic ne me donne aucune erreur si potentiellement cela peut poser des problèmes de portabilité?

Thierry

[gege2061]

Merci de ces précisions gege2061, pourquoi pourquoi gcc avec -ansi -std=c89 -pedantic ne me donne aucune erreur si potentiellement cela peut poser des problèmes de portabilité?

-ansi c'est la même chose que -std=c89 mais normalement il devrait te signaler une erreur

Peut être avec -Wall (voir -W) ?

[granquet]

Un simple test

un test (ou plusieurs) ne peux pas repondre a une question commençant par:"est-ce que la norme ..."

[Thierry Chappuis]

-ansi c'est la même chose que -std=c89 mais normalement il devrait te signaler une erreur

Peut être avec -Wall (voir -W) ?

Je n'ai pas d'exemplaire de la norme C90. Alors je vais citer le manuel de référence de K&R 2ème édition annexe A8.7:

L'initialisation:
Au moment de la déclaration d'un objet, son déclarateur-init peut spécifier une valeur initiale pour l'identificateur déclaré. L'initialisateur est précédé de =, et il est constitué soit d'une expression, soit d'une liste d'initialisateurs imbriqués entre accolade...

[EDIT]
Je n'obtient aucune erreur de compilation de ce micro-code:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
/* Programme test.c: test validité de l'initialisation lors de
    déclaration en C90 strict */
#include <stdio.h>
#include <stdlib.h>
 
int main(void)
{
    int i = 0, j = 0, k = 0;
    int x = 10;
    char s_buffer[50] = {0};
 
    /* Pour éviter le Warning: unused variable */
    x = i + j + k;
    (void) s_buffer[0];
 
    printf("FIN du test!\n");
 
    return EXIT_SUCCESS;
}

en compilant avec gcc comme je le fais d'habitude:

Code :

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

gcc -Wall -Wextra -Werror -ansi -pedantic -Wwrite-strings -Wstrict-prototypes -Wmain test.c

[/EDIT]

Thierry

[gege2061]

Je n'ai pas d'exemplaire de la norme C90. Alors je vais citer le manuel de référence de K&R 2ème édition annexe A8.7:

On doit pas parler de la même chose

Je parle de ça : Mélange déclaration/code

[Thierry Chappuis]

On doit pas parler de la même chose

Je parle de ça : Mélange déclaration/code

On ne parle effectivement pas de la même chose, mais la question du PO était:

d'après la norme ANSI C, peut-on initialiser une variable automatique lors de sa déclaration ? comme :

Code :

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

1
2
 
int c = 1; char *p = NULL;

Pour le reste, on est d'accord qu'en C90, les variables automatiques doivent être déclarées en début de bloc.

Thierry

[Trap D]

un test (ou plusieurs) ne peux pas repondre a une question commençant par:"est-ce que la norme ..."

Je donnais cet exemple pour savoir si le compilo acceptait l'initialisation des variables locales, c'est tout, celà ne va pas plus loins, et c'est vrai que même dans ce cas, on ne peut rien en déduire d'absolu quant au compilo si l'initialisation semble réussir.

[souviron34]

Non seulement cela existe depuis le début (voir réponse sur K&R) sauf à l'intérieur du code, mais c'est même fortement recommandé, surtout si vous faites affaire à des pointeurs, avec des allocations dynamiques à plusieurs niveaux.

Il y a 15 ans, notre équipe à passé plus de 3 semaines à tenter de trouver pourquoi on avait un crash.. Réponse : les pointeurs servant aux allocations n'étaient pas initilialisés, et lorsqu'on écrivait par exemple dans un tableau alloué au 5 ième sous-niveau, les données d'un tableau alloué au premier niveau étaient modifiées...

Explication :

Tant qu'une variable n'est pas initialisée, dans une routine, le compilateur ne génére qu'une adresse sur la pile, donc relative... Si par contre elle est initialisée, il lui attribue une adresse comme étant adresse physique de la fonction + placement dans la liste de déclaration, qui dans ce cas est alors une adresse absolue (relative uniquement à l'adresse du début de fonction).
(et donc est chargée par le loader au runtime).

C'est particulièrement sensible pour des pointeurs servant à faire de l'allocation dynamique :

une suite de 7 niveaux de profondeur dont chaque niveau contient par exemple 10 variables dépasse les 64 (ou 128, ou ... taille de la pile).. et
donc lorsqu'on atteint le dernier niveau et qu'on alloue quelque chose, la zone mémoire où un pointeur du premier niveau aurait alloué n'est plus connue.... D'où possibilité de recouvrement éventuel...

Conclusion :

Chaque fois que dans une routine vous déclarez un pointeur, initialisez-le dans TOUS les cas, même à NULL.

Pour des variables non pointeurs, cela ne change rien (la place est réservée et la variable n'a plus de sens une fois sorti de la routine).

[Emmanuel Delahaye]

d'après la norme ANSI C, peut-on initialiser une variable automatique lors de sa déclaration ? comme :

Code :

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

1
2
int c = 1;
char *p = NULL;

Oui.

Mon collègue me dit que seule la dernière variable déclarée peut-être initialisée.

C'est faux. N'importe quelle variable peut être initialisée. La seul contrainte pour les variables statiques est que l'initialisateur doit être une expression constante.

Sinon, une variable locale peut être initialisée par une expression quelconque, le retour d'un fonction etc.

[Emmanuel Delahaye]

La preuve suffit de regarder les sources du noyau linux,<...>

Ca ne prouve rien. Le noyau GNU/linux est écrit en GNUC et non en C. Ce sont deux langages différents.