for loop
Executes a loop.
Used as a shorter equivalent of while loop.
[edit] Syntax
for
(
init-clause ;
cond-expression ;
iteration-expression )
loop-statement
[edit] Explanation
Behaves as follows:
- init-clause may be an expression or a declaration(since C99).
- An init-clause, which is an expression, is evaluated once, before the first evaluation of cond-expression and its result is discarded.
- An init-clause, which is a declaration, is in scope in the entire loop body, including the remainder of init-clause, the entire cond-expression, the entire iteration-expression and the entire loop-statement. Only
auto
andregister
storage class specifiers are allowed for the variables declared in this declaration.
- An init-clause, which is a declaration, is in scope in the entire loop body, including the remainder of init-clause, the entire cond-expression, the entire iteration-expression and the entire loop-statement. Only
- cond-expression is evaluated before the loop body. If the result of the expression is zero, the loop statement is exited immediately.
- iteration-expression is evaluated after the loop body and its result is discarded. After evaluating iteration-expression, control is transferred to cond-expression.
init-clause, cond-expression, and iteration-expression are all optional. If cond-expression is omitted, it is replaced with a non-zero integer constant, which makes the loop endless:
for(;;) { printf ("endless loop!"); }
loop-statement is not optional, but it may be a null statement:
for(int n = 0; n < 10; ++n, printf ("%d\n", n)) ; // null statement
If the execution of the loop needs to be terminated at some point, a break statement can be used anywhere within the loop-statement.
The continue statement used anywhere within the loop-statement transfers control to iteration-expression.
A program with an endless loop has undefined behavior if the loop has no observable behavior (I/O, volatile accesses, atomic or synchronization operation) in any part of its cond-expression, iteration-expression or loop-statement. This allows the compilers to optimize out all unobservable loops without proving that they terminate. The only exceptions are the loops where cond-expression is omitted or is a constant expression; for(;;) is always an endless loop.
As with all other selection and iteration statements, the for statement establishes block scope: any identifier introduced in the init-clause, cond-expression, or iteration-expression goes out of scope after the loop-statement.
(since C99)attr-spec-seq is an optional list of attributes, applied to the for
statement.
[edit] Keywords
[edit] Notes
The expression statement used as loop-statement establishes its own block scope, distinct from the scope of init-clause, unlike in C++:
for (int i = 0; ; ) { long i = 1; // valid C, invalid C++ // ... }
It is possible to enter the body of a loop using goto. When entering a loop in this manner, init-clause and cond-expression are not executed. (If control then reaches the end of the loop body, repetition may occur including execution of cond-expression.)
[edit] Example
Possible output:
Array filled! 1 0 1 1 1 1 0 0
[edit] References
- C17 standard (ISO/IEC 9899:2018):
- 6.8.5.3 The for statement (p: 110)
- C11 standard (ISO/IEC 9899:2011):
- 6.8.5.3 The for statement (p: 151)
- C99 standard (ISO/IEC 9899:1999):
- 6.8.5.3 The for statement (p: 136)
- C89/C90 standard (ISO/IEC 9899:1990):
- 3.6.5.3 The for statement
[edit] See also
for
loop