C++可移动返回类型下如何在析构中安全捕获返回变量实现缓存

你观察到的行为是C++标准明确规定的：返回函数内局部自动对象时，返回值的初始化（优先触发移动构造）的执行顺序，早于函数作用域内所有局部对象的析构。所以你绑定了val引用的ScopeExit析构函数执行时，val已经被移动到返回值对象中，处于有效但内容未定义的状态，你看到的空字符串就是std::string移动后的典型状态。

你之前对return自动移动规则的概括是完全正确的，这个规则是导致你缓存写入失效的直接原因。

你把return g_cache.at(key);替换为val = g_cache.at(key); return val;的写法依赖具名返回值优化（NRVO），这属于编译器可选优化，C++标准不强制要求实现。如果关闭优化或者编译器在特定场景下无法执行NRVO，还是会触发val的自动移动，缓存逻辑依然会失效，所以这个方案是不可靠的，存在维护风险。

方案1：显式禁止自动移动（简单快速） #

如果可以接受一次额外的拷贝开销，你只需要在返回val的时候将其转为const左值，就可以阻止编译器触发自动移动，保证ScopeExit析构时val的内容完整：

// 所有返回val的位置都写成这样
return std::as_const(val);

这个方案修改量最小，但对于大数据量的std::vector<float>会有拷贝性能损耗。

方案2：自定义返回值包装（零额外开销） #

你可以把缓存写入逻辑从ScopeExit的析构移到返回值转换的阶段，保证缓存写入发生在val被移动之前：

struct CachedResult {
    std::string& val;
    int key;
    operator std::string() && {
        auto [iter, inserted] = g_cache.try_emplace(key, val);
        if (inserted)
            std::cout << "inserted \"" << iter->second << "\" into cache for key = " << iter->first << std::endl;
        return std::move(val);
    }
};

// 所有返回val的位置都写成这样
return CachedResult{val, key};

这个方案没有额外性能开销，缓存逻辑也能保证正确执行，但是需要你修改所有return语句的写法。

方案3：装饰器模式封装缓存（推荐，维护成本最低） #

最稳妥的方案是把缓存逻辑和业务逻辑完全解耦，用装饰器模式把缓存封装到函数外层，业务函数内部完全不需要处理缓存相关逻辑，后续新增任何return语句都不会影响缓存功能：

#include <tuple>
#include <type_traits>

template <typename Func>
auto make_cached(Func&& func) {
    return [func = std::forward<Func>(func)]<typename... Args>(Args&&... args) {
        // 用参数组合作为缓存key
        using KeyType = std::tuple<std::decay_t<Args>...>;
        using ReturnType = std::invoke_result_t<Func, Args...>;
        static std::map<KeyType, ReturnType> cache;

        KeyType key{std::forward<Args>(args)...};
        // 缓存命中直接返回
        if (cache.contains(key)) {
            return cache.at(key);
        }
        // 执行业务逻辑
        ReturnType result = func(std::forward<Args>(args)...);
        // 写入缓存后返回
        cache.try_emplace(std::move(key), result);
        return result;
    };
}

// 业务函数完全不需要处理缓存相关逻辑
std::string func_impl(const int key) {
    std::string val = "hello world";
    std::ranges::fill(val, 'b');
    if (2 == key)
        return val;
    std::ranges::for_each(val, [](auto& v){v += 1;});
    return val;
}

// 对外暴露带缓存的函数
const auto func = make_cached(func_impl);

这个方案完全规避了局部变量提前移动的问题，也不存在维护脆弱性的问题，是生产环境的首选方案。

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