Discussion :

[dancingmad]

Bonjour,

ma question concerne la définition syntaxique de for. Normalement, cette boucle est défini par: for(instruction,expression,instruction) instruction .

J'ai aussi lu quelque part qu'une instruction peut être simple, ou un bloc d'instruction, et qu'à chaque fois qu'on peut utiliser un instruction simple, on peut utiliser un bloc.

Or gcc ne semble pas reconnaitre la ligne suivante:

for({i=0;j=0};i<4;{i++;j++}) printf("%d %d\n",i,j);

je sais qu'on écrit d'habitude "i=0,j=0" au lieu de "{i=0;j=0}", mais j'aimerais vraiment comprendre pourquoi la syntaxe précédente n'est pas valable.

C'est juste une question comme ça qui m'aiderais à comprendre la grammaire du langage C dans le cadre d'un projet de compilation...

Merci d'avance !

[nicolas.sitbon]

6.8.5 Iteration statements
Syntax
1 iteration-statement:
while ( expression ) statement
do statement while ( expression ) ;
for ( expressionopt ; expressionopt ; expressionopt ) statement
for ( declaration; expressionopt ; expressionopt ) statement
Constraints
2 The controlling expression of an iteration statement shall have scalar type.
3 The declaration part of a for statement shall only declare identifiers for objects having
storage class auto or register.
Semantics
4 An iteration statement causes a statement called the loop body to be executed repeatedly
until the controlling expression compares equal to 0. The repetition occurs regardless of
whether the loop body is entered from the iteration statement or by a jump.136)
5 An iteration statement is a block whose scope is a strict subset of the scope of its
enclosing block. The loop body is also a block whose scope is a strict subset of the scope
of the iteration statement.
136) Code jumped over is not executed. In particular, the controlling expression of a for or while
statement is not evaluated before entering the loop body, nor is clause-1 of a for statement.

[diogene]

J'ai aussi lu quelque part qu'une instruction peut être simple, ou un bloc d'instruction, et qu'à chaque fois qu'on peut utiliser un instruction simple, on peut utiliser un bloc.

Oui, mais le problème est que les trois termes figurant dans le for ne sont pas des instructions mais des expressions (la seconde étant évaluée comme une expression à valeur booléenne).
Les instructions se terminent par ; soit typiquement expression ;
Les ; qui figurent dans le for ne sont que des séparateurs et non des terminateurs d'instruction (d'ailleurs, il n'y a pas de ; derrière la troisième expression).

C'est également vrai notamment pour le while, le do while et le if.

[dancingmad]

merci pour vos réponses. Effectivement, c'est mon prof de C qui s'était planté...