Discussion :

[Neo41]

Bonjour tout le monde,

après quelques années de pratique du C++, je viens de découvrir un truc qui m'a laissé complétement perplexe...

Voici le code suivant :

Code :

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

1
2
for(int i=0; i<10; i++)
{}

J'ai toujours appris que la portée de la variable i est limitée à celle de la boucle for. La preuve le code suivant compile correctement :

Code :

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

1
2
3
4
for(int i=0; i<10; i++)
{}
for(double i=0; i<10; i++)
{}

Donc je peux très bien redéclarer i dans une autre boucle vu que sa portée est limitée.

Or...

En investigant une classe à la recherche d'une exception je suis tombé sur un code qui ressemble à ceci :

Code :

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

1
2
3
4
5
for(int i=0; i<10; i++)
{}
 
//...
i = 4;

Et ca compile !! Alors là j'ai rien compris. J'ai refait le test dans un projet vierge , et effectivement la variable i garde bien sa dernière valeur après la sortie de la boucle for et est réutilisable...

Conclusion:
Je ne comprends pas le comportement de la variable i. Parce que d'une part le compilateur agit comme si la variable est déclarée en dehors de la boucle, donc on peut y accéder. Mais en même temps je peux la redéclarer autant de fois que je veux dans d'autres boucles, donc sa portée est limitée.

On est bien d'accord que ce code ne compile pas:

Code :

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

1
2
3
 
int i;
double i;

alors pourquoi celui ci marche ?

Code :

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

1
2
3
4
for(int i=0; i<10; i++)
{}
for(double i=0; i<10; i++)
{}

Si une âme charitable a la réponse à ma question.

Merci et bonne journée

[EDIT] Je travaille sous Visual Studio 7

[Higestromm]

C'est une excellente question et j'attend la réponse avec impatience.

[DarkMolo]

Salut,
T'inquiètes pas, voici un extrait d'un article parlant de la portée de variable dans une boucle:

2.3.3 Portée d’une variable:
Ce code provoque une erreur :

Code C++ :

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

1
2
3
4
5
for( int i=0; i<iLength; ++i )
   if( pszLine[i]==_T(';') )
   break;
if( i < iLength)
…….

Conformément à la norme C++ la portée d’une variable, c’est le bloc ou la boucle où elle est définie.
Donc ici après la boucle for la variable n’existe plus.
Note : ce code était valide avec Visual C++6.0 et Visual .net 2003.

Alors, tu comprends, c'est juste l'histoire des compilateurs M$ qui ne respectent pas les normes, je crois

[Neo41]

Alors, tu comprends, c'est juste l'histoire des compilateurs M$ qui ne respectent pas les normes, je crois

C'est ce que je me suis dis, mais n'ayant pas d'autre compilateurs sous la main j'ai pas pu vérifier.

Ceci dit, c'est quand même trop!! Si c'est vraiment une histoire de compilateur, alors là...Bill je te félicite pas !

[DarkMolo]

Tu sais, je ne suis pas sûr, mais par expérience, j'ai déjà eu l'occase de compiler des codes avec g++ et qui ne compilait pas sous VS C++6 rien que pour ça, j'ai dû changer un peu les:

Code C++ :

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

1
2
3
for(int i;;){}
for(int i;;) {}
for(int i;;) {}

par

Code C++ :

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

1
2
3
for(int i;;) {}
for(int j;;) {}
for(int k;;) {}

Moi aussi je voudrais savoir si y'a une autre explication à celà.

[Médinoc]

C'est un bug connu de Visual 7, corrigé (en option) sous Visual 8.

[loufoque]

en option seulement ?
C'est très gênant si on utilise un objet avec un destructeur qui doit avoir été détruit à la fin de la boucle...

[Médinoc]

"Project Properties" -> "Configuration Properties" -> "C/C++" -> "Language" -> "Force Conformance In For Loop Scope".

