switch స్టేట్‌మెంట్ & Fall-through

🌐 Modern C++ (C++20/C++17) 🟢 Chapter 6 of 20 📂 Phase 02: కంట్రోల్ ఫ్లో & లూప్స్ 📅 2026 Edition
📌 Covered in this chapter: switch-case సింటాక్స్ · break కీవర్డ్ · [[fallthrough]] అట్రిబ్యూట్ · switch with initializer (C++17) · Enum తో switch

మునుపటి అధ్యాయంలో మనం if - else if - else లాడర్ ద్వారా వివిధ నిబంధనలను ఎలా పరీక్షించవచ్చో నేర్చుకున్నాం. కానీ ఒకే వేరియబుల్ యొక్క బహుళ నిర్దిష్ట స్థిర విలువల (Fixed Constants or Enums) ఆధారంగా నిర్ణయాలు తీసుకోవాల్సి వచ్చినప్పుడు, పది పన్నెండు else if లు రాయడం కోడ్‌ను సంక్లిష్టంగా మార్చడమే కాకుండా, పెర్ఫార్మెన్స్‌ను తగ్గిస్తుంది.

ఇటువంటి పరిస్థితులలో C++ మనకు అందించే అత్యంత వేగవంతమైన, క్లీన్ కంట్రోల్ స్ట్రక్చర్ switch స్టేట్‌మెంట్. ఇది బహుళ అవకాశాల నుండి సరైన మార్గాన్ని ఎంచుకోవడానికి అసెంబ్లీ స్థాయిలో జంప్ టేబుల్స్ (Jump Tables) ద్వారా O(1) వేగంతో పనిచేస్తుంది.

ఈ సమగ్ర మాస్టర్‌క్లాస్‌లో మనం switch సింటాక్స్, Jump Tables అంతర్గత పనితీరు, [[fallthrough]] అట్రిబ్యూట్, C++17 switch with Initializer, Scoped Enums (enum class), మరియు పూర్తి స్థాయి Enterprise ATM State Machine ప్రాజెక్ట్‌ను క్షుణ్ణంగా నేర్చుకుందాం!

1 మల్టీ-పాత్ బ్రాంచింగ్ & switch స్టేట్‌మెంట్ అవసరం (Why switch?)

నిజ జీవితంలో ఒక హోటల్ మెనూ కార్డ్, టీవీ రిమోట్ కంట్రోలర్, లేదా ఎటిఎమ్ మెషీన్ మెనూ వంటి అప్లికేషన్లను గమనించండి. యూజర్ 1 నొక్కితే బ్యాలెన్స్ ఎంక్వైరీ, 2 నొక్కితే క్యాష్ విత్‌డ్రాయల్, 3 నొక్కితే పిన్ చేంజ్ జరగాలి. దీనిని if-else if-else తో రాస్తే:

if (choice == 1) { ... }
else if (choice == 2) { ... }
else if (choice == 3) { ... }
else if (choice == 4) { ... }
// ఇలా 10 కండిషన్లు ఉంటే 10వ చాయిస్ కోసం CPU మొదటి 9 కండిషన్లను వరుసగా తనిఖీ చేయాల్సి వస్తుంది (O(N) Complexity)!

ఇలాంటి పరిస్థితులలో switch స్టేట్‌మెంట్ ఒక మ్యాజిక్ లాంటిది. ఇది ఇన్పుట్ విలువ ఆధారంగా మధ్యలోని అన్నింటినీ స్కిప్ చేసి నేరుగా సంబంధిత కోడ్ బ్లాక్‌కు ఒక్క క్షణంలో చేరుకుంటుంది.

📜 switch యొక్క ప్రాథమిక నిబంధన (Integral Expression Rule)

C++ లో switch ఎక్స్‌ప్రెషన్ మరియు ప్రతి case లేబుల్ విలువలు ఖచ్చితంగా ఇంటిగ్రల్ టైప్ (Integral Types) లేదా ఎన్యూమరేషన్ (enum / enum class) అయి ఉండాలి! అంటే: int, char, short, long, bool అనుమతించబడతాయి. కానీ float, double లేదా std::string లను case లేబుల్స్‌గా వాడటం C++ స్టాండర్డ్ ప్రకారం నిషేధం.

💻 Example 1: Basic switch Syntax (డేస్ ఆఫ్ ది వీక్ ప్రింటర్)
C++17
#include <iostream>

int main() {
    int dayNumber = 3;

    std::cout << "వారం రోజు నంబర్: " << dayNumber << "\nఫలితం: ";

    switch (dayNumber) {
        case 1:
            std::cout << "సోమవారం (Monday)\n";
            break;
        case 2:
            std::cout << "మంగళవారం (Tuesday)\n";
            break;
        case 3:
            std::cout << "బుధవారం (Wednesday)\n";
            break;
        case 4:
            std::cout << "గురువారం (Thursday)\n";
            break;
        case 5:
            std::cout << "శుక్రవారం (Friday)\n";
            break;
        case 6:
            std::cout << "శనివారం (Saturday)\n";
            break;
        case 7:
            std::cout << "ఆదివారం (Sunday)\n";
            break;
        default:
            std::cout << "చెల్లని రోజు సంఖ్య! (1 నుండి 7 మధ్య మాత్రమే ఉండాలి)\n";
            break;
    }

    return 0;
}

2 హార్డ్‌వేర్ & అసెంబ్లీ ఆర్కిటెక్చర్: The Power of Jump Tables (O(1) Direct Dispatch)

C++ కంపైలర్ if-else లాడర్ కంటే switch స్టేట్‌మెంట్‌ను ఎంత అద్భుతంగా ఆప్టిమైజ్ చేస్తుందో అర్థం చేసుకోవడం ఒక ప్రొఫెషనల్ సాఫ్ట్‌వేర్ ఆర్కిటెక్ట్‌కు ఎంతో ముఖ్యం.

