Introduction to Control Structures
In programming, the default flow of execution is sequential, where statements run one after another from top to bottom. Control structures are programming features that alter this sequential flow, enabling decision-making, repetition, and immediate redirection of execution. These are categorized into decision-making controls, iterative controls, and jumping controls.
1. Decision-Making Controls
Decision-making controls, also known as conditional or selection structures, evaluate one or more conditions (which resolve to a boolean value of true or false) to determine which block of code to execute next.
A. The 'if' Statement
The simple 'if' statement is the most fundamental decision control. It executes a block of statements only if its specified test condition is true.
If the condition is true, the enclosed block executes. If the condition is false, the program skips the block.
B. The 'if-else' Statement
The 'if-else' statement provides two distinct paths of execution. When the main test condition is true, the 'if' block is executed. If the condition is false, the 'else' block is executed instead.
C. Nested 'if' and Multi-way 'if-else' Ladders
A nested 'if' is an 'if' statement placed inside another 'if' or 'else' block, allowing for multi-layered logical checks. Multi-way 'if-else' ladders sequentialize multiple distinct conditions, executing the first block that evaluates to true.
D. The 'switch-case' Statement
The 'switch-case' statement tests a single variable or expression against a list of constant values called cases. When a match is found, the code associated with that case is executed. It serves as a cleaner, more readable alternative to complex, multi-level 'if-else' ladders.
2. Iterative Controls
Iterative controls, commonly referred to as loops, allow a specific block of code to execute repeatedly as long as a designated condition remains true.
A. The 'while' Loop
The 'while' loop is an entry-controlled loop. It evaluates the test condition before executing the loop body. If the initial condition is false, the loop body will not run at all.
B. The 'for' Loop
The 'for' loop is another entry-controlled loop, primarily used when the exact number of iterations is known beforehand. It bundles loop initialization, condition evaluation, and increment/decrement step adjustments into a single cohesive line.
C. The 'do-while' Loop
The 'do-while' loop is an exit-controlled loop. It executes the body first and evaluates the test condition at the end of the iteration. This structure guarantees that the loop body will execute at least once, regardless of whether the condition is true or false on the initial check.
Comparison of Iterative Loops
| Feature | while Loop | for Loop | do-while Loop |
|---|---|---|---|
| Loop Category | Entry-controlled | Entry-controlled | Exit-controlled |
| Minimum Runs | 0 | 0 | 1 |
| Condition Evaluation | Before loop body executes | Before loop body executes | After loop body executes |
| Best Used For | When the iteration count is unpredictable | When the exact count of iterations is predetermined | When the loop must execute at least once (e.g., user menus) |
3. Jumping Controls
Jumping controls perform unconditional transfers of control, instantly moving the execution path to another part of the program.
A. The 'break' Statement
The 'break' statement immediately terminates the innermost enclosing loop or switch-case block. The program resumes execution at the first statement following the exited block.
B. The 'continue' Statement
The 'continue' statement skips the remaining statements inside the current loop iteration and immediately shifts control back to the loop's condition evaluation (or step modification) to begin the next iteration cycle.
C. The 'goto' and 'return' Statements
The 'goto' statement transfers execution to a user-defined label within the same block or function. Its use is generally discouraged because it creates hard-to-follow code flow. The 'return' statement halts the execution of a function entirely and passes control back to the calling environment, optionally passing a return value.
Comparison of 'break' and 'continue'
| Feature | break Statement | continue Statement |
|---|---|---|
| Scope of Control | Terminates the entire loop structure immediately | Skips only the remaining steps of the current cycle |
| Execution Destination | Jumps completely out of the loop block | Jumps back to the next iteration check of the loop |
| Context Restrictions | Valid in loops and switch-case statements | Valid only within loop bodies |