Tracing loop execution

0:00- [Instructor] What exactly is happening behind the scenes when the computer executes a while loop? Let's trace a while loop step by step to find out. Before we start, let's see if we can get some intuition for how many times this loop repeats. To count repetitions, we just need to look at the loop variable, what value it starts at before the loop, what value it stops at to terminate the loop, and what value it updates by on each loop iteration.

0:25Here we see that our loop variable is called pin and it's initialized to the empty string. The loop condition then is checking the length of the string pin and it's comparing it to the number four, which means this is the length that we'll stop it. Because pin is initialized to the empty string, we're starting out at length zero.

0:44Now we just need to look for how pin gets updated inside the loop body. The assignment statement here, it looks like it's concatenating a new digit onto pin on each iteration, so the length of pin would be increasing by one each time. So if we start at zero, we stop when we get to four, and we increment by one, this loop will repeat four times.

1:04Now let's double check that work by tracing the full execution. As usual, the computer starts executing at the first line of the program. Here we have an import statement, so the computer goes off and loads the code for the random module into its memory. This line initializes the variable pin.

1:21The computer goes off to its short-term memory, allocates a new chunk, stores the value, the empty string there, and then tags it with the name pin. Onto the next line, now we've reached the while loop, so the computer evaluates the loop condition. The variable pin currently contains the value the empty string, so the length of pin is zero.

1:40Zero is less than four, so the loop condition evaluates to true. Because it's true, the computer goes on to execute the loop body. The loop body is any lines of code that are intended inside the loop. So the next line to execute is this digit assignment statement.

1:55We evaluate the right-hand side of the assignment statement first, which calls the randint function. Randint generates a random number between these two bounds. This happens randomly, so it'll change on each run of the program, but let's say it returns zero this time.

2:09This is the first time we're assigning to digit, so the computer creates a new variable. Then we move on. Because this line is indented, it's still inside the while loop, so this is the next line of the loop body. We simplify the right-hand side of the assignment first, so we substitute in digit, which is the integer zero, and we cast it to a string, so we get the string zero.

2:31Then we substitute in pin, which is the empty string, and we concatenate together. We store that value back in the variable pin, overriding the previous value. Which line executes next? This print statement is not indented, so it's considered outside of the loop.

2:47It's not part of the loop body, that means we're at the bottom of the loop, so the computer jumps execution back to the top of the loop and checks the loop condition again. We substitute in the value of pin, which is now the string zero. We take the length, which is one, one is less than four, so the loop condition still evaluates to true.

3:06That means we're executing the loop body again for a second iteration. We generate a new random number, let's say five this time, assign that to digit, and then we update our loop variable pin. Pin currently contains the value zero, and then we concatenate on the string five to get 05.

3:23We store that back in pin, and now we're at the bottom of the loop again. We jump back to the top of the loop, and we check the loop condition for the third time. Pin now contains the value 05, so its length is two, two is less four, so the loop condition is true.

3:39So we're entering the loop body again. We execute the digit assignment statement, let's say we generate nine this time, we store that in digit, and then we update pin. Pin is currently 05. We can concatenate on the nine, and then we store back 059. Back to the top of the loop, the length of pin is now three.

3:59Three is less than four, so the loop condition is still true, and we start the fourth iteration. Randint generates a five this time, so we store that in digit, and then we go onto the next line. Pin is now 059, we can concatenate on the string five, and we store that back in pin.

4:17Once again, we find ourselves at the bottom of the loop, so we jump back to the top. We substitute in the current value of pin, which has length four, so now our loop condition is, is four less than four? which evaluates to false. That means it's finally time to terminate the loop.

4:34We skip the loop body and look for the next line of code that's not indented inside the loop. That's our print statement here. We substitute in the value of pin, concatenate together and print that sentence out to the console. And that's the last line of the program, so the computer terminates execution, and we see that our loop body indeed executed four times.