C++中析构函数指针是否入栈？栈展开时析构函数调用机制解析

核心结论：栈展开时不是从栈中获取析构函数地址，而是依赖编译器预先生成的异常处理表和运行时库的清理逻辑来执行析构操作。

底层实现的关键细节： #

• 编译期预处理：当代码包含try块和栈上自动对象时，编译器会为每个try块生成一份异常处理元数据（异常表）。这份表会记录当前try块内所有需要在异常触发时析构的对象类型、它们在栈中的位置，以及对应的析构函数地址——这些信息都是编译阶段就确定好的，和栈上存储的对象实例数据是分离的。
• 栈展开的执行流程：
  1. 抛出异常后，C++运行时库会沿着调用栈向上遍历，逐个检查栈帧，寻找能匹配异常类型的catch块。
  2. 每遍历到一个包含try块的栈帧时，运行时库会查询该栈帧对应的异常处理表，获取当前栈帧中需要清理的对象列表。
  3. 按照对象构造的逆序调用这些对象的析构函数（比如你的示例中，mc2后构造，会先被析构，然后才是mc1）。
  4. 整个析构过程由运行时库的异常处理代码驱动，析构函数的地址是从编译期生成的异常表中读取的，而非从栈内存中直接获取——栈里只存放对象的成员数据，不会存储析构函数的地址。

对应你的示例代码： #

class MyClass1
{
public:
    MyClass1(){}
    ~MyClass1(){}
    
private:
    int num1 = 1;
    int num2 = 2;
};

class MyClass2
{
public:
    MyClass2(){}
    ~MyClass2(){}
    
private:
    int num1 = 3;
    int num2 = 4;
};

int main()
{
    try 
    {
        MyClass1 mc1;
        MyClass2 mc2;

        throw 505; // 触发栈展开，先调用~MyClass2()，再调用~MyClass1()
    }
    catch (int myNum) 
    {
    }
}

内容的提问来源于stack exchange，提问作者Engineer999