ఒక if-else లాడర్‌లో 20 కండిషన్లు ఉంటే, CPU వరుసగా 20 పోలికలు (20 CMP మరియు JNE అసెంబ్లీ ఇన్స్ట్రక్షన్లు) చేయాల్సి వస్తుంది. దీనివల్ల టైమ్ కాంప్లెక్సిటీ O(N) అవుతుంది మరియు CPU బ్రాంచ్ ప్రిడిక్షన్ విఫలమయ్యే అవకాశాలు పెరుగుతాయి.

⚡ The Jump Table Magic (O(1) Constant Time Execution)

కేస్ లేబుల్స్ సంఖ్య ఎక్కువగా ఉండి, వాటి విలువలు ఒకదానికొకటి దగ్గరగా (Dense Range, ఉదా: 1 నుండి 10 వరకు) ఉన్నప్పుడు, ఆధునిక కంపైలర్లు (GCC, Clang, MSVC) మెమరీ యొక్క రీడ్-ఓన్లీ సెగ్మెంట్ (.rodata) లో Jump Table అనే పాయింటర్ల అర్రేను తయారుచేస్తాయి:

jump_table = [&case1_addr, &case2_addr, &case3_addr, &case4_addr, ...];
// CPU అసెంబ్లీ ఇన్స్ట్రక్షన్:
JMP [jump_table + dayNumber * 8] ; కేవలం ఒకే ఒక్క ఇన్స్ట్రక్షన్‌తో నేరుగా టార్గెట్ కేస్‌కు జంప్!

దీనివల్ల 5 కేసులు ఉన్నా, 500 కేసులు ఉన్నా — CPU తీసుకునే సమయం సరిగ్గా ఒకే ఒక్క మెమరీ రీడ్ సైకిల్ (O(1) Constant Time)! ఇది హై-పెర్ఫార్మెన్స్ గేమ్ డెవలప్‌మెంట్ మరియు ఎంబెడెడ్ డివైజ్‌లలో అద్భుతమైన వేగాన్ని అందిస్తుంది.

స్పార్స్ కేసులు (Sparse Cases) ఉన్నప్పుడు ఏమవుతుంది?
ఒకవేళ మీ కేసులు case 1:, case 1000:, case 50000: లాగా చాలా దూరంగా ఉంటే, కంపైలర్ భారీ మెమరీ వేస్ట్ కాకుండా ఉండటానికి జంప్ టేబుల్‌కు బదులుగా బైనరీ సెర్చ్ ట్రీ (Binary Search Tree of Jumps - O(log N)) విధానాన్ని స్వయంచాలకంగా ఎంచుకుంటుంది!

3 The break కీవర్డ్ పాత్ర & ఎగ్జిక్యూషన్ ఫ్లో కంట్రోల్

switch స్టేట్‌మెంట్ లోపల break; అనేది కేవలం ఒక ఐచ్ఛిక పదం కాదు; అది కంట్రోల్ ఫ్లోను నియంత్రించే అత్యంత కీలకమైన బ్రేకింగ్ సిస్టమ్.

ఒక మ్యాచ్ అయిన కేస్ లోపలి కోడ్ ఎగ్జిక్యూట్ అయిన తర్వాత, ప్రోగ్రామ్ అక్కడితో ఆగిపోయి వెంటనే switch కర్లీ బ్రాకెట్ల { ... } నుండి బయటకు వచ్చేయాలని కంపైలర్‌కు ఆజ్ఞాపించే మాధ్యమమే break.

⚠️ break రాయకపోతే ఏమవుతుంది?

ఒక కేస్ చివర break; పెట్టడం మర్చిపోతే, ప్రోగ్రామ్ అక్కడితో ఆగదు! తర్వాతి కేస్ యొక్క కండిషన్ మ్యాచ్ కాకపోయినా సరే, కంపైలర్ ఆ తర్వాతి కేస్ కోడ్‌ను కూడా వరుసగా రన్ చేసుకుంటూ వెళ్ళిపోతుంది. దీనినే C/C++ లో Fall-through అంటారు.

4 The default కేస్ ప్రాముఖ్యత & డిఫెన్సివ్ ప్రోగ్రామింగ్

యూజర్ ఇచ్చిన ఇన్పుట్ విలువ మనం రాసిన ఏ ఒక్క case లేబుల్‌తోనూ సరిపోలనప్పుడు ఎగ్జిక్యూట్ అయ్యే రక్షణ కవచమే default: కేస్.

  • సేఫ్టీ నెట్ (Safety Net): ఊహించని విలువలు, తప్పుడు యూజర్ ఇన్పుట్లు, లేదా క్రాష్‌లను సురక్షితంగా హ్యాండిల్ చేయడానికి ఇది పనిచేస్తుంది.
  • స్థానం (Placement): సాధారణంగా default ను అన్ని కేసుల చివర రాస్తారు. కానీ C++ రూల్స్ ప్రకారం దీనిని switch లో ఎక్కడైనా (మొదట్లో లేదా మధ్యలో కూడా) ఉంచవచ్చు. అయితే సులభంగా అర్థం కావడానికి చివరనే రాయడం ఉత్తమ ప్రామాణికం.
  • MISRA C++ గైడ్‌లైన్: ఆటోమోటివ్, ఏవియేషన్ మరియు మెడికల్ ఎంబెడెడ్ సాఫ్ట్‌వేర్ నియమావళి (MISRA) ప్రకారం, ప్రతి switch లోనూ ఖచ్చితంగా ఒక default క్లాజ్ తప్పనిసరిగా ఉండాలి!
