C/C++编程：不要在析构中抛出异常

向右看齐 2023-01-19 09:53 6阅读 0赞

# 原因 #

C++并不禁止析构函数吐出异常，但是不鼓励这样做。这是有理由的。看个例子：

class Widget{
        
    public:
    	//...
    	~Widget(){
        ..}; //假设这里会抛出一个异常
    };
    
    void doSomething(){
        
    	std::vector<Widget> v;
    } // v在这里被自动销毁

当v被销毁时，它有责任销毁其内含的所有异常。假设v有十个Widget，而在析构第一个元素的时候，有异常被抛出。其他九个Widget还是应该被销毁(否则它们保持的任何资源都会发生泄漏)，因此v应该调用它们各个析构函数。但假设在那些调用期间，第二个Widget析构函数又抛出异常。现在有两个同时作用的异常，这对C++而言太多了。在两个异常同时存在的情况下，程序如果不是结束执行就是导致不明确行为。本例中它会导致不明确行为。只要析构函数吐出异常，即使并非使用容器或者array，程序也可能过早结束或者出现不明确行为。

这很容易理解，但如果你的析构函数必须执行一个动作，而该动作可能会抛出一个一次，该怎么办？举个例子，假设你使用一个类负责数据库连接：

class DBConnection{
        
    public:
    	static DBConnection create(); // 创建连接
    	void close();                 // 关闭连接，失败时抛出异常
    	//...
    };

为了确保客户不忘记DBConnection 对象身上调用close，一个常用的方法是用来管理DBConnection资源的类，并在其析构函数中调用close：

class DBConn{
          // 这个类用来管理DBConnection 对象
    public:
    	~DBConn{
           // 确保数据库连接总是会关闭
    		db.close();
    	}
    private:
    	DBConnection  db;
    }

从而，客户应该这样写：

{
        		// 开启一个区块
    	DBConn dbc(DBConnection::create()); // 建立DBConnection 对象并交给DBConn对象以便管理
    	//... 通过DBConn接口使用DBConnection 对象
    }  // 在区块结束点，DBConn对象被销毁，因而自动为DBConnection 对象调用close

只要close()成功，ok。但如果该调用异常，DBConn析构函数就会抛出异常。这会很麻烦

有两个方法可以避免这一问题。

*  如果close抛出异常就结束程序。通常通过调用abort完成（abort可以阻止异常从析构函数中抛出）

DBConn::~DBConn(){
        
    	try{
        db.close();}
    	catch(...){
        
    		// 制作运转记录，记下对close的调用失败
    		std::abort();
    	}
    }

*  吞下因调用close而发生的异常（这个是坏主意，因为它压制了"某些动作失败"的重要信息）

DBConn::~DBConn(){
        
    	try{
        db.close();}
    	catch(...){
        
    		// 制作运转记录，记下对close的调用失败
    	}
    }

这两个方法都有缺点：它们都无法对"导致close抛出异常"的情况做出反应

一个较佳策略是重新设计DBConn接口，使客户有机会对可能出现的问题做出反应。比如DBConn自己可以提供一个close函数，因而赋予客户一个机会得以处理"因该操作而发生的异常"。DBConn也可以追踪其所管理的DBConnection是否已经被关闭，并在答案为否的情况下由其析构函数关闭之。这可防止遗失数据库连接。然而如果DBConnection析构函数调用失败，我能又将退回"强迫结束程序"或"吞下异常"的老路

class DBConn(){
        
    public:
    	void close(){
          // 供客户使用的新函数
    		db.close();
    		closed = true;
    	}
    	~DBConn(){
        
    		if(!closed){
        
    			try{
        
    				db.close();
    			}catch(...){
        
    				// 忽视或者结束程序
    			}
    		}
    	}
    }

总之，**如果某个操作可能在失败时抛出异常，而又存在某种需要必须处理该异常，那么这个异常必须来自析构函数之外的某个函数**。因为析构函数抛出异常是危险的，总会带来"过早结束程序"或者"发生不明确行为"的风险

# 总结 #

*  析构函数绝对不要抛出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们(不传播)或者结束程序
 *  如果客户需要对某个操作函数运行期抛出的异常做出反应，那么类应该提供一个普通函数(而非析构函数)指向该操作。