Skip to main content
Engineering LibreTexts

7.5: While Loop

  • Page ID
    29073
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Introduction to while Loops

    There are two commonly used loops where the condition is tested before entering loop. These loops have the posibility of NEVER entering the body of the loop, depending on the condition. They are: while loop and for loop. This lesson covers the: while.

    Understanding Iteration in General - while

    The concept of iteration is connected to possibly wanting to repeat an action. Like all control structures we ask a question to control the execution of the loop. The term loop comes from the circular looping motion that occurs when using flowcharting. The basic form of the while loop is as follows:

    initialization of the flag
    while the answer to the question is true then do
      some statements or action
      some statements or action
      some statements or action
      update the flag 
    

    In almost all languages the condition is a Boolean expression. The Boolean data type has two values – true and false. Let's rewrite the structure to consider this:

    initialization of the flag
    while the condition is true then do
      some statements or action
      some statements or action
      some statements or action
      update the flag 
    

    Within the while control structure there are four attributes to a properly working loop. They are:

    • Initializing the flag - this is important, with while loops you must initialize the flag (some people call this priming the loop).
    • Test expression
    • Action or actions
    • Update of the flag - this also is important - if we never update the flag we have no way to exit the loop.

    The initialization of the flag is not technically part of the control structure, but a necessary item to occur before the loop is started. The English phrasing is, "While the expression is true, do the following actions". This is looping on the true. When the test expression is false, you stop the loop and go on with the next item in the program. Notice, because this is a test before loop the action might not happen. It is called a test before loop because the test comes before the action. It is also sometimes called a pre-test loop, meaning the test is pre (or Latin for before) the action and update.

    Human Example of the while Loop

    Consider the following one-way conversation from a mother to her child.

    Child: The child says nothing, but mother knows the child had Cheerios for breakfast and history tells us that the child most likely spilled some Cheerios on the floor.

    Mother says: "While it is true that you see (As long as you can see) a Cheerio on floor, pick it up and put it in the garbage."

    Note: All of the elements are present to determine the action (or flow) that the child will be doing (in this case repeating). Because the question (can you see a Cheerios) has only two possible answers (true or false) the action will continue while there are Cheerios on the floor. Either the child 1) never picks up a Cheerio because they never spilled any or 2) picks up a Cheerio and keeps picking up Cheerios one at a time while he can see a Cheerio on the floor (that is until they are all picked up).

    The while Structure within C++

    Syntax

    The syntax for the while control structure within the C++ programming language is:

    statement;        // This statement initializes the flag;
    while (expression)
    {
      statement;
      statement;
      statement;
      statement;    // This statement updates the flag;
    }
    

    The test expression is within the parentheses, but this is not a function call. The parentheses are part of the control structure. Additionally, there is not a semicolon after the parenthesis following the expression.

    An Example

    C++ source code: while
    loop_response = 'y';   // initialize the flag value
    while (loop_response == 'y')
    {
      cout << "\nWhat is your age? ";
      cin >> age_user;
      cout << "\nWhat is your friend's age? ";
      cin >> age_friend;
      cout >> "\nTogether your ages add up to: ";
      cout >> (age_user + age_friend);
      cout << "\nDo you want to do it again? y or n ";
      cin >> loop_response;     // reset the flag - changing the value that we are testing on
    }
    

    The four attributes of a test before loop are present. The initialization of the flag. The test is the equality relational comparison of the value in the flag variable to the lower case character of y. The action part consists of the 6 lines that prompt for data and then displays the total of the two ages. The update of the flag is the displaying the question and getting the answer for the variable loop_response.

    This type of loop control is called an event controlled loop. The flag updating is an event where someone decides if they want the loop to execute again.

    Using indentation with the alignment of the loop actions and flag update is normal industry practice within the C++ community.

    Infinite Loops

    At this point it's worth mentioning that good programming always provides for a method to insure that the loop question will eventually be false so that the loop will stop executing and the program continues with the next line of code. However, if this does not happen then the program is in an infinite loop. Infinite loops are a bad thing. Consider the following code:

    C++ source code: infinite loop
    loop_response = 'y';
    while (loop_response == 'y')
    {
      cout << "\nWhat is your age? ";
      cin >> age_user;
      cout << "\nWhat is your friend's age? ";
      cin >> age_friend;
      cout >> "\nTogether your ages add up to: ";
      cout >> (age_user + age_friend);
    }
    

    The programmer assigned a value to the flag before the loop which is correct. However, he forgot to update the flag. Every time the test expression is asked it will always be true. Thus, an infinite loop because the programmer did not provide a way to exit the loop (he forgot to update the flag). Consider the following code:

    C++ source code: infinite loop
    loop_response = 'y';
    while (loop_response = 'y')   // assignment NOT a check for equality
      {
      cout << "\nWhat is your age? ";
      cin >> age_user;
      cout << "\nWhat is your friend's age? ";
      cin >> age_friend;
      cout >> "\nTogether your ages add up to: ";
      cout >> (age_user + age_friend);
      cout << "\nDo you want to do it again? y or n ";
      cin >> loop_response;
      }
    

    No matter what the user replies during the flag update, the test expression does not do a relational comparison but does an assignment. It assigns 'y' to the variable and asks if 'y' is true? Since all non-zero values are treated as representing true within the Boolean concepts of the C++ programming language, the answer to the test expression is true. Viola, you have an infinite loop.

    C++ source code: infinite loop
    loop_response = 'y';
    while (loop_response == 'y');  // accidently placed a ; at the end of the 
                                   // while statement - this ends the loop
      {
      cout << "\nWhat is your age? ";
      cin >> age_user;
      cout << "\nWhat is your friend's age? ";
      cin >> age_friend;
      cout >> "\nTogether your ages add up to: ";
      cout >> (age_user + age_friend);
      cout << "\nDo you want to do it again? y or n ";
      cin >> loop_response;
      }
    

    The undesirable semi-colon on the end of while line causes the action of the while loop to be the "nothingness" between the closing parenthesis and the semi-colon. The program will infinitely loop because there is no action (that is no action and no update). If this is the first item in your program it will appear to start but there will be no output.

    Counting Loops

    The examples above are for an event controlled loop. The flag updating is an event where someone decides if they want the loop to execute again. Often the initialization sets the flag so that the loop will execute at least once.

    Another common usage of the while loop is as a counting loop. Consider:

    C++ source code: while loop that is counting
    counter = 0;
    while (counter < 5)
    {
      cout << "\nI love ice cream!";
      counter++;
    }
    

    The variable counter is said to be controlling the loop. It is set to zero (called initialization) before entering the while loop structure and as long as it is less than 5 (five); the loop action will be executed. But part of the loop action uses the increment operator to increase counter's value by one. After executing the loop five times (once for counter's values of: 0, 1, 2, 3 and 4) the expression will be false and the next line of code in the program will execute. A counting loop is designed to execute the action (which could be more than one statement) a set of given number of times. In our example, the message is displayed five times on the monitor. It is accomplished my making sure all four attributes of the while control structure are present and working properly. The attributes are:

    • Initializing the flag
    • Test expression
    • Action or actions
    • Update of the flag

    Missing an attribute might cause an infinite loop or give undesired results (does not work properly).

    Infinite Loops

    Consider:

    C++ source code: infinite loop
    counter = 0;
    while (counter < 5)
    {
      cout << "\nI love ice cream!";
      // OOPS - we never update the value of the counter variable - INFINITE LOOP
    }
    

    Missing the flag update usually causes an infinite loop.

    Variations on Counting

    In the following example, the integer variable age is said to be controlling the loop (that is the flag). We can assume that age has a value provided earlier in the program. Because the while structure is a test before loop; it is possible that the person’s age is 0 (zero) and the first time we test the expression it will be false and the action part of the loop would never be executed.

    C++ source code: while as a counting loop
    while (0 < age)
    {
      cout << "\nI love candy!";
      age--;     // we can count down to zero...
    }
    

    Consider the following variation assuming that age and counter are both integer data type and that age has a value:

    C++ source code: while as a counting loop
    age = 5;
    counter = 0;
    while (counter < age)
    {
      cout << "\nI love corn chips!";
      counter++;   // we count up from zero to the appropriate value
    }
    

    This loop is a counting loop similar to our first counting loop example. The only difference is instead of using a literal constant (in other words 5) in our expression, we used the variable age (and thus the value stored in age) to determine how many times to execute the loop. However, unlike our first counting loop example which will always execute exactly 5 times; it is possible that the person’s age is 0 (zero) and the first time we test the expression it will be false and the action part of the loop would never be executed.

    Definitions

    While
    A test before iteration control structure available in C++.
    Loop Attributes
    Items associated with iteration or looping control structures.
    Initialize Item
    An attribute of iteration control structures.
    Might not Happen
    Indicating that test before loops might not execute the action.
    Event Controlled
    Using user input to control a loop.
    Counting Controlled
    Using a variable to count up or down to control a loop.

     Adapted from:
    "While Loop" by Kenneth Busbee, Download for free at http://cnx.org/contents/303800f3-07f...93e8948c5@22.2 is licensed under CC BY 4.0


    This page titled 7.5: While Loop is shared under a CC BY-SA license and was authored, remixed, and/or curated by Patrick McClanahan.