💻 Example 2: Defensive Default Handling (స్మార్ట్ కాలిక్యులేటర్ ఆపరేటర్)
C++17
#include <iostream>

int main() {
    char op = '%';
    double a = 20.0, b = 4.0;

    std::cout << "గణన ప్రక్రియ: " << a << " " << op << " " << b << "\n";

    switch (op) {
        case '+':
            std::cout << "కూడిక ఫలితం: " << (a + b) << '\n';
            break;
        case '-':
            std::cout << "తీసివేత ఫలితం: " << (a - b) << '\n';
            break;
        case '*':
            std::cout << "గుణకార ఫలితం: " << (a * b) << '\n';
            break;
        case '/':
            if (b != 0.0) {
                std::cout << "భాగహార ఫలితం: " << (a / b) << '\n';
            } else {
                std::cout << "❌ ఎర్రర్: సున్నాతో భాగహారం సాధ్యం కాదు!\n";
            }
            break;
        default:
            // డిఫెన్సివ్ ప్రోగ్రామింగ్: తెలియని గుర్తు వస్తే వెంటనే వినియోగదారుడిని హెచ్చరించండి
            std::cout << "⚠️ లోపం: ఆమోదించబడని ఆపరేటర్ ('" << op << "')! కేవలం +, -, *, / మాత్రమే వాడండి.\n";
            break;
    }

    return 0;
}

5 The Fall-Through మెకానిజం (సాంప్రదాయ బగ్ vs ఫీచర్)

Fall-through అనేది రెండు వైపులా పదునున్న కత్తి లాంటిది. తెలియకుండా break మర్చిపోతే అది సాఫ్ట్‌వేర్ క్రాష్‌లకు కారణమయ్యే ప్రమాదకరమైన బగ్ అవుతుంది. కానీ ఉద్దేశపూర్వకంగా సరైన ప్రణాళికతో వాడితే అది కోడ్ నిడివిని తగ్గించే అద్భుతమైన ఫీచర్ అవుతుంది!

🎯 ఉద్దేశపూర్వక Fall-through: కేస్ గ్రూపింగ్ (Case Grouping)

బహుళ విలువల కోసం ఒకే విధమైన చర్య తీసుకోవాల్సి వచ్చినప్పుడు, కేసులను వరుసగా పేర్చి చివరి కేస్‌లో మాత్రమే కోడ్ రాయడాన్ని కేస్ గ్రూపింగ్ అంటారు. ఉదాహరణకు: ఒక క్యారెక్టర్ అచ్చా (Vowel) లేదా హల్లా (Consonant) అని పరీక్షించడం:

💻 Example 3: Intentional Case Grouping (Vowel Checker)
C++17
#include <iostream>

int main() {
    char alphabet = 'e';

    std::cout << "అక్షరం: '" << alphabet << "'\n";

    switch (alphabet) {
        // 'a', 'e', 'i', 'o', 'u' అన్నింటికీ ఒకే లాజిక్!
        // break లు లేకపోవడం వల్ల ఏ అచ్చు వచ్చినా జారుకుంటూ క్రిందికి వచ్చి ఒకేసారి ప్రింట్ అవుతాయి
        case 'a':
        case 'A':
        case 'e':
        case 'E':
        case 'i':
        case 'I':
        case 'o':
        case 'O':
        case 'u':
        case 'U':
            std::cout << "✅ ఇది ఒక అచ్చు (Vowel).\n";
            break;

        default:
            std::cout << "🔤 ఇది ఒక హల్లు (Consonant) లేదా ఇతర చిహ్నం.\n";
            break;
    }

    return 0;
}

6 ఆధునిక C++17 విప్లవం: [[fallthrough]] అట్రిబ్యూట్

సాంప్రదాయ C++ లో డెవలపర్లు కోడ్ రాసేటప్పుడు ఉద్దేశపూర్వకంగా ఫాల్-త్రూ చేసినా, కంపైలర్లు (ఉదాహరణకు -Wimplicit-fallthrough ఫ్లాగ్‌తో) అనుమానించి విపరీతమైన వార్నింగ్స్ ఇచ్చేవి. డెవలపర్లు కంపైలర్‌ను శాంతింపజేయడానికి // fall through అని ప్రత్యేక కామెంట్లు రాయాల్సి వచ్చేది.

ఈ అయోమయానికి ముగింపు పలుకుతూ Modern C++17 లో సరికొత్త అధికారిక స్టాండర్డ్ అట్రిబ్యూట్ ప్రవేశపెట్టబడింది: [[fallthrough]];!

💡 [[fallthrough]] అట్రిబ్యూట్ నియమాలు

1. ఇది కంపైలర్‌కు స్పష్టమైన సందేశం ఇస్తుంది: "డియర్ కంపైలర్, నేను ఇక్కడ break మర్చిపోలేదు! కావాలనే క్రింది కేస్‌కు వెళ్లాలని డిజైన్ చేశాను. కాబట్టి వార్నింగ్ ఇవ్వకు."
2. ఇది కేవలం switch లోపల మాత్రమే, ఒక case నుండి తర్వాతి case లేదా default కు వెళ్లే ముందు మాత్రమే స్టేట్‌మెంట్‌గా రాయాలి. చివర ఖచ్చితంగా సెమికోలన్ [[fallthrough]]; ఉండాలి.

💻 Example 4: C++17 [[fallthrough]] Multi-Tier Subscription Processing
Modern C++17 [[fallthrough]]
#include <iostream>

enum class MemberTier { Diamond, Gold, Silver, Free };

