Section 7.2 The while
Statement
Let’s look at our first Python statement that can be used to build an iteration. It is called the while
statement. When used with other code it can be used to repeat code in a while loop. Similar to the if
statement, it uses a boolean expression to control the flow of execution. The body of while (code indented one space in) will be repeated as long as the controlling boolean expression evaluates to True
.
Here is a simple example that counts down from 10 to 0.
count is a normal variable here, but since it is governing the while
loop it is also called the loop variable.
Line 2 here is the loop condition. It must always be a boolean expression that will evaluate to False
or True
.
Lines 3 and 4 are the loop body. The loop body is always indented. The indentation determines exactly what statements are "in the loop". The loop body is run each time the loop is repeated.
On each iteration or pass of the loop, a check is done to see if the loop condition is True (if count
is greater than zero). If it is not (this is called the terminating condition of the loop), the loop has finished. Program execution continues at the next statement after the loop body.
If count
is greater than zero, the loop body is executed again.
At the end of each execution of the body of the loop, Python returns to the while
statement, to see if the loop should repeat.
Notice that if the condition is False
the first time through the loop, the statements inside the loop are never executed.
The body of the loop should change the value of one or more variables so that eventually the condition becomes False
and the loop terminates. Otherwise the loop will repeat forever. This is called an infinite loop. An endless source of amusement for computer scientists is the observation that the directions written on the back of the shampoo bottle (lather, rinse, repeat) create an infinite loop.
We can use the while
loop to create any type of iteration we wish, making it more general-purpose than the for
loop we’ll learn next week. For example, let us consider a program that adds all numbers from 1
to n
. To do this, we will create a variable called aNumber
and initialize it to 1, the first number in the summation. Every iteration will add aNumber
to the running total until all the values have been used. In order to control the iteration, we must create a boolean expression that evaluates to True
as long as we want to keep adding values to our running total. In this case, as long as aNumber
is less than or equal to the bound, we should keep going.
Here is the summation program that uses a while statement.
You can almost read the while
statement as if it were in natural language. It means, while aNumber
is less than or equal to aBound
, continue executing the body of the loop. Within the body, each time, update theSum
using the accumulator pattern and increment aNumber
. After the body of the loop, we go back up to the condition of the while
and reevaluate it. When aNumber
becomes greater than aBound
, the condition fails and flow of control continues to the return
statement.
In the case shown above, we can prove that the loop terminates because we know that the value of aBound
is finite, and we can see that the value of aNumber
increments each time through the loop, so eventually it will have to exceed aBound
. In other cases, it is not so easy to tell.
Check your understanding
Checkpoint 7.2.3.
Checkpoint 7.2.4.
The following code contains an infinite loop. Which is the best explanation for why the loop does not terminate?
n = 10
answer = 1
while n > 0:
answer = answer + n
n = n + 1
print(answer)
n starts at 10 and is incremented by 1 each time through the loop, so it will always be positive
- The loop will run as long as n is positive. In this case, we can see that n will never become non-positive.
answer starts at 1 and is incremented by n each time, so it will always be positive
- While it is true that answer will always be positive, answer is not considered in the loop condition.
You cannot compare n to 0 in while loop. You must compare it to another variable.
- It is perfectly valid to compare n to 0. Though indirectly, this is what causes the infinite loop.
In the while loop body, we must set n to False, and this code does not do that.
- The loop condition must become False for the loop to terminate, but n by itself is not the condition in this case.
Checkpoint 7.2.5.
What is printed by this code?
n = 1
x = 2
while n < 5:
n = n + 1
x = x + 1
n = n + 2
x = x + n
print(n, x)
4 7
- Setting a variable so the loop condition would be false in the middle of the loop body does not keep the variable from actually being set.
5 7
- Setting a variable so the loop condition would be false in the middle of the loop body does not stop execution of statements in the rest of the loop body.
7 15
- After n becomes 5 and the test would be False, but the test does not actually come until after the end of the loop - only then stopping execution of the repetition of the loop.
You have attempted
of
activities on this page.