如何在析构函数中识别右值引用对象并忽略销毁跟踪？

析构函数不能加右值引用限定符，这是C++标准明确禁止的。你遇到的问题核心是：被移动后的对象虽然是左值，但已经失去了资源所有权，它的析构不应该被计入销毁统计。解决办法是给测试类加一个状态标记，用来区分“有效对象”和“移后空对象”。

具体实现步骤 #

• 给测试类加一个布尔成员，比如is_moved_from，默认设为false，表示对象未被移动。
• 在移动构造和移动赋值运算符里，完成资源转移后，把源对象的is_moved_from设为true。
• 析构函数里先检查这个标记：如果是true，直接跳过销毁统计；否则执行正常的校验和计数。

示例代码 #

class TrackedObj {
private:
    bool is_moved_from = false;
    int* resource = nullptr; // 示例资源指针
    static size_t created;
    static size_t destroyed;

public:
    TrackedObj() : resource(new int(42)) {
        ++created;
    }

    // 移动构造
    TrackedObj(TrackedObj&& other) noexcept : resource(other.resource) {
        other.resource = nullptr;
        other.is_moved_from = true; // 标记源对象为已移动
    }

    // 移动赋值
    TrackedObj& operator=(TrackedObj&& other) noexcept {
        if (this != &other) {
            // 先清理当前对象的资源（如果未被移动）
            if (!is_moved_from) {
                delete resource;
                --destroyed; // 抵消后续析构的计数
            }
            // 转移资源
            resource = other.resource;
            other.resource = nullptr;
            other.is_moved_from = true;
            // 当前对象恢复为有效状态
            is_moved_from = false;
        }
        return *this;
    }

    ~TrackedObj() {
        if (is_moved_from) {
            return; // 移后对象，不统计销毁
        }
        delete resource;
        --destroyed;
        if (destroyed < 0) {
            throw std::runtime_error("重复销毁！");
        }
    }

    // 静态方法获取统计
    static void print_stats() {
        std::cout << "创建: " << created << ", 销毁: " << created - destroyed << "\n";
    }
};

size_t TrackedObj::created = 0;
size_t TrackedObj::destroyed = 0;

关键说明 #

移后对象的本质是“已经放弃资源所有权的空壳”，不是它的值类别是右值——实际上，当析构函数被调用时，对象始终是左值。用状态标记能准确识别这种空壳对象，避免把它的析构算入有效销毁次数。

另外要注意：移动操作最好标记为noexcept（除非特殊场景），这能保证标准库容器在移动元素时的行为正确，也符合RAII指针的设计要求。

内容的提问来源于stack exchange，提问作者Tomáš Zato