Linux 下 C++ 异常处理技巧 处理固有语言局限性的四种技术

 Sachin O. Agrawal (), 高级软件工程师, IBM Software Labs, India

处理 C++ 中的异常会在语言级别上遇到少许隐含限制，但在某些情况下，您可以绕过它们。学习各种利用异常的方法，您就可以生产更可靠的应用程序。

在 C++中，无论何时在处理程序内捕获一个异常，关于该异常来源的信息都是不为人知的。异常的具体来源可以提供许多更好地处理该异常的重要信息，或者提供一些可以附加到错误日志的信息，以便以后进行分析。

为了解决这一问题，可以在抛出异常语句期间，在异常对象的构造函数中生成一个堆栈跟踪。ExceptionTracer 是示范这种行为的一个类。

				
 // Sample Program:
 // Compiler: gcc 3.2.3 20030502
 // Linux: Red Hat
 #include 
 #include 
 #include 
 #include 
 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 类得到了展示。

				
 template  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 g_objSegmentationFaultTranslator;
 // An example for SIGFPE
 class FloatingPointException : public ExceptionTracer, public exception
 {
 public:
     static int GetSignalNumber() {return SIGFPE;}
 };
 SignalTranslator g_objFloatingPointExceptionTranslator;

回页首

在 全局（静态全局）变量的构造和析构期间，每个 ANSI C++ 都捕获到异常是不可能的。因此，ANSI C++ 不建议在那些其实例可能被定义为全局实例（静态全局实例）的类的构造函数和析构函数中抛出异常。换一种说法就是永远都不要为那些其构造函数和析构函数可能 抛出异常的类定义全局（静态全局）实例。不过，如果假定有一个特定编译器和一个特定系统，那么可能可以这样做，幸运的是，对于 Linux 上的 GCC，恰好是这种情况。

使用 ExceptionHandler 类可以展示这一点，该类也采用了 singleton 设计模式。其构造函数注册了一个未捕获的处理程序。因为每次只能有一个未捕获的处理程序处理一个活动进程，构造函数应该只被调用一次，因此要采用 singleton 模式。应该在定义有问题的实际全局（静态全局）变量之前定义 ExceptionHandler 的全局（静态全局）实例。

				
 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++ 异常。
• 捕获构造和/或析构全局变量期间抛出的异常。
• 多线程进程中的异常处理。

我希望您能采用这些技巧中的一些来开发无忧代码。

• 您可以参阅本文在 developerWorks 全球站点上的 英文原文。
  
  
• 关于 C++ 的一个经典著作是由 Bjarne Stroustrup 编写的 The C++ Programming Language （Addison-Wesley, 1997）。
  
  
• 了解 C++ 内部原理的一个好的资源是由 Stanley B. Lippman 编写的 Inside the C++ Object Model （Addison-Wesley, 1996）。
  
  
• 此外，不要忘记参阅个别函数的系统手册，比如 backtrace()、backtrace_symbols()、signal()、abort() 和 pthread_exit() 等。
  
  
• “编写出色的异常 ”（developerWorks, 2003 年 5 月）提供了一些关于抛出和捕获异常以及改善异常处理灵敏度的一些实际建议。
  
  
• Java™ 编程人员可能有兴趣阅读“EJB 异常处理的最佳做法”（developerWorks, 2002 年 5 月），这篇文章举例说明了一些加快问题解决的技巧。
  
  
• 在 developerWorks Linux 专区 可以找到更多为 Linux 开发人员准备的参考资料。
  
  
• 通过参与 developerWorks blogs 加入 developerWorks 社区。
  
  
• 购买 Developer Bookstore 的 Linux 专区中 打折出售的 Linux 书籍。
  
  
• Order the no-charge SEK for Linux 是一个两碟装的软件集，它包含来自 DB2®、Lotus®、Rational®、Tivoli® 和 WebSphere® 的用于 Linux 的最新 IBM 试用软件。
  
  
• 利用 IBM 试用软件 对下一个 Linux 开发项目进行改进，这些软件可以直接从 developerWorks 下载获得。
  

		Sachin 六年来一直在从事 C++ 各方面的工作，包括为期三年的对各种编译器的 C++ 对象模型的研究。目前，他在 IBM Global Services India 工作。您可以通过 与他联系。