Обработка на изключения

Обработка на грешки
Как да се обработват (логически) грешки, възникващи във функция или клас?
Пример:
cout << future_value(1000, -100, -1);
** Не се проверяват условия за грешки и се изпълнява програмата. 
double future_value(double initial_balance, double p, int n)
{  return initial_balance * pow(1 + p / 100, n);
}
** Проверяват се условията за грешка, не се прави нищо в случай на грешка (връща се фалшива стойност).
double future_value(double initial_balance, double p, int n)
{  if (p < 0 || n < 0) return 0;
   return initial_balance * pow(1 + p / 100, n);
}
** Проверяват се условията за грешка, съобщава се за грешката и се спира изпълнението на програмата. 
double future_value(double initial_balance, double p, int n)
{  assert(p >= 0 && n >= 0);
   return initial_balance * pow(1 + p / 100, n);
}
Въникващи проблеми:
** Ако не се прави проверка за грешка, програмата е ненадеждна.
** Ако се върне фалшива стойност, програмата продължава да използва стойността - никой не знае каква е грешката.
** Много реални програми не могат да бъдат спирани като тези, които управляват ракета, самолет или медицинско устройство.
Изхвърляне на изключения
C++ има механизъм за уведомяване и обработка на изключения.
Когато дадена функция открие грешка, тя може да сигнализира за състояние (изхвърли изключение) към някоя друга част на програмата, чиято работа е да обработва грешки.  
double future_value(double initial_balance, double p, int n)
{  if (p < 0 || n < 0)
   {  logic_error description("illegal future_value parameter");
      throw description;
   }
   return initial_balance * pow(1 + p / 100, n);
}
Може да не се задава име на обекта за обработка на изключения:
double future_value(double initial_balance, double p, int n)
{ if (p < 0 || n < 0)
    throw logic_error("illegal future_value parameter");
 return initial_balance * pow(1 + p / 100, n);
}
Тук logic_error е стандартен клас за изключения, който е дефиниран в заглавния файл  <stdexcept>.
Ключовата дума throw показва, че изпълнението на функциятя спира незабавно, но управлението не се връща на извикващата функция, а се търси частта от програмата за обработка на изключения.
Прихващане на изключения
try
{
   // code
}
catch (logic_error& e)
{
   // handler
}
Ако някоя от функциите в блока try изхвърли изключение logic_error, или вика друга функция, която изхвърля такова изключение, блокът на catch(logic_error) се изпълнява веднага.
while (more)
{  try 
   {
      // code
   }
   catch (logic_error& e)
   {  cout << "A logic error has occurred "
           << e.what() << "\n";
      ........
   }
}
Член-функцията what от класа logic_error връща низа, който е зададен като параметър при конструиране на обекта в оператора throw.

try
{
 statements 
}
catch (type_name1 variable_name1)
{
 statements
}
catch (type_name2 variable_name2)
{
 statements
}
...
catch (type_namen variable_namen)
{
 statements
}
Пример: 
try
{
 double fvalue = future_value(init, interest, years); 
 cout << "The future value is " << fvalue << endl;
}
catch(logic_error& e)
{
 cout << "Processing error " << e.what() << "\n";
}
 

 //exception1.cpp
 #include <iostream>
 #include <stdexcept>
 #include <cmath>
 using namespace std;

 double future_value(double initial_balance, double p, int n)
{  if (p < 0 || n < 0)
   {  logic_error description("illegal future_value parameter");
      throw description;
   }
   return initial_balance * pow(1 + p / 100, n);
}

 int main()
 {  bool more = true;
    while (more)
    {  double init, interest;
       int years;
       cout << "Enter initial value, interest and years: ";
       cin >> init >> interest >> years;
    
       try 
       {  double fvalue = future_value(init, interest, years); 
          cout << "The future value is " << fvalue << endl;  
       }
       catch (logic_error& e)
       {  cout << "A logic error has occurred "
               << e.what() << "\n";
       }       
       cout << "Retry? (y/n)";
       char input;
       cin >> input;
       if (input == 'n') more = false;
    } 
 return 0;
 }
Добре е всяко изключение да се дефинира като отделен клас.
Пример:
class FutureValueError : public logic_error {
public:
   FutureValueError(const char reason[]);
};

FutureValueError::FutureValueError(const char reason[])
   : logic_error(reason){}
и функцията future_value може да изхвърли FutureValueError  обект:
if (p < 0 || n < 0)
   throw FutureValueError("illegal parameter");
Тъй като FutureValueError  е  logic_error, то това изключение може да се прихване от catch(logic_error& e).
Разбира се, може да построим и специално за него catch блок:
try
{
   // code
}
catch (FutureValueError& e)
{
   // handler1
} 
catch (logic_error& e)
{
   // handler2
}
В този случай ще се изпълни само първия catch блок.
// exception2.cpp
#include <iostream>
#include <stdexcept>
#include <cmath>
using namespace std;
 
class FutureValueError : public logic_error {
public:
   FutureValueError(const char reason[]);
};

