Exception Handling
This page is under construction. Please come back later.
Many functions take in arguments, do a computation and return a result without any diffuculties. But some functions may run into problems that need to be reported to the calling code. Problems can be found in the arguments being passed, with system resources that are not available or with computations that just can't be performed. Returning an error code through the formal return value of a function is one technique but it requires the calling code to check the result of a function to see if the error code was returned. Often this step is omitted resulting in bad values being propogated through the code. A better approach is to have the function throw an exception. An exception is just an object that is returned through the alternate exceptional return mechanism instead of the normal return mechanism. In the following example the stoi()
and stof()
functions could fail if the string passed can't be converted to a number. In the case of stoi()
this function returns numbers across the whole range of integers so there is no value that can be returned to indicate an error that is not also a valid integer. This is why these two functions return a value if they can and if they can not, they throw an exception.
Because the code below doesn't check for execptions being thrown, it will simply quit and print an error message detailing the exception thrown if bad input is passed to either of the two functions.
#include <fmt/format.h> #include <iostream> #include <string> using namespace std; int main(int argc, char **argv) { int i; double d; i = stoi(string(argv[1])); d = stod(string(argv[2])); cout << fmt::format("i + d = {0:f}", i + d) << endl; return 0; }
Output
In the example below we add exception handling code around each of the two functions that can throw.
This is done useing a try
/catch
construct. The try
block wraps the code that might throw an exception.
Following the try
block is a catch
block that contains the error handling code that is only executed if an exception is thrown in the preceding try
block. When an exception is thrown, the try
block is terminated immediately and control passes to the catch
block. If no exception is thrown, all the code in the try
block is executed and the catch
block is skipped. The example below illustrates what will happen with good input and some bad input.
#include <fmt/format.h> #include <iostream> #include <string> using namespace std; int main(int argc, char **argv) { int i = 0; double d = 0; try { i = stoi(string(argv[1])); } catch (exception ex) { cout << "Can't convert to integer!" << endl; exit(1); } try { d = stod(string(argv[2])); } catch (exception ex) { cout << "Can't convert to floating point!" << endl; exit(1); } cout << fmt::format("i + d = {0:f}", i + d) << endl; return 0; }
Output
As this code illustrates, exception handling allows use to possibly recover from an error or at a minimum, present a more meaningful error message to the user and then terminate the program in an orderly fashion.
The example above illustrates one way to deal with exceptions, namely providing a try
/catch
construct to wrap each and every function that might throw. While this a very fine-grained approach that gives us lots of control, it can become tedious if many functions that can throw are being used. Another approach is presented below whereby all the core logic of our main code is wrapped in a single try
/catch
. If any of the functions in main throw an exception it will cause control flow to immediately jump into the catch handler. This approach requires less exception handling code but sometimes prevents us from knowing exactly which function had a problem that required it to throw an exception.
#include <fmt/format.h> #include <iostream> #include <string> using namespace std; int main(int argc, char **argv) { int i = 0; double d = 0; try { i = stoi(string(argv[1])); d = stod(string(argv[2])); cout << fmt::format("i + d = {0:f}", i + d) << endl; } catch (exception ex) { cout << "Can't convert command line argument!" << endl; } return 0; }
Output
#include <fmt/format.h> #include <iostream> #include <string> using namespace std; int main(int argc, char **argv) { int i = 0; double d = 0; try { i = stoi(string(argv[1])); d = stod(string(argv[2])); cout << fmt::format("i + d = {0:f}", i + d) << endl; } catch (invalid_argument ex) { cout << "Can't convert command line argument!" << endl; } catch (exception ex) { cout << "Don't know what went wrong!" << endl; } return 0; }
Output
#include <fmt/format.h> #include <iostream> #include <string> using namespace std; int main(int argc, char **argv) { int i = 0; double d = 0; try { i = stoi(string(argv[1])); d = stod(string(argv[2])); cout << fmt::format("i + d = {0:f}", i + d) << endl; } catch (invalid_argument ex) { cout << "Can't convert command line argument!" << endl; } catch (exception ex) { cout << "Don't know what went wrong!" << endl; } // C++ doesn't support true finally blocks { cout << "This statement always executes." << endl; } return 0; }
Output
Questions
- {{Who's on first?}}
- {{Who's on second?}}
- {{Who's on third?}}
Projects
More ★'s indicate higher difficulty level.
References
-
[[C++ Programming Language]], 4th Edition, Bjarne Stroustrup, Addison-Wesley, 2013, ISBN 978-0321563842.
- [[C++ Language Reference]]
- [[cplusplus.com]]
- [[Cprogramming.com]]