堆栈展开失败的原因

Posted 2023-02-22

技术标签:

【中文标题】堆栈展开失败的原因【英文标题】：Reasons for stack unwinding fail 【发布时间】：2009-03-05 19:28:29 【问题描述】：

我在调试一个应用程序时遇到了以下代码：

int Func()


 try 
 

   CSingleLock aLock(&m_CriticalSection, TRUE);
   
     //user code
   
 
 catch(...)
 
     //exception handling
 
 return -1;

m_CriticalSection 是 CCrialSection。

我发现用户代码抛出了一个异常，使得 m_CriticalSection 根本没有被释放。这意味着由于某些原因堆栈已损坏，因此展开失败。

我的问题是： 1) 在哪些不同情况下堆栈展开可能会失败？

2) 有哪些不同的异常可能引发堆栈展开失败。

3) 我可以通过将 CSingleLock 放在 try 块之外来解决这个问题吗？

谢谢，

【问题讨论】：

如果你提到抛出了什么样的异常，如果它实际上在 catch(...) 处被捕获，将会有所帮助。为什么不在用户代码周围放置 try ... catch 块呢？ 【参考方案1】：

您是否遇到程序异常终止？

我相信你的CCriticalSection 对象将被释放CSingleLock 的析构函数。析构函数总是会被调用，因为这是堆栈上的一个对象。当用户代码抛出时，throw 和函数中的 catch 之间的所有堆栈都将被解除。

但是，您的用户代码中的某些其他对象甚至CSingleLock 析构函数可能在此期间引发了另一个异常。在这种情况下，m_CriticalSection 对象将无法正确释放，std::terminate 会被调用并且您的程序会终止。

这里有一些示例来演示。注意：我正在使用std::terminate 处理函数来通知我状态。您还可以使用std::uncaught_exception 查看是否有任何未捕获的异常。在 here 上有一个很好的讨论和示例代码。

struct S 
    S()  std::cout << __FUNCTION__ << std::endl; 
    ~S()  throw __FUNCTION__; std::cout << __FUNCTION__ << std::endl;  
;

void func() 
    try 
        S s;
        
            throw 42;
        
     catch(int e)             
         std::cout << "Exception: " << e << std::endl; 
    


void rip() 
    std::cout << " help me, O mighty Lord!\n"; // pray


int main() 
    std::set_terminate(rip);
    try 
        func();
    
    catch(char *se) 
        std::cout << "Exception: " << se << std::endl;

请阅读 this 常见问题以了解清楚。