能，但必须通过 std::atexit 或 std::at_quick_exit 注册函数；main 返回后直接写代码会先于静态对象析构和 atexit 回调执行，且标准禁止在全局对象析构后调用 std::exit 或插入逻辑。
main 返回后还能执行代码吗
能，但必须靠 std::atexit 或 std::at_quick_exit 注册函数——C++ 标准明确禁止在 main 函数作用域外（比如全局对象析构之后）再调用 std::exit 或从 main return 之后插入任意逻辑。直接写在 main 结尾的代码一定会先于静态对象析构、也先于 atexit 回调执行。
用 std::atexit 注册清理函数的正确姿势
std::atexit 是最常用且标准的方式，注册的函数会在 main 正常返回或调用 std::exit 后、所有具有静态存储期的对象析构**之前**被逆序调用（即后注册的先执行）。注意：它不处理异常终止（如 std::abort）。
- 函数签名必须是
void(void)，不能带参数，也不能有返回值 - 同一个函数多次注册，会多次调用；注册顺序影响执行顺序，建议用变量捕获状态而非依赖调用次序
- 不能在
atexit回调里再调用std::atexit（行为未定义） - 若清理逻辑涉及全局对象（如
std::cout），要确保该对象尚未析构——通常安全，因为atexit函数在静态对象析构前运行
#include <iostream>
#include <cstdlib>
void cleanup1() { std::cout << "cleanup1\n"; }
void cleanup2() { std::cout << "cleanup2\n"; }
int main() {
std::atexit(cleanup1);
std::atexit(cleanup2); // 这个先执行
}
输出为：
cleanup2 cleanup1
为什么不用全局对象析构做清理
全局或静态局部对象的析构函数看似“自动”，但执行时机不可控：它们在 atexit 回调之后运行，且顺序与构造顺序相反，跨编译单元时顺序未定义。更麻烦的是，若清理需访问已被析构的其他全局对象（比如某日志类依赖已销毁的 std::ofstream），就会触发未定义行为。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 析构函数无法传递上下文（比如错误码、资源句柄），而
atexit可结合静态变量或 lambda 捕获（C++11 起支持带捕获的 lambda，但需转成函数指针——实际得用静态变量存状态） - 某些嵌入式或裸机环境不保证静态析构被调用，但
atexit至少在有完整 C 运行时的系统中更可靠 - 若程序中途调用
std::abort()，析构函数和atexit都不会执行；此时只能靠信号处理（signal+write系统调用）做最低限度的落盘
常见陷阱：lambda、this 指针、线程与 static 局部变量
别把带捕获的 lambda 直接传给 std::atexit——它只接受普通函数指针，捕获 lambda 不可隐式转换。想用 lambda，得借助静态变量暂存状态，或改用函数对象加静态实例。
- 在类成员函数里注册
this相关清理？危险。若对象是栈上或局部静态，main返回时它可能已被销毁，回调里访问this就是野指针 - 多线程环境下注册
atexit是安全的，但回调本身不是线程安全的——所有atexit函数都在主线程同步执行，别在其中做阻塞或并发操作 - static 局部变量的初始化是线程安全的（C++11），但其析构仍受前述顺序问题困扰；不如把清理逻辑全收进一个显式注册的
atexit函数里，用静态变量管理状态
真正容易被忽略的一点：atexit 注册表大小有限（POSIX 要求至少支持 32 个，glibc 默认 32，可调但非无限），高频注册（比如循环里）会导致 std::atexit 返回非零值，应检查返回值并作降级处理。
