C++程序的異常處理技巧

  處理 C++ 中的異常會在語言級別上碰到少許隱含限制,但在某些情況下,您可以繞過它們。學習各種利用異常的方法,您就可以生産更可靠的應用程序。
  保留異常來源信息
  在C++中,無論何時在處理程序內捕捉一個異常,關于該異常來源的信息都是不爲人知的。異常的具體來源可以提供許多更好地處理該異常的重要信息,或者提供一些可以附加到錯誤日志的信息,以便以後進行分析。
  爲了解決這一問題,可以在抛出異常語句期間,在異常對象的構造函數中生成一個堆棧跟蹤。ExceptionTracer是示範這種行爲的一個類。
  清單 1. 在異常對象構造函數中生成一個堆棧跟蹤
  // Sample Program:
  // Compiler: gcc 3.2.3 20030502
  // Linux: Red Hat
  #include <execinfo.h>
  #include <signal.h>
  #include <exception>
  #include <iostream>
  using namespace std;
  /////////////////////////////////////////////
  class ExceptionTracer
  {
  public:
  ExceptionTracer()
  {
  void * array[25];
  int nSize = backtrace(array, 25);
  char ** symbols = backtrace_symbols(array, nSize);
  for (int i = 0; i < nSize; i++)
  {
  cout << symbols[i] << endl;
  }
  free(symbols);
  }
  };
  治理信號
  每當進程執行一個令人討厭的動作,以致于 Linux? 內核發出一個信號時,該信號都必須被處理。信號處理程序通常會釋放一些重要資源並終止應用程序。在這種情況下,堆棧上的所有對象實例都處于未破壞狀態。另一方面,假如這些信號被轉換成C++ 異常,那麽您可以優雅地調用其構造函數,並安排多層 catch 塊,以便更好地處理這些信號。
  清單 2 中定義的 SignalExceptionClass,提供了表示內核可能發出信號的 C++ 異常的抽象。SignalTranslator 是一個基于 SignalExceptionClass 的模板類,它通常用來實現到 C++ 異常的轉換。在任何瞬間,只能有一個信號處理程序處理一個活動進程的一個信號。因此,SignalTranslator 采用了 singleton 設計模式。整體概念通過用于 SIGSEGV 的 SegmentationFault 類和用于 SIGFPE 的FloatingPointException 類得到了展示。
  清單 2. 將信號轉換成異常
  template <class SignalExceptionClass> class SignalTranslator
  {
  private:
  class SingleTonTranslator
  {
  public:
  SingleTonTranslator()
  {
  signal(SignalExceptionClass::GetSignalNumber(),
  SignalHandler);
  }
  static void SignalHandler(int)
  {
  throw SignalExceptionClass();
  }
  };
  public:
  SignalTranslator()
  {
  static SingleTonTranslator s_objTranslator;
  }
  };
  // An example for SIGSEGV
  class SegmentationFault : public ExceptionTracer, public
  exception
  {
  public:
  static int GetSignalNumber() {return SIGSEGV;}
  };
  SignalTranslator<SegmentationFault>
  g_objSegmentationFaultTranslator;
  // An example for SIGFPE
  class FloatingPointException : public ExceptionTracer, public
  exception
  {
  public:
  static int GetSignalNumber() {return SIGFPE;}
  };
  SignalTranslator<FloatingPointException>
  g_objFloatingPointExceptionTranslator;
   治理構造函數和析構函數中的異常
  在全局(靜態全局)變量的構造和析構期間,每個 ANSI C++ 都捕捉到異常是不可能的。因此,ANSI C++ 不建議在那些其實例可能被定義爲全局實例(靜態全局實例)的類的構造函數和析構函數中抛出異常。換一種說法就是永遠都不要爲那些其構造函數和析構函數可能抛出異常的類定義全局(靜態全局)實例。不過,假如假定有一個特定編譯器和一個特定系統,那麽可能可以這樣做,幸運的是,對于Linux 上的 GCC,恰好是這種情況。
  使用 ExceptionHandler 類可以展示這一點,該類也采用了 singleton 設計模式。其構造函數注冊了一個未捕捉的處理程序。因爲每次只能有一個未捕捉的處理程序處理一個活動進程,構造函數應該只被調用一次,因此要采用 singleton 模式。應該在定義有問題的實際全局(靜態全局)變量之前定義 ExceptionHandler 的全局(靜態全局)實例。
  清單 3. 處理構造函數中的異常
  class ExceptionHandler
  
  
  {
  private:
  class SingleTonHandler
  {
  public:
  SingleTonHandler()
  {
  set_terminate(Handler);
  }
  static void Handler()
  {
  // Exception from constrUCtion/destruction of global variables try
  {
  // re-throw throw;
  }
  catch (SegmentationFault &)
  {
  cout << 「SegmentationFault」 << endl;
  }
  catch (FloatingPointException &)
  {
  cout << 「FloatingPointException」 << endl;
  }
  catch (...)
  {
  cout << 「Unknown Exception」 << endl;
  }
  //if this is a thread performing some core activity
  abort();
  // else if this is a thread used to service requests
  // pthread_exit();
  }
  };
  public:
  ExceptionHandler()
  {
  static SingleTonHandler s_objHandler;
  }
  };
  //////////////////////////////////////////////////////////////////////////
  class A
  {
  public:
  A()
  {
  //int i = 0, j = 1/i;
  *(int *)0 = 0;
  }
  };
  // Before defining any global variable, we define a dummy instance
  // of ExceptionHandler object to make sure that
  // ExceptionHandler::SingleTonHandler::SingleTonHandler() is
  invoked
  ExceptionHandler g_objExceptionHandler;
  A g_a;
  //////////////////////////////////////////////////////////////////////////
  int main(int argc, char* argv[])
  {
  return 0;
  }
   處理多線程程序中的異常
  有時一些異常沒有被捕捉,這將造成進程異常中止。不過很多時候,進程包含多個線程,其中少數線程執行核心應用程序邏輯,同時,其余線程爲外部請求提供服務。假如服務線程因編程錯誤而沒有處理某個異常,則會造成整個應用程序崩潰。這一點可能是不受人們歡迎的,因爲它會通過向應用程序傳送不合法的請求而助長拒絕服務攻擊。爲了避免這一點,未捕捉處理程序可以決定是請求異常中止調用,還是請求線程退出調用。清單3 中 ExceptionHandler::SingleTonHandler::Handler() 函數的末尾處展示了該處理程序。
  結束語
  我簡單地討論了少許 C++ 編程設計模式,以便更好地執行以下任務:
  ·在抛出異常的時候追蹤異常的來源。
  ·將信號從內核程序轉換成 C++ 異常。
  ·捕捉構造和/或析構全局變量期間抛出的異常。
  ·多線程進程中的異常處理。