[la drogue c'est mal]

en option seulement ?
C'est très gênant si on utilise un objet avec un destructeur qui doit avoir été détruit à la fin de la boucle...

bah tu mets une acollade ouvrante et fermante '{' '}' entre le début et la fin de ton for

Code :

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

1
2
3
4
5
6
 
{
for(....)
 {
 }
}

[Neo41]

bah tu mets une acollade ouvrante et fermante '{' '}' entre le début et la fin de ton for

Code :

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

1
2
3
4
5
6
 
{
for(....)
 {
 }
}

Je suis d'accord avec loufoque que ce n'est pas logique que ce soit en option. Moi quand je code du C++ je m'attends à ce que le compilateur soit conforme à la norme. Après, je veux bien qu'il y ait des options, mais que ce soit pas défaut la valeur de la norme (et non pas un comportement bizaroïde comme ça! )

Quant à mettre des accolades autour de chaque boucle for, déjà j'aime pas trop ça (pour moi les accolades qui se baladent dans la nature c'est pas très joli mais ce n'est que mon humble avis), et puis on est d'accord qu'on ne doit pas être obligé de le faire juste parce que le compilateur ne suit pas la norme

[koala01]

Salut,

<snip>
Quant à mettre des accolades autour de chaque boucle for, déjà j'aime pas trop ça (pour moi les accolades qui se baladent dans la nature c'est pas très joli mais ce n'est que mon humble avis), et puis on est d'accord qu'on ne doit pas être obligé de le faire juste parce que le compilateur ne suit pas la norme

Je suis d'autant plus d'accord avec toi que, si tu n'y prend pas garde, tu risque de te retrouver avec une variable qui ne sera déclarée que dans tes accolades...

Code :

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

1
2
3
4
5
6
7
8
9
10
 
//code avant
{
    int unnombre;
    for(int i...)
    {
 
    }
}
// normalement, unnombre étant sorti de sa portée, il n'est plus utilisable

[toxcct]

Je suis d'accord avec loufoque que ce n'est pas logique que ce soit en option.

moi non plus. mais je pense qu'il ont fait ca en pensent aux millions de lignes de code déja existantes... allez savoir

[Luc Hermitte]

Cette option existait déjà avec VC6 (*) dans mes souvenirs, et elle entrainait divers problèmes qui faisaient que je préférer renoncer aux portée bien gérées.

(*) qui prédate légèrement la norme, ne l'oubliez pas.

[Médinoc]

Je viens de regarder dans VC6 (project settings), mais je n'ai pas trouvé l'option...

[Neo41]

Moi je l'ai dans VC7 et elle fait bien ce qu'elle doit faire.

[la drogue c'est mal]

Salut,

Je suis d'autant plus d'accord avec toi que, si tu n'y prend pas garde, tu risque de te retrouver avec une variable qui ne sera déclarée que dans tes accolades...

Code :

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

1
2
3
4
5
6
7
8
9
10
 
//code avant
{
    int unnombre;
    for(int i...)
    {
 
    }
}
// normalement, unnombre étant sorti de sa portée, il n'est plus utilisable

il y a s'adapter à une contrainte de maniere réfléchie

Code :

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

1
2
3
4
5
6
7
8
9
//code avant
int unnombre;
{
    for(int i...)
    {
 
    }
}
// normalement, unnombre étant sorti de sa portée, il n'est plus utilisable

et s'adapter à une contrainte n'importe comment

Code :

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

1
2
3
4
5
6
7
8
9
//code avant
{
    int unnombre;
    for(int i...)
    {
 
    }
}
// normalement, unnombre étant sorti de sa portée

, il n'est plus utilisable

[Luc Hermitte]

Je viens de regarder dans VC6 (project settings), mais je n'ai pas trouvé l'option...

/Za si google ne m'a pas menti.
Cette option fai(sai?)t ça, et d'autres choses qui n'étaient pas si désirables que cela avec VC6.

[Médinoc]

Disable Language Extensions
C'est vrai que ce n'est pas la même chose que juste s'occuper des boucles for...

[JolyLoic]

En particulier, je crois qu'avec ce /Za, certains headers système ou MFC ne compilaient plus. Assez inutilisable en pratique.

[Médinoc]

Sans doute.
Je sais qu'en warning niv.4 par exemple, <commctrl.h> fait plein de "nonstandard extension used: nameless struct/union".
Le warning peut être désactivé, mais une extension ne peut pas être réactivée...