FutureValueError::FutureValueError(const char reason[])
   : logic_error(reason){}

double future_value(double initial_balance, double p, int n)
{  if (p < 0 || n < 0)
     throw FutureValueError("illegal future_value parameter");
   return initial_balance * pow(1 + p / 100, n);
}

void read(double& init, double& interest, int& years)
{  cout << "Enter initial value, interest and years: ";
   cin >> init >> interest >> years;
   if (years > 100) throw logic_error("too many years!");
   cout << init << " " << interest << " " << years << endl;
}

int main()
{  bool more = true;
   while (more)
    {  double init, interest;
       int years;
       try
       {  read(init, interest, years);
          double fvalue = future_value(init, interest, years); 
          cout << "The future value is " << fvalue << endl;  
       }
       /**/
       catch (FutureValueError& e)
       {  cout << "A FutureValueError has occurred: "
               << e.what() << "\n";
       } 
       /**/      
       catch (logic_error& e)
       {  cout << "A logic error has occurred: "
               << e.what() << "\n";
       }       
       cout << "Retry? (y/n)";
       char input;
       cin >> input;
       if (input == 'n') more = false;
    } 
    return 0;
 }
Развиване на стека
Често механизмът за обработка на изключения се прилага при вход на данни.
Пример (виж product2.cpp).
bool Product::read(fstream& fs)
{  getline(fs, name);
   if (name == "") return false; // end of file
   fs >> price >> score;
   if (fs.fail())
      throw runtime_error("Error while reading product");
   string remainder;
   getline(fs, remainder);
   return true;
}
Когато възникне логическа грешка, никога няма смисъл да се повтори същата операция, но при runtime_error има шанс да се повтори операцията и грешката да се избегне.
Има съществена разлика при обработката на край на файла и грешка при входа.

Йерархията на стандартните класове за обработка на изключения е следната:


Нека имаме следната функция (виж bestval2.cpp):
void process_products(fstream& fs)
{  vector<Product> products;
   bool more = true;
   while (more)
   {  Product p;
      if (p.read(fs)) products.push_back(p);
      else more = false;
   }
   // do something with products
}
Когато функцията read изхвърли изключение, функцията process_products прекъсва и механизмът за обработка на изключения търси подходящ catch блок. При прекъсването се изпълняват всички деструктори на локалните обекти.
В случая обектът  products (от класа  vector) ще бъде унищожен.
Когато имаме указатели, трябва да се погрижим за унищожаването на обектите в динамичната памет.
Пример:
Product* p = new Product();
if (p->read())
{
   ...
}
delete p; // never executes if read throws an exception
генерира "memory leak", ако функцията read изхвърли изключение (виж product1.cpp).
В такъв случай може да се използва следната конструкция:
Product* p = NULL;
try
{  p = new Product();
   if (p->read())
   {
      ...
   }
   delete p;
}
catch(...)
{  delete p;
   throw;
}
Блокът catch(...) обработва всяко изключение, а операторът throw  без обект изпраща изключението да се обработва от друг catch блок.
// product2.cpp
#include <iostream>
#include <fstream>
#include <stdexcept>
#include <vector>
using namespace std;
 
class Product {
   public:
       Product();
       bool read(istream& fs);
       void print() const; 
   private:
       string name;
       double price;
       int score;
};    

Product::Product()
{ price = 0;
  score = 0;                
}

bool Product::read(istream& fs)
{  cout << "Product: ";
   getline(fs, name);
   if (name == "") return false; // end of file
   fs >> price >> score;
   if (fs.fail())
      throw runtime_error("Error while reading product");
   string remainder;
   getline(fs, remainder);   
   return true;
}

void Product::print() const
{ cout << name << " " << price << " " << score << endl;
} 
  
void process_products(istream& fs)
{  vector<Product*> products;
   bool more = true;
   while (more)
   {  Product* p = new Product;
      try
      {  if (p->read(fs)) products.push_back(p);
         else more = false;
      }   
      catch(runtime_error& r)  // runtime_error& r)
      {  cout << "1. " << r.what() << endl;
         for (int i = 0; i < products.size(); i++)
                                delete products[i];
         throw;                                                                     
      }                     
    }     
   /* processing products */       
   
   cout << "Print:" << endl;
   for (int i = 0; i < products.size(); i++)
   {  products[i]->print();
      delete products[i];
   }      
}

 int main()
 {  try
    {  process_products(cin);
    }
    catch(runtime_error& r)  // runtime_error& r)
    { cout << "2. " << r.what() << endl;                
    }                        
   
    return 0;
 }
Спецификации на изключенията

При дефинирането на функция, можем да определим кои изключения може да изхвърля тази функция.
Например:
void process_products(fstream& fs)
     throw (UnexpectedEndOfFile, bad_alloc)
означава, че само зададените две изключения са позволени на тази функция. 
void process_products(fstream& fs)
     throw ()
задава забрана за всички изключения, а липса на throw означава разрешение за изключения от всеки тип.