C++中对象的析构顺序和栈展开机制紧密相关，栈展开是异常处理过程中的核心环节，而析构顺序则是栈展开阶段执行资源释放的关键规则，两者共同保障了异常发生时已创建栈对象的资源能被正确回收。
C++栈对象的析构顺序基本规则
在C++中，栈上创建的对象遵循后进先出的析构顺序，也就是对象的析构顺序和其构造顺序完全相反。这个规则在普通函数执行结束、作用域退出时都会生效，当函数执行到return语句或者离开当前作用域时，该作用域内所有已构造完成的栈对象会按照构造的逆序依次调用析构函数。
我们可以通过一段简单的代码验证这个规则：
#include <iostream>
using namespace std;
class TestObj {
public:
TestObj(int id) : objId(id) {
cout << "TestObj " << objId << " 构造完成" << endl;
}
~TestObj() {
cout << "TestObj " << objId << " 析构完成" << endl;
}
private:
int objId;
};
void func() {
TestObj obj1(1);
TestObj obj2(2);
TestObj obj3(3);
// 函数结束时，obj3先析构，然后obj2，最后obj1
}
int main() {
func();
return 0;
}
上述代码的运行结果会先输出三个对象的构造信息，然后按照3、2、1的顺序输出析构信息，完全符合后进先出的规则。
栈展开机制的触发与执行流程
栈展开是C++异常处理中，当抛出的异常没有被当前函数捕获时，系统自动执行的一系列操作。其触发条件是：程序执行到throw语句抛出异常，或者调用某个函数时该函数内部抛出了异常，且当前函数没有对应的catch块匹配该异常类型。
栈展开的具体执行流程如下：
- 首先暂停当前函数的执行，从抛出异常的位置开始，向上逐层回溯调用栈
- 对于每一层调用栈，系统会检查是否存在匹配的
catch块，如果不存在，就会销毁该层作用域内所有已构造完成的栈对象，销毁顺序遵循前面提到的后进先出规则 - 重复上述过程，直到找到匹配的
catch块，或者回溯到main函数都没有找到匹配的捕获块，此时程序会调用std::terminate终止运行
析构顺序与栈展开的配合实例
我们通过一个包含异常抛出的例子，来看析构顺序和栈展开如何配合工作：
#include <iostream>
using namespace std;
class ResourceObj {
public:
ResourceObj(const string& name) : resName(name) {
cout << resName << " 资源分配完成" << endl;
}
~ResourceObj() {
cout << resName << " 资源释放完成" << endl;
}
private:
string resName;
};
void innerFunc() {
ResourceObj res3("内层资源3");
// 抛出整型异常
throw 100;
// 以下代码不会执行
ResourceObj res4("内层资源4");
}
void outerFunc() {
ResourceObj res2("外层资源2");
innerFunc();
// 以下代码不会执行
ResourceObj res5("外层资源5");
}
int main() {
try {
ResourceObj res1("主函数资源1");
outerFunc();
// 以下代码不会执行
ResourceObj res6("主函数资源6");
} catch (int e) {
cout << "捕获到异常：" << e << endl;
}
return 0;
}
上述代码的执行过程如下：
- 主函数中构造
res1，然后调用outerFunc outerFunc中构造res2，然后调用innerFuncinnerFunc中构造res3，然后抛出整型异常100- 异常没有被
innerFunc捕获，触发栈展开：首先销毁innerFunc作用域的res3 - 回到
outerFunc，异常仍未被捕获，销毁outerFunc作用域的res2 - 回到
main函数，异常被catch块捕获，此时销毁main的try块作用域内的res1
最终输出的资源释放顺序会是res3、res2、res1，完全符合栈对象的逆序析构规则，所有已分配的资源都被正确释放，不会出现泄漏。
注意事项
需要注意的是，栈展开过程中只会销毁已经构造完成的栈对象，如果对象在构造过程中抛出异常，那么该对象的析构函数不会被调用，因为对象还没有完全构造完成。另外，如果析构函数本身抛出异常，在栈展开过程中会导致程序调用std::terminate，因此析构函数应该避免抛出异常，或者保证抛出的异常在析构函数内部被处理。
栈展开机制是C++ RAII（资源获取即初始化）技术能够生效的基础，正是因为栈展开时会按照逆序析构栈对象，我们才可以通过将资源绑定到栈对象的生命周期，实现异常场景下的自动资源释放。