Multiple catch blocks in C++ - Time & Space Complexity

Time Complexity: Multiple catch blocks

O(n)

Understanding Time Complexity

When using multiple catch blocks in C++, it's important to understand how the program handles exceptions and how this affects execution time.

We want to know how the time to handle exceptions grows as the number of catch blocks increases.

Scenario Under Consideration

Analyze the time complexity of the following code snippet.

try {
    // code that may throw
} catch (const std::out_of_range& e) {
    // handle out_of_range
} catch (const std::invalid_argument& e) {
    // handle invalid_argument
} catch (const std::exception& e) {
    // handle other exceptions
}
    

This code tries to run some code and has multiple catch blocks to handle different exception types.

Identify Repeating Operations

Identify the loops, recursion, array traversals that repeat.

• Primary operation: Checking each catch block in order to find a matching exception type.
• How many times: At most once per catch block until a match is found or all are checked.

How Execution Grows With Input

Each catch block is checked one by one until the right one is found.

Number of catch blocks (n)	Approx. Checks
3	Up to 3 checks
10	Up to 10 checks
100	Up to 100 checks

Pattern observation: The number of checks grows directly with the number of catch blocks.

Final Time Complexity

Time Complexity: O(n)

This means the time to find the right catch block grows linearly with the number of catch blocks.

Common Mistake

[X] Wrong: "All catch blocks are checked at the same time, so time stays constant."

[OK] Correct: The program checks catch blocks one after another until it finds a match, so more catch blocks mean more checks.

Interview Connect

Understanding how multiple catch blocks affect execution helps you write efficient error handling and shows you think about program performance.

Self-Check

"What if the catch blocks were reordered so the most common exception is first? How would that affect the time complexity in practice?"

Practice

1.

What is the main purpose of using multiple catch blocks in C++?

easy

A. To speed up the program execution

B. To handle different types of exceptions separately

C. To avoid using try blocks

D. To declare multiple variables at once

Solution

1. Step 1: Understand the role of catch blocks

   Catch blocks are used to handle exceptions that occur in the try block.

2. Step 2: Recognize the benefit of multiple catch blocks

   Multiple catch blocks allow handling different exception types separately, so each error can be managed properly.

3. Final Answer:

   To handle different types of exceptions separately -> Option B

4. Quick Check:

   Multiple catch blocks = handle different exceptions [OK]

Hint: Multiple catch blocks handle different errors separately [OK]

Common Mistakes:

• Thinking multiple catch blocks speed up code
• Confusing catch blocks with variable declarations
• Believing try blocks are not needed with multiple catch blocks

2.

Which of the following is the correct syntax to catch any remaining exceptions in multiple catch blocks in C++?

try {
    // code
}
catch (int e) {
    // handle int
}
_____ {
    // handle other
}

easy

A. catch (...)

B. catch (string e)

C. catch (double e)

D. catch (char e)

Solution

1. Step 1: Identify the syntax for catch-all block

   The catch(...) block catches any exception type not caught by previous catch blocks.

2. Step 2: Confirm correct syntax

   Only catch(...) uses ellipsis and no variable type, making it the correct syntax for a generic catch block.

3. Final Answer:

   catch (...) -> Option A

4. Quick Check:

   catch(...) = catch all exceptions [OK]

Hint: Use catch(...) to catch all exceptions generically [OK]

Common Mistakes:

• Using catch without parentheses
• Trying to catch unknown types without ellipsis
• Misplacing catch blocks after try

3.

What will be the output of the following C++ code?

try {
    throw 10;
}
catch (double e) {
    std::cout << "Double exception";
}
catch (int e) {
    std::cout << "Integer exception: " << e;
}

medium

A. Compilation error

B. Double exception

C. No output

D. Integer exception: 10

Solution

1. Step 1: Identify the thrown exception type

   The code throws an integer exception with value 10.

2. Step 2: Match thrown exception with catch blocks

   The first catch block expects a double, so it is skipped. The second catch block matches int, so it executes and prints the message.

3. Final Answer:

   Integer exception: 10 -> Option D

4. Quick Check:

   throw int = catch int block runs [OK]

Hint: Match thrown type with catch parameter type [OK]

Common Mistakes:

• Assuming first catch always runs
• Confusing int and double types
• Expecting no output if types differ

4.

Find the error in this code snippet using multiple catch blocks:

try {
    throw "error";
}
catch (int e) {
    std::cout << "Int error";
}
catch (char e) {
    std::cout << "Char error";
}

medium

A. Missing catch block for const char* exception

B. Try block syntax is incorrect

C. Cannot throw string literals

D. Catch blocks must be in reverse order

Solution

1. Step 1: Identify the thrown exception type

   The code throws a string literal, which is of type const char*.

2. Step 2: Check catch blocks for matching types

   Catch blocks handle int and char, but not const char*. So no catch block matches the thrown exception, causing an unhandled exception.

3. Final Answer:

   Missing catch block for const char* exception -> Option A

4. Quick Check:

   Thrown type must match catch parameter [OK]

Hint: Catch blocks must match thrown exception types exactly [OK]

Common Mistakes:

• Assuming char catch handles string literals
• Thinking try block syntax is wrong
• Believing catch order matters for unrelated types

5.

Consider this code with multiple catch blocks:

try {
    throw std::runtime_error("runtime error");
}
catch (std::exception& e) {
    std::cout << "Exception: " << e.what();
}
catch (std::runtime_error& e) {
    std::cout << "Runtime error: " << e.what();
}

What will be the output and why?

hard

A. Exception: runtime error

B. Runtime error: runtime error

C. Compilation error due to catch order

D. No output because exception is not caught

Solution

1. Step 1: Understand exception inheritance

   std::runtime_error is derived from std::exception, so it matches both catch blocks.

2. Step 2: Analyze catch block order

   The first catch block catches std::exception by reference, so it catches the thrown runtime_error before the second catch block is reached.

3. Step 3: Determine output

   The first catch block prints "Exception: runtime error" using e.what().

4. Final Answer:

   Compilation error due to catch order -> Option C

5. Quick Check:

   Derived class catch must come before base class catch to avoid compilation error [OK]

Hint: Catch derived exceptions before base to avoid compilation error [OK]

Common Mistakes:

• Expecting derived catch to run first
• Thinking catch order causes no compilation error
• Assuming no output if multiple matches