int main() {
    MemberTier userTier = MemberTier::Diamond;

    std::cout << "--- మీ సభ్యత్వానికి లభించే ప్రయోజనాలు (Benefits Unlocked) ---\n";

    switch (userTier) {
        case MemberTier::Diamond:
            std::cout << "💎 డైమండ్ సదుపాయం: అపరిమిత 4K HDR వీడియోలు & VIP వ్యక్తిగత మేనేజర్\n";
            [[fallthrough]]; // C++17: కావాలనే క్రింది గోల్డ్ ప్రయోజనాలను కూడా కలుపుతున్నాం!

        case MemberTier::Gold:
            std::cout << "🥇 గోల్డ్ సదుపాయం: యాడ్-ఫ్రీ మ్యూజిక్ స్ట్రీమింగ్ & ఆఫ్‌లైన్ డౌన్‌లోడ్స్\n";
            [[fallthrough]]; // C++17: క్రింది సిల్వర్ ప్రయోజనాలు కూడా వీరికి లభిస్తాయి!

        case MemberTier::Silver:
            std::cout << "🥈 సిల్వర్ సదుపాయం: స్టాండర్డ్ HD వీడియో స్ట్రీమింగ్ సపోర్ట్\n";
            [[fallthrough]];

        case MemberTier::Free:
            std::cout << "🥉 ప్రాథమిక సదుపాయం: ఉచిత ఖాతా బ్రౌజింగ్ యాక్సెస్\n";
            break;
    }

    return 0;
}

7 ఆధునిక C++17 విప్లవం: switch with Initializer (Scope Isolation)

చాలా సందర్భాలలో మనం ఒక ఫంక్షన్‌ను కాల్ చేసి, అది ఇచ్చే స్టేటస్ కోడ్ లేదా ఎర్రర్ నంబర్ ఆధారంగా switch చేయాల్సి ఉంటుంది. ఉదాహరణకు: ఒక API రెస్పాన్స్ కోడ్ (200, 404, 500) తనిఖీ చేయడం.

పాత C++ లో ఆ వేరియబుల్‌ను switch బయట సృష్టించాల్సి వచ్చేది. దీనివల్ల వేరియబుల్ అనవసరంగా ఫంక్షన్ అంతటా ఉండిపోయేది. కానీ Modern C++17 లో వచ్చిన switch with Initializer ఈ సమస్యను అద్భుతంగా పరిష్కరించింది:

switch (init-statement; condition-variable) {
    case A: ... break;
    default: ... break;
}
// ఇక్కడ init-statement లో సృష్టించిన వేరియబుల్ ఆటోమేటిక్‌గా మెమరీ నుండి నాశనమైపోతుంది!
💻 Example 5: C++17 switch with Initializer (HTTP Network Status Handler)
Modern C++17 switch with init
#include <iostream>

// నెట్‌వర్క్ సర్వర్ రెస్పాన్స్ కోడ్ తెచ్చే డమ్మీ ఫంక్షన్
int fetchServerStatus() {
    return 404; // పేజీ దొరకలేదు
}

int main() {
    // C++17: వేరియబుల్ డిక్లరేషన్ మరియు switch ఒకే లైన్‌లో!
    switch (int httpStatusCode = fetchServerStatus(); httpStatusCode) {
        case 200:
            std::cout << "✅ Status 200: సర్వర్ కనెక్షన్ విజయవంతమైంది (OK).\n";
            break;
        case 400:
            std::cout << "⚠️ Status 400: బ్యాడ్ రిక్వెస్ట్ (Bad Request).\n";
            break;
        case 401:
            std::cout << "🔒 Status 401: అనధికారిక ప్రవేశం (Unauthorized - లాగిన్ అవ్వండి).\n";
            break;
        case 404:
            std::cout << "❌ Status 404: మీరు కోరిన వెబ్ పేజీ కనుగొనబడలేదు (Not Found).\n";
            break;
        case 500:
            std::cout << "💥 Status 500: ఇంటర్నల్ సర్వర్ ఎర్రర్ (Internal Server Error).\n";
            break;
        default:
            std::cout << "❓ Status " << httpStatusCode << ": తెలియని నెట్‌వర్క్ ప్రతిస్పందన.\n";
            break;
    }

    // ఇక్కడ httpStatusCode అందుబాటులో ఉండదు!
    // std::cout << httpStatusCode; // ❌ Compile Error: scope pollution నిరోధించబడింది!

    return 0;
}

8 Scoped Enums (enum class) తో టైప్-సేఫ్ switch ఆర్కిటెక్చర్

పాత C-స్టైల్ enum లలో పెద్ద సమస్య ఉండేది: అవి నేమ్‌స్పేస్‌ను కలుషితం చేసేవి మరియు పూర్ణాంకాలతో (Integers) సులభంగా కలిసిపోయి బగ్‌లను సృష్టించేవి.

Modern C++ లో మనం ఎల్లప్పుడూ enum class (Strongly Typed Scoped Enum) వాడతాం. దీనిని switch తో కలిపి వాడినప్పుడు కంపైలర్ మనకు ఒక అద్భుతమైన ఫీచర్‌ను అందిస్తుంది: Exhaustive Case Checking!

🛡️ Exhaustive Switch Warning (-Wswitch)

మీరు ఒక enum class లో 5 రకాల స్టేట్స్ (ఉదా: Stopped, Running, Paused, Resumed, Error) నిర్వచించి, మీ switch లో కేవలం 4 స్టేట్స్ మాత్రమే రాస్తే — కంపైలర్ వెంటనే హెచ్చరిస్తుంది: "warning: enumeration value 'Error' not handled in switch"! ఇది ఎంటర్‌ప్రైజ్ సాఫ్ట్‌వేర్‌లో డెవలపర్లు ఏదైనా ఒక స్టేట్‌ను మర్చిపోకుండా అడ్డుకునే బలమైన ఆయుధం.

