如何实现类实例返回数据后自动清除存储？C++单例Storage类场景

问题描述 #

我在开发应用时需要从某个源读取值暂存到Storage单例中，之后在Apply函数中使用这些值，使用完成后Storage里的这些值就不再需要了。目前的代码结构如下：

class Storage: public Singleton<...> { 
public: 
    void addValue(int v) {values.push_back(v);} 
    // ... 
private: 
    std::vector<int> values; 
    // ... 
}; 

// 从源读取值并存入存储
void Init() { 
    for (...) { 
        Storage::Instance()->addValue(...); 
    } 
} 

// 数秒后...
// 应用值并清除它们
void Apply() { 
    auto &&values = Storage::Instance()->getValues(); 
    // 理想情况下，此时Storage不应包含values数组
    // 处理值
    for (auto i: values) { 
        // ... 
    } 
    // 值不再需要，希望无需手动调用clear
} 

我希望实现getValues方法时，通过移动语义让调用该方法后自动清空Storage中的values数组，避免额外实现clearValues方法并在Apply末尾调用。请问该如何实现？

解决方案：利用C++移动语义转移容器资源 #

当然可以实现这个需求！核心思路是让getValues返回一个移动后的std::vector，而不是引用，这样就能把Storage内部的vector资源转移出去，同时自动清空内部的容器。

修改后的Storage类实现

class Storage: public Singleton<...> { 
public: 
    void addValue(int v) {values.push_back(v);} 
    
    // 核心实现：返回移动后的vector，同时清空内部存储
    std::vector<int> getValues() {
        // 用std::move将内部values的资源转移到临时对象
        std::vector<int> transferredValues = std::move(values);
        // 显式清空原容器（可选但推荐，确保状态明确）
        values.clear();
        return transferredValues;
    }

    // ... 其他成员函数
private: 
    std::vector<int> values; 
    // ... 
};

简化版实现（更紧凑）

如果你觉得上面的写法有点繁琐，也可以直接返回std::move(values)，标准库中std::vector被移动后会处于有效但为空的状态（大多数编译器实现都会保证这一点）：

std::vector<int> getValues() {
    return std::move(values);
}

修改后的Apply函数

void Apply() { 
    // 这里直接获取移动后的vector，此时Storage内部的values已经为空
    auto values = Storage::Instance()->getValues(); 
    
    // 处理值
    for (auto i : values) { 
        // ... 你的业务逻辑
    } 
    // 无需再调用clearValues，Storage已经自动清空了！
}

原理说明 #

1. 移动语义的作用：std::move(values)并不会真正移动数据，而是将values转换为右值引用，告诉编译器可以转移它的底层资源（比如内存缓冲区）。当我们把这个右值赋值给新的vector时，新vector会接管原vector的资源，原vector则会变成空（或处于可安全复用的状态）。
2. 为什么不能返回引用：如果getValues返回std::vector<int>&，那么移动语义无法生效，而且如果我们在返回后清空原容器，会导致返回的引用变成悬空引用，引发未定义行为。返回值的方式才能安全地完成资源转移。

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