L3_ExceptionsTemplates

8
Exception Handling
Use C++ Exceptions!! Give the function caller a choice on how (or if) they want to handle an error
– Don't assume you know what the caller wants
© Copyright 2013 Brent Nash & Mark Redekopp, All Rights Reserved
6
What Should I do?
There's something wrong with all those options...
– You should always notify the caller something happened. Silence is not an option. – What if something goes wrong in a Constructor?
© Copyright 2013 Brent Nash & Mark Redekopp, All Rights Reserved
Which portion of the if statement is for error handling vs. actual follow-on operations to be performed.
At() Error
What if I try to get an item at an invalid location
#include "bsa_list_int.h" int BSAListInt::at(int loc) { // Invalid location if(loc >= size_){ // What should I do?
9
The "throw" Statement
Used when code has encountered a problem, but the current code can't handle that problem itself 'throw' interrupts the normal flow of execution and can return a value
} for(int i=size_; i > loc; i--){ data_[i] = data_[i-1]; } data_[loc] = val; size_++; }
bsa_list_int.cpp
3
© Copyright 2013 Brent Nash & Mark Redekopp, All Rights Reserved
insert(7, 99);
0 1 2 3 4 5 6 7
30 51 52 53 54 10
We can hijack the return value and return an error code. But how does the client know what those codes mean? What if I change those codes?
try { divide(numerator,denominator);
}
catch(int badValue){ cerr << “Can't use value “ << badValue << endl; //do other stuff }
© Copyright 2013 Brent Nash & Mark Redekopp, All Rights Reserved
bsa_list_int.cpp
4
© Copyright 2013 Brent Nash & Mark Redekopp, All Rights Reserved
EXCEPTIONS
© Copyright 2013 Brent Nash & Mark Redekopp, All Rights Reserved
} return data_[loc]; }
at(7);
0 1 2 3 4 5 6 7
30 51 52 53 54 10
I can't use the return value, since it's already being used. Could provide another reference parameter, but that's clunky. int at(int loc, int &error);
Decouple and CLEARLY separate the exception processing logic from the normal control flow of the code They make for much cleaner code (usually)
// try function call int retVal = doit(); if(retVal == 0){ } else if(retVal < 0){ } else { }
5
Exception Handling
When something goes wrong in one of your functions, how should you notify the function caller? – Return a special value from the function? – Return a bool indicating success/failure? – Set a global variable? – Print out an error message? – Print an error and exit the program? – Set a failure flag somewhere (like “cin” does)? – Handle the problem and just don't tell the caller?
#ifndef LIST_INT_H #define LIST_INT_H const int MAX_LIST_SIZE = 100; class ListInt { public: ListInt(); ~ListInt(); void push_back(int val); void insert(int loc, int val); bool remove(int val); int pop(int loc); int at(int loc) const; bool empty() const; int size() const; void clear(); int find(int val) const; }; #endif
CSCI 102 Exceptions & Templates
Mark Redekopp Michael Crowley
Recall
Remember the List ADT Now consider error conditions
– What member functions could cause an error? – How do I communicate the error to the user?
– Like 'return' but special – If nothing in the caller deals with it, the program will terminate – Gives the caller the opportunity to catch and handle it
list_int.h
© Copyright 2013 Brent Nash & Mark Redekopp, All Rights Reserved
2
Insert() Error
What if I insert to a non-existent location
#include "bsa_list_int.h" void BSAListInt::insert(int loc, int val) { // Static List is full if(size_ == MAX_LIST_SIZE){ // What should I do? } // Invalid location if(loc > size_){ // What should I do?
• You don't have a return value available
Байду номын сангаас
– What if the function where the error happens isn't equipped to handle the error
All these strategies are passive. They require the caller to actively check if something went wrong. You shouldn't necessarily handle the error yourself…the caller may want to deal with it?
#include <cassert> int divide(int num, int denom)
{
assert(denom != 0); return(num/denom); }