使用AddressSanitizer调试内存错误：异常释放栈追踪疑问

析构函数由libc调用的含义 #

C中类的静态成员变量属于全局存储范畴，生命周期从进程启动时初始化开始，到进程退出阶段由C运行时库（libc）触发销毁。栈追踪里的#8指向libc代码，正是因为静态对象的销毁属于全局对象清理流程的一部分，由libc的退出处理逻辑负责调用析构函数，这是完全符合C标准的正常行为，并非异常。

错误确实发生在进程终止阶段 #

被释放的std::map是类的静态成员，它的析构时机是进程终止阶段——也就是main()函数返回后，libc执行全局/静态对象销毁的过程中。此时出现read-after-free错误，说明在静态map已经被销毁后，仍有代码在尝试读取它的内存空间。

定位问题的具体步骤 #

• 聚焦读取操作的栈追踪：你提到读取操作的栈追踪清晰，先从这里入手，找到触发读取的线程和函数。需要注意的是，进程终止阶段可能还有后台线程在运行，这类线程如果未被正确终止，就会访问已开始销毁的静态对象。
• 检查线程退出逻辑：确认所有后台线程是否在main()函数退出前已经通过join()或其他方式被正确终止。如果有线程在全局对象销毁阶段仍在运行，大概率会触发这类内存错误。
• 启用ASAN的线程检测：在编译时添加-fsanitize=address,thread选项，结合线程 sanitizer 可以更清晰地看到线程的运行状态，确认是否存在未终止的线程访问已销毁对象。
• 标记静态对象的销毁时机：给包含静态map的类添加构造/析构日志，或者给map套一个简单的包装类，在构造和析构时打印时间戳及相关信息，和读取操作的时间点对比，明确时序冲突。
• 排查atexit()注册的函数：如果代码中使用atexit()注册了清理函数，这些函数的执行顺序可能和静态对象销毁顺序存在冲突，检查这些函数是否访问了已销毁的静态map。

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