Nested Selection and Switch Statements in C++

Nested Selection and Switch Statements in C++

📘 Overview Nested selection handles decisions inside other decisions, while switch selects a branch by matching an integral or enumeration value against constant case labels. Correct control flow depends on conditional scope, else pairing, and whether execution exits or falls through a case.

🧠 Key Idea Use nested if statements for dependent conditions and switch for discrete value matching. Braces define conditional scope, while break prevents unintended execution of later switch branches.

⚔️ Core Details: - A nested if evaluates an inner condition only when execution reaches the enclosing branch. - An else belongs to the nearest preceding unmatched if permitted by the brace structure. - A switch condition must have integral or enumeration type, possibly after an allowed class-type conversion. - Each case label requires a unique converted constant expression, such as an integer literal, character literal, or enumerator. - A break statement exits the innermost enclosing loop or switch. - The optional default label receives control when no case matches.

🎯 Why It Matters: - Nested selection expresses dependent validation, such as checking an array index before inspecting the selected element. - Switch makes discrete command dispatch easier to inspect than a long chain of equality comparisons. - Explicit braces and deliberate case exits prevent bugs caused by misleading indentation and accidental fallthrough.

🧠 Quick Recall: - Dangling else - An unbraced else pairs with the nearest unmatched if, not the if suggested by indentation. - Fallthrough - Execution continues into the next labeled section without a control transfer; [[fallthrough]]; documents intentional fallthrough in C++17 and later. - Grouped cases - Consecutive labels such as case 'a': case 'A': can share one statement sequence. - Case scope - Labels do not create separate scopes; braces around a case body prevent jumps across local variable initialization. - No matching case - Without a default label, execution continues after the switch.