Skip to main content

Advanced C++ - Exceptions

Exception handling is programming feature helpful for programmers to handle run time error conditions.

Run time error conditions can be like division by zero, unable to allocate memory due to scarcity, trying to open a file which doesn’t exist etc. There are two types of exceptions. One is Standard exceptions provided by C++ Standard library and other type is User defined exceptions.

Now, to handle any exception, we should understand 3 main block of exception statement which are as follows:
  • throw block - in this block, we throw an exception. The operand of the throw statement decides the type of exception occurred. Once this line is executed, program jumps to catch block to handle the exception occurred.
  • catch block - is the block where we handle exception. This is also called as exception handler and this block is written immediately after the try block as shown in example. This can be written similar to a normal function with at least one argument preceding with catch keyword. We can have more than one handlers with different type of arguments. Then, only the handler that matches its type of argument with the type of the argument mentioned in throw statement is executed. Also, we can have ellipsis (…) as an argument of the handler i.e catch (…). That time, irrespective of type of argument used in throw statement, this handler is executed. We can also have nested try-catch blocks. After catch block is executed, the program execution resumes after the try-catch block but not after the throw statement.
  • try block - is nothing but that block of code where an exception can occur. This block is followed by one or more catch blocks as required to handle exceptions

Let us see few Standard exceptions examples:
  • bad_alloc
    • - this exception is thrown whenever new operator fails to allocate memory. Refer example “StdException.cpp” which is self explanatory.
  • bad_cast
    • - This is thrown when type conversions fails using dynamic_cast
  • bad_typeid
    • -This is thrown by type_id()
  • Bad_exception
    • - This is thrown when any unexpected exception occurs.

User defined exceptions can be programmed as shown in the below example: Output of that example is as follows: In this example, we show how to handle Divide by zero exception. In class DividerWithException we are throwing exception when divisor is equal 0 (we cannot devide by 0). Then in main function we are using try-catch block to handle exception when it occures and operate it. Thanks to that our program does not crash when we are trying to divide by 0, but we can show some message to user to and notify him about wrong data set pushed to DividerWithException object. Code of this example you can find our our GitHub account here: https://github.com/xmementoit/CppAdventureExamples/tree/master/advancedCpp/excpetions

Labels:

Comments

Post a Comment

Popular posts from this blog

C++ Multithreading - Race conditions

In the previous C++ Multithreading article I presented you how to pass parameters between threads. Take a detail look on the output of that example once again: In the first line of that output you can notice that output text from two threads is mixed. You are probably wondering why it happens? It is because we are not protecting resources which are shared by two threads (in this example cout stream is shared in both threads) which causes multithreading's phenomenon called race condition . Because threads switching and accessing to shared resources are managed by operating system we do not know when std::cout stream will be accessed by main thread and when it will be accessed by second thread. Therefore in the previous article I mentioned that output of the example can be little different on your computer than my output example. What's more it is possible that this output will be different for few consecutive invoking of the example on the same machine. It is beca...
Post a Comment
Read more

Advanced C++ - Mutable Class Field

Today I would like to present C++ class' feature called mutable class field . Mutable class field is class' field modifier which allows to change its value even if object of the class is declared as const . Take a look at the example: Output of this example is: In point I of that example we are defining object of TestClass . Note that this object is const . As you can see in point Ia this class has three different member fields ( constInt, mutableConstInt, nonConstInt ). Those variables are public for this example, but do not worry about encapsulation here. It is just omitted for simplify this example. As you can see one of this member fields is marked as mutable class file using mutable keyword ( mutableConstInt ). Such variable can be modified even if object of class TestClass is const . It will be explained in next points of this example. In point II we are printing default values of testObject object initialized in initialization list of TestClass' default c...
Post a Comment
Read more

Advanced C++ - Template Functions

Template function are special types of C++ function which can be used with different types (generic types). Thanks to that we can create one body of function which can be used for many different types. When we are creating template function compiler does not define any function for use at that time. Generation of funciton basing on templates are done during compilation process basing of differnt usage of template class. For better understanding take a look on following example: Output of this example is: In point I, we are defining template function which should return sum of two parameters. Without templates we need to define such function separately for each type which we should use it with (ex. separate function for int type, separate for double , separate for any other type). Thanks to template we can generate body of that function only once (as in point I) and use it to any type which is able to use body of that function. In our example we can use this template for an...
Post a Comment
Read more