💻 Example 6: Scoped Enum Traffic Light State Machine
Modern C++ Scoped Enum
#include <iostream>

// స్ట్రాంగ్లీ టైప్డ్ ఎన్యూమరేషన్
enum class TrafficSignal { Red, Yellow, Green, BlinkingYellow };

void handleSignal(TrafficSignal signal) {
    switch (signal) {
        case TrafficSignal::Red:
            std::cout << "🛑 రెడ్ సిగ్నల్: వాహనాలను పూర్తిగా ఆపండి! లైన్ దాటవద్దు.\n";
            break;
        case TrafficSignal::Yellow:
            std::cout << "⚠️ ఎల్లో సిగ్నల్: వేగం తగ్గించండి. వెళ్ళడానికి సిద్ధంగా ఉండండి.\n";
            break;
        case TrafficSignal::Green:
            std::cout << "🟢 గ్రీన్ సిగ్నల్: ప్రయాణాన్ని సురక్షితంగా కొనసాగించండి.\n";
            break;
        case TrafficSignal::BlinkingYellow:
            std::cout << "🟡 బ్లింకింగ్ ఎల్లో: ఇరువైపులా గమనించి జాగ్రత్తగా ముందుకు వెళ్ళండి.\n";
            break;
    }
}

int main() {
    TrafficSignal currentSignal = TrafficSignal::Red;
    handleSignal(currentSignal);

    currentSignal = TrafficSignal::Green;
    handleSignal(currentSignal);

    return 0;
}

9 The "Crosses Initialization" Trap & Scope in Switch Cases

C++ లో బిగినర్స్ తరచుగా ఎదుర్కొనే అత్యంత వింతైన మరియు భయపెట్టే కంపైలర్ ఎర్రర్: error: jump to case label crosses initialization of 'variable'.

❌ ఎర్రర్ ఎందుకు వస్తుంది? (C++ Object Lifecycle Rule)

మీరు case 1: లో int discount = 10; అని రాస్తే, మొత్తం switch స్టేట్‌మెంట్ అంతా ఒకే కామన్ స్కోప్ పరిధిలో ఉంటుంది. ఒకవేళ యూజర్ ఇన్పుట్ 2 అయితే, కంపైలర్ case 1 ను దాటి నేరుగా case 2 కి జంప్ చేయాలి. కానీ అలా జంప్ చేస్తే discount వేరియబుల్ మెమరీలో సృష్టించబడకుండానే ఆ వేరియబుల్ స్కోప్‌లోకి ప్రోగ్రామ్ వచ్చేస్తుంది! C++ ఆబ్జెక్ట్ లైఫ్‌సైకిల్ నియమాల ప్రకారం ఇటువంటి ప్రారంభించని (Uninitialized) స్థితిని కంపైలర్ ఖచ్చితంగా అనుమతించదు.

💻 The Problem & The Solution (Explicit Block Scope { })
C++ Scope Isolation Fix
#include <iostream>

int main() {
    int planCode = 1;

    switch (planCode) {
        case 1: {
            // ✅ సరైన పరిష్కారం: కర్లీ బ్రేసెస్ {} పెట్టి ప్రత్యేక స్కోప్ ఇవ్వండి!
            int bonusPoints = 500; 
            std::cout << "ప్లాన్ 1 ఆక్టివేట్ అయింది. బోనస్ పాయింట్లు: " << bonusPoints << '\n';
            break;
        } // ఇక్కడ bonusPoints జీవితకాలం ముగిసిపోతుంది!

        case 2: {
            // ఇక్కడ మరొక కొత్త వేరియబుల్‌ను సంతోషంగా డిక్లేర్ చేసుకోవచ్చు
            double cashback = 150.75;
            std::cout << "ప్లాన్ 2 ఆక్టివేట్ అయింది. క్యాష్‌బ్యాక్: ₹" << cashback << '\n';
            break;
        }

        default:
            std::cout << "చెల్లని ప్లాన్!\n";
            break;
    }

    return 0;
}

10 switch vs if - else if - else: సమగ్ర సాంకేతిక పోలిక

మీ ప్రాజెక్ట్‌లో డెసిషన్ మేకింగ్ రాసేటప్పుడు switch వాడాలా లేక if-else if-else వాడాలా అనే సందేహానికి క్రింది సమగ్ర పోలిక పట్టిక స్పష్టమైన సమాధానం ఇస్తుంది:

ఫీచర్ / అంశం C++ switch స్టేట్‌మెంట్ if - else if - else లాడర్
టైమ్ కాంప్లెక్సిటీ O(1) Constant Time (Jump Table ద్వారా డైరెక్ట్ జంప్) O(N) Linear Time (ప్రతి కండిషన్‌ను పైనుండి వరుసగా చెక్ చేయాలి)
అనుమతించబడే డేటా టైప్స్ కేవలం పూర్ణాంకాలు (int, char, short, long, enum) మాత్రమే ఏదైనా బూలియన్ ఎక్స్‌ప్రెషన్, ఫ్లోట్స్, డబుల్స్, స్ట్రింగ్స్, పాయింటర్స్
శ్రేణుల తనిఖీ (Range Check) కష్టం (ఉదా: marks >= 80 && marks <= 90 రాయలేము) చాలా సులభం (రిలేషనల్ ఆపరేటర్లు >, <, >=, <= తో)
కేస్ పరిమాణం పెరిగినప్పుడు కోడ్ అత్యంత క్లీన్ గా, రీడబుల్ గా ఉంటుంది కోడ్ చాలా పొడవుగా, గందరగోళంగా మారుతుంది
అసెంబ్లీ కోడ్ ఉత్పత్తి మెమరీలో Jump Table లేదా Binary Search Dispatch వరుస CMP మరియు కండిషనల్ JNE / JE బ్రాంచ్‌లు

