将auto_ptr替换为unique_ptr后reset触发断言失败的解决方法

问题根源 #

std::auto_ptr 和 std::unique_ptr 的 reset() 执行时序存在本质差异：

• auto_ptr::reset() 先销毁当前指向的对象，再将内部指针置空，因此对象析构函数执行时，静态指针仍指向该对象，断言可通过。
• unique_ptr::reset() 先将内部指针置为新值（此处为 nullptr），再销毁旧对象，导致析构函数执行时，静态 ptr 已变为 nullptr，断言 A::ptr.get() == inst 必然失败。

正确处理方式 #

方案1：调整清理流程，将Reset逻辑移至reset()之前 #

把原本在析构函数中调用的 Reset(this) 提前到 ptr.reset() 执行前，确保调用 Reset 时静态指针仍指向当前实例：

void A::EndU() {
    if (A::ptr) {
        Reset(A::ptr.get()); // 此时ptr仍指向实例，断言成立
        A::ptr.reset();      // 再执行reset，析构函数无需再调用Reset
    }
}

// 修改析构函数，移除Reset调用
A::~A() {
    // 仅保留对象自身的清理逻辑，不再操作静态ptr或调用Reset
}

这种方式从根源上避免了析构时依赖静态指针状态的问题，逻辑更清晰安全。

方案2：修改断言逻辑，适配析构场景 #

如果无法重构原有流程，可以给类添加标记位，标识对象是否正在析构，在 Reset 中跳过不合理的断言：

class A {
private:
    bool is_destructing = false;
public:
    ~A() {
        is_destructing = true;
        Reset(this);
        // 其他析构逻辑
    }

    static void Reset(A* inst) {
        // 仅当对象未在析构时执行断言
        if (!inst->is_destructing) {
            fassert(A::ptr.get() == inst);
        }
        // 其他Reset逻辑
    }
};

这属于妥协方案，仅适用于无法大幅修改原有代码的场景。

关于指针类型与实践的疑问 #

1. 无需更换指针类型：unique_ptr 是C++标准推荐的独占所有权智能指针，比已废弃的 auto_ptr 更安全、行为更明确，问题出在原有代码依赖了 auto_ptr 的特殊时序，而非 unique_ptr 的缺陷。
2. 原做法属于不良实践：在析构函数中依赖全局/静态智能指针的状态本身存在风险——析构阶段是对象生命周期的末期，此时外部静态状态可能已被修改（比如本次的 reset() 提前置空指针），容易引发时序问题或未定义行为。更合理的设计是将与全局状态相关的清理逻辑放在对象销毁前主动调用，而非依赖析构函数被动触发。

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