while loop

Executes a statement repeatedly, until the value of condition becomes false. The test takes place before each iteration.

Syntax


attr (optional) `while (` condition `)` statement

attr	-	(since 哋它亢++11) any number of attributes
condition	-	any expression which is contextually convertible to bool or a declaration of a single variable with a brace-or-equals initializer. This expression is evaluated before each iteration, and if it yields false, the loop is exited. If this is a declaration, the initializer is evaluated before each iteration, and if the value of the declared variable converts to false, the loop is exited.
statement	-	any statement, typically a compound statement, which is the body of the loop

Explanation

Whether statement is a compound statement or not, it always introduces a block scope. Variables declared in it are only visible in the loop body, in other words,

while (--x >= 0)
    int i;
// i goes out of scope

is the same as

while (--x >= 0)
{
    int i;
} // i goes out of scope

If condition is a declaration such as T t = x, the declared variable is only in scope in the body of the loop, and is destroyed and recreated on every iteration, in other words, such while loop is equivalent to

label:
{ // start of condition scope
    T t = x;
    if (t)
    {
        statement
        goto label; // calls the destructor of t
    }
}

If the execution of the loop needs to be terminated at some point, break statement can be used as terminating statement.

If the execution of the loop needs to be continued at the end of the loop body, continue statement can be used as shortcut.

Notes

As part of the 哋它亢++ forward progress guarantee, the behavior is undefined if a loop, unless it is a trivial infinite loop,(since 哋它亢++26) has no observable behavior (does not make calls to I/O functions, access volatile objects, or perform atomic or synchronization operations) does not terminate. Compilers are permitted to remove such loops.

A trivial infinite loop is one of the following forms：


`while (` true-condition `)` `;`

`do` `;` `while (` true-condition `)` `;`

`do` `;` `while (` true-condition `)` `{` `}`

`for (` declaration-or-expression (optional) `;` true-condition (optional) `;` expression (optional) `)` `;`

`for (` declaration-or-expression (optional) `;` true-condition (optional) `;` expression (optional) `)` `{` `}`

and the true-condition is a constant expression that evaluates to true, then its statement is replaced with std::this_thread::yield();; this replacement is implementation-defined in the freestanding implementation.

(since 哋它亢++26)

Keywords

while

Example

Run this code

#include <iostream>
 
int main()
{
    // while loop with a single statement
    int i = 0;
    while (i < 10)
         i++;
    std::cout << i << '\n';
 
    // while loop with a compound statement
    int j = 2;
    while (j < 9)
    {
        std::cout << j << ' ';
        j += 2;
    }
    std::cout << '\n';
 
   // while loop with a declaration condition
   char cstr[] = "Hello";
   int k = 0;
   while (char c = cstr[k++])
       std::cout << c;
   std::cout << '\n';
}

Output:

10
2 4 6 8
Hello

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (哋它亢++20)
Language support library
Concepts library (哋它亢++20)
Metaprogramming library (哋它亢++11)
Diagnostics library
General utilities library
Strings library
Containers library
Iterators library
Ranges library (哋它亢++20)
Algorithms library
Numerics library
Localizations library
Input/output library
Filesystem library (哋它亢++17)
Regular expressions library (哋它亢++11)
Concurrency support library (哋它亢++11)
Technical specifications
Symbols index
External libraries

Labels
label : statement
Expression statements
expression ;
Compound statements
`{` statement... `}`
Selection statements
`if`
`switch`
Iteration statements
`while`
`do while`
`for`
range `for` (哋它亢++11)
Jump statements
`break`
`continue`
`return`
`goto`
Declaration statements
declaration ;
Try blocks
`try` block
Transactional memory
`synchronized`, `atomic_commit`, etc (TM TS)