11 Modern C++ లో switch పరిమితులు & ప్రత్యామ్నాయాలు (Pattern Matching / std::variant)

C++ switch లో ఉన్న ప్రధాన పరిమితి: ఇది std::string లేదా ఫ్లోటింగ్‌లను నేరుగా స్వీకరించదు. ఈ పరిమితిని అధిగమించడానికి ఆధునిక సాఫ్ట్‌వేర్ ఇంజనీరింగ్‌లో క్రింది ప్రత్యామ్నాయాలను ఉపయోగిస్తారు:

1. Compile-Time String Hashing (constexpr hash)

స్ట్రింగ్‌ను కంపైల్ సమయంలోనే పూర్ణాంక హాష్ వాల్యూగా (32-bit FNV-1a Hash) మార్చి, ఆ హాష్‌ను switch కేస్ లేబుల్‌గా ఉపయోగించవచ్చు: switch (hash(command)) { case hash("start"): ... }. ఇది చాలా గేమ్ ఇంజిన్లు వాడే శక్తివంతమైన టెక్నిక్.

2. Modern C++17 std::variant & std::visit (Type-Safe Pattern Matching)

C++17 లో వచ్చిన std::variant మరియు std::visit లు ఆధునిక ఫంక్షనల్ ప్రోగ్రామింగ్ తరహా ప్యాటర్న్ మ్యాచింగ్‌ను అందిస్తాయి. దీనివల్ల వివిధ రకాల ఆబ్జెక్టులపై టైప్-సేఫ్ గా డెసిషన్ మేకింగ్ చేయవచ్చు.

12 సాధారణ బిగినర్ తప్పులు, బెస్ట్ ప్రాక్టీసెస్ & MISRA C++ రూల్స్

switch రాసేటప్పుడు అత్యంత అనుభవజ్ఞులైన డెవలపర్లు కూడా పాటించే కీలకమైన ఉత్తమ పద్ధతులు:

❌ Trap: డూప్లికేట్ కేస్ లేబుల్స్ (Duplicate Case Labels)

ఒకే switch లో రెండు సార్లు ఒకే విలువ రాయకూడదు (ఉదా: case 1: ... case 1:). కంపైలర్ వెంటనే "error: duplicate case value" అని ప్రోగ్రామ్‌ను తిరస్కరిస్తుంది.

❌ Trap: వేరియబుల్స్ నాన్-కాన్స్టాంట్ కావడం

case x: లో x అనేది రన్‌టైమ్ వేరియబుల్ కాకూడదు. అది ఖచ్చితంగా కంపైల్-టైమ్ స్థిరరాశి (constexpr లేదా లిటరల్ కాన్స్టాంట్) మాత్రమే అయి ఉండాలి.

✅ Pro Best Practice: ప్రతి కేస్‌కు కర్లీ బ్రాకెట్లు {} అమర్చండి

కేస్ లోపల ఒకటి కంటే ఎక్కువ స్టేట్‌మెంట్లు ఉన్నప్పుడు ఎల్లప్పుడూ case X: { ... break; } విధానాన్ని అనుసరించండి. ఇది వేరియబుల్ నేమ్ కొలిషన్స్ మరియు క్రాసింగ్ ఇనిషియలైజేషన్ ఎర్రర్లను మొదట్లోనే తుంచివేస్తుంది.

13 రియల్-వరల్డ్ ప్రాక్టీస్ ప్రాజెక్ట్: "Enterprise Core Banking ATM State & Transaction Engine"

ఈ అధ్యాయంలో నేర్చుకున్న switch-case, break, default, Modern C++17 switch with initializer, C++17 [[fallthrough]], మరియు enum class లను సమన్వయం చేస్తూ — పూర్తి స్థాయి "Enterprise Core Banking ATM State & Transaction Processing Engine" ను నిర్మిద్దాం:

💻 Complete Masterclass Practice Project: ATM State Machine Engine
C++17 / C++20 Complete Project
#include <iostream>
#include <string>
#include <iomanip>

// ATM లావాదేవీ రకాల Scoped Enum
enum class ATMOption {
    CheckBalance = 1,
    WithdrawCash = 2,
    DepositCash = 3,
    ChangePin = 4,
    MiniStatement = 5,
    ExitSession = 6
};

// ఆడిట్ లాగింగ్ లెవెల్స్ (ఫాల్-త్రూ ప్రదర్శన కొరకు)
enum class AuditLevel { HighSecurity, Financial, Standard };

int main() {
    std::string customerName = "కొల్లి సత్యనారాయణ (K. Satyanarayana)";
    int accountPin = 4826;
    double accountBalance = 68450.00;
    double dailyWithdrawalLimit = 25000.00;

    std::cout << std::fixed << std::setprecision(2);
    std::cout << "================================================================\n";
    std::cout << "      🏦 STATE BANK OF INDIA - ENTERPRISE CORE ATM ENGINE       \n";
    std::cout << "================================================================\n";
    std::cout << "ఖాతాదారుని పేరు : " << customerName << '\n';
    std::cout << "ఖాతా రకం        : సేవింగ్స్ బ్యాంక్ (SBI Prime Savings)\n";
    std::cout << "----------------------------------------------------------------\n";
    std::cout << "1. బ్యాలెన్స్ ఎంక్వైరీ (Check Balance)\n";
    std::cout << "2. నగదు ఉపసంహరణ (Withdraw Cash)\n";
    std::cout << "3. నగదు డిపాజిట్ (Deposit Cash)\n";
    std::cout << "4. ఏటీఎం పిన్ మార్పు (Change PIN)\n";
    std::cout << "5. మినీ స్టేట్‌మెంట్ (Mini Statement)\n";
    std::cout << "6. లావాదేవీ ముగింపు (Exit Session)\n";
    std::cout << "================================================================\n";

    // అనుకరణ: కస్టమర్ ఎంపిక 2 (క్యాష్ విత్‌డ్రాయల్)
    int selectedOptionInt = 2;
    std::cout << "ఎంచుకున్న లావాదేవీ ఆప్షన్: " << selectedOptionInt << "\n\n";

    // C++17 switch with initializer: టైప్-సేఫ్ కాస్టింగ్ మరియు స్కోప్ ఐసోలేషన్
    switch (auto opt = static_cast<ATMOption>(selectedOptionInt); opt) {
        case ATMOption::CheckBalance: {
            std::cout << "💰 [బ్యాలెన్స్ విచారణ]:\n";
            std::cout << "మీ ఖాతాలో ప్రస్తుతం అందుబాటులో ఉన్న బ్యాలెన్స్: ₹ " << accountBalance << '\n';
            break;
        }

        case ATMOption::WithdrawCash: {
            double withdrawAmount = 15000.00;
            std::cout << "💵 [నగదు ఉపసంహరణ ప్రక్రియ]:\n";
            std::cout << "కోరిన నగదు మొత్తం: ₹ " << withdrawAmount << '\n';

            if (withdrawAmount > dailyWithdrawalLimit) {
                std::cout << "❌ తిరస్కరణ: మీ రోజువారీ ఉపసంహరణ పరిమితి (₹ " << dailyWithdrawalLimit << ") దాటింది!\n";
            } else if (withdrawAmount > accountBalance) {
                std::cout << "❌ తిరస్కరణ: మీ ఖాతాలో సరిపడా బ్యాలెన్స్ లేదు!\n";
            } else {
                accountBalance -= withdrawAmount;
                std::cout << "✅ లావాదేవీ విజయవంతమైంది! నగదును క్యాష్ డిస్పెన్సర్ నుండి తీసుకోండి.\n";
                std::cout << "మిగిలిన బ్యాలెన్స్: ₹ " << accountBalance << '\n';

                // C++17 [[fallthrough]] ఆడిట్ లాగింగ్ ప్రక్రియ
                AuditLevel alert = AuditLevel::Financial;
                std::cout << "\n[ఆటోమేటెడ్ సెక్యూరిటీ ఆడిట్ లాగింగ్ ఫ్లో]:\n";
                switch (alert) {
                    case AuditLevel::HighSecurity:
                        std::cout << "  🚨 [ALERT 1]: బ్యాంక్ ఫ్రాడ్ డిటెక్షన్ సిస్టమ్‌కు సమాచారం చేరింది.\n";
                        [[fallthrough]];
                    case AuditLevel::Financial:
                        std::cout << "  💳 [ALERT 2]: మీ రిజిస్టర్డ్ మొబైల్‌కు డెబిట్ SMS పంపబడింది.\n";
                        [[fallthrough]];
                    case AuditLevel::Standard:
                        std::cout << "  📝 [ALERT 3]: లావాదేవీ సర్వర్ డేటాబేస్ జర్నల్ లో రికార్డ్ అయింది.\n";
                        break;
                }
            }
            break;
        }

        case ATMOption::DepositCash: {
            double depositAmount = 5000.00;
            accountBalance += depositAmount;
            std::cout << "📥 నగదు డిపాజిట్ విజయవంతమైంది! జమ అయిన మొత్తం: ₹ " << depositAmount << '\n';
            std::cout << "నవీకరించబడిన బ్యాలెన్స్: ₹ " << accountBalance << '\n';
            break;
        }

        case ATMOption::ChangePin: {
            int newPin = 9182;
            accountPin = newPin;
            std::cout << "🔐 మీ ఏటీఎం పిన్ విజయవంతంగా మార్చబడింది! కొత్త పిన్: " << accountPin << '\n';
            break;
        }

        case ATMOption::MiniStatement: {
            std::cout << "📄 [గత 3 లావాదేవీల మినీ స్టేట్‌మెంట్]:\n";
            std::cout << "  1. 28-Oct: UPI డెబిట్ - ₹ 450.00 (Swiggy)\n";
            std::cout << "  2. 29-Oct: జీతం క్రెడిట్ - ₹ 65,000.00 (TCS Ltd)\n";
            std::cout << "  3. 01-Nov: ATM డెబిట్ - ₹ 15,000.00\n";
            break;
        }

        case ATMOption::ExitSession: {
            std::cout << "👋 లావాదేవీ ముగిసింది. మీ ఏటీఎం కార్డును తీసుకోండి. మళ్లీ రండి!\n";
            break;
        }

        default: {
            std::cout << "⚠️ అమాన్యమైన ఆప్షన్! దయచేసి స్క్రీన్‌పై ఉన్న 1 నుండి 6 వరకు గల నంబర్లను మాత్రమే ఎంచుకోండి.\n";
            break;
        }
    }

    std::cout << "================================================================\n";
    std::cout << "      SBI తో బ్యాంకింగ్ చేసినందుకు ధన్యవాదాలు! శుభదినం!       \n";
    std::cout << "================================================================\n";

    return 0;
}

❓ ఇంటర్వ్యూ & పరీక్షల క్విజ్ (Knowledge Check)

ప్రశ్న 1: C++ కంపైలర్ switch స్టేట్‌మెంట్‌ను ఆప్టిమైజ్ చేయడానికి 'Jump Table' ను ఎలా ఉపయోగిస్తుంది?
సమాధానం: కేస్ లేబుల్స్ ఒక నిర్దిష్ట నిరంతర శ్రేణిలో (Dense Range) ఉన్నప్పుడు, కంపైలర్ రీడ్-ఓన్లీ మెమరీలో ప్రతి కేస్ కోడ్ చిరునామాతో (Address Pointer) కూడిన ఒక అర్రేను (Jump Table) నిర్మిస్తుంది. ప్రోగ్రామ్ రన్ అయ్యేటప్పుడు CPU ఇన్పుట్ విలువను ఇండెక్స్‌గా తీసుకుని నేరుగా JMP [table + index * 8] ద్వారా ఒకే ఒక్క సైకిల్‌లో సంబంధిత కేస్‌కు జంప్ చేస్తుంది. దీనివల్ల if-else లాగా వరుస పోలికలు అవసరం లేకుండా O(1) కాన్స్టాంట్ టైమ్ లో రన్ అవుతుంది.
ప్రశ్న 2: C++17 లో ప్రవేశపెట్టబడిన [[fallthrough]] అట్రిబ్యూట్ యొక్క ఉద్దేశం ఏమిటి?
సమాధానం: సాధారణంగా ఒక కేస్ చివర break; రాయకపోతే కంపైలర్ దానిని పొరపాటుగా భావించి ఇంప్లిసిట్ ఫాల్-త్రూ వార్నింగ్స్ ఇస్తుంది. డెవలపర్ కావాలనే ఒక కేస్ నుండి తర్వాతి కేస్‌కు కంట్రోల్ జారాలని కోరుకున్నప్పుడు [[fallthrough]]; అని రాస్తారు. ఇది కంపైలర్‌కు ఇది బగ్ కాదు ఉద్దేశపూర్వక డిజైన్ అని స్పష్టం చేసి ఎటువంటి వార్నింగ్స్ రాకుండా చేస్తుంది.
ప్రశ్న 3: ఒక switch case లోపల వేరియబుల్‌ను నేరుగా ఇనిషియలైజ్ చేస్తే 'crosses initialization' ఎర్రర్ ఎందుకు వస్తుంది?
సమాధానం: మొత్తం switch స్టేట్‌మెంట్ ఒకే స్కోప్ పరిధిలో ఉంటుంది. ఒక కేస్‌లో int x = 10; రాసినప్పుడు, వేరే కేస్ మ్యాచ్ అయితే కంపైలర్ ఆ ఇనిషియలైజేషన్‌ను దాటి జంప్ చేయాల్సి వస్తుంది. ఫలితంగా వేరియబుల్ మెమరీలో ప్రాథమిక విలువ లేకుండా స్కోప్‌లో ఉండిపోతుంది, ఇది C++ ఆబ్జెక్ట్ లైఫ్‌సైకిల్ నియమాలకు విరుద్ధం. దీనిని నివారించడానికి ఆ కేస్‌కు కర్లీ బ్రాకెట్లు { int x = 10; ... } పెట్టి ప్రత్యేక లోకల్ స్కోప్ ఇవ్వాలి.
ప్రశ్న 4: C++ switch లో std::string లేదా float విలువలను నేరుగా ఎందుకు వాడలేము?
సమాధానం: C++ switch స్టేట్‌మెంట్ అంతర్గతంగా హార్డ్‌వేర్ ఇంటిగ్రల్ కంపారిజన్స్ మరియు జంప్ టేబుల్ అడ్రస్సింగ్ ఆధారంగా రూపొందించబడింది. ఫ్లోటింగ్ పాయింట్ సంఖ్యలకు కచ్చితమైన సమానత్వం (Exact Equality) ఉండదు (ప్రెసిషన్ ఎర్రర్స్ ఉంటాయి) మరియు స్ట్రింగ్స్ డైనమిక్ మెమరీలో ఉంటాయి కాబట్టి నేరుగా జంప్ టేబుల్ ఇండెక్స్‌గా పనిచేయలేవు. అందువల్ల C++ స్టాండర్డ్ కేవలం ఇంటిగ్రల్ టైప్స్ (int, char, enum) లను మాత్రమే అనుమతిస్తుంది.
ప్రశ్న 5: C++17 switch with Initializer వల్ల సాఫ్ట్‌వేర్ ఆర్కిటెక్చర్‌కు కలిగే ప్రయోజనం ఏమిటి?
సమాధానం: switch (auto val = calculate(); val) విధానం ద్వారా ఆ కండిషన్ కోసం అవసరమైన వేరియబుల్ యొక్క జీవితకాలాన్ని కేవలం ఆ switch బ్లాక్‌కు మాత్రమే పరిమితం చేయవచ్చు (Variable Scope Isolation). ఆ బ్లాక్ ముగియగానే ఆ వేరియబుల్ మెమరీ నుండి నాశనమైపోతుంది, దీనివల్ల బయట నేమ్‌స్పేస్ కాలుష్యం (Scope Pollution) మరియు వేరియబుల్ నేమ్ కొలిషన్స్ నివారించబడతాయి.
← మునుపటి అధ్యాయం: Chapter 05: డెసిషన్ మేకింగ్ (if, else if, else)
తదుపరి అధ్యాయం: Chapter 07: లూప్స్ (for, while, do-while) →

ఈ ప్రాజెక్ట్‌ను లైవ్‌గా మన కంపైలర్‌లో రన్ చేయండి!

ఎటువంటి లోకల్ సెటప్ లేకుండా, బ్రౌజర్‌లోనే నేరుగా Modern C++ (GCC 13 / C++20) కంపైలర్‌లో ఈ కోడ్‌ను ఎగ్జిక్యూట్ చేసి రన్‌టైమ్ అవుట్‌పుట్‌ను తనిఖీ చేయండి.