如何用缓存与栈分配正确管理re2::RE2对象生命周期

原代码的核心问题 #

1. 栈对象生命周期过短：else块内的re02_in_stack是栈分配对象，仅在else块作用域内有效，块结束后立即销毁，后续访问*re02会触发未定义行为。
2. 临时shared_ptr导致悬空指针：re2_get_cache(regexp)返回的是临时shared_ptr，调用.get()后临时对象立即销毁，若缓存的RE2无其他持有者，会被释放，同样导致指针悬空。

可行解决方案 #

要确保两种场景下的RE2对象生命周期覆盖整个函数执行过程，同时避免堆分配（栈对象场景），可以结合std::optional和std::shared_ptr来分别管理栈对象和缓存对象：

#include <optional>
#include <memory>

void re02_match(const std::string& regexp, bool use_cache, ...) {
    // 声明两个变量：分别用于存储栈对象（延迟构造）和缓存对象的智能指针
    std::optional<re2::RE2> stack_re;
    std::shared_ptr<re2::RE2> cache_re;
    re2::RE2* re02 = nullptr;

    if (use_cache) {
        // 持有缓存的shared_ptr，保证对象不会被提前释放
        cache_re = re2_get_cache(regexp);
        re02 = cache_re.get();
    } else {
        // 构造栈对象到optional中，生命周期与函数一致
        re2::RE2::Options options;
        stack_re.emplace(regexp, options);
        re02 = &*stack_re;
    }

    // 在此安全使用*re02，对象生命周期覆盖整个函数
    // ...
}

方案说明 #

• 栈对象管理：使用std::optional<re2::RE2>实现延迟构造，仅在use_cache=false时才构造栈上的RE2对象，避免不必要的开销；optional本身是栈分配的，因此RE2对象依然是栈分配，符合要求。
• 缓存对象管理：通过std::shared_ptr<re2::RE2>持有缓存返回的对象，避免临时shared_ptr销毁导致的对象释放问题，保证缓存对象在函数执行期间始终有效。
• 统一访问：re02指针在两种场景下都指向有效的RE2对象，生命周期覆盖整个函数，不会出现悬空问题。

替代思路 #

如果项目中无法使用C++17及以上的std::optional，可以改用union配合手动构造/销毁（需注意RAII），但实现复杂度较高；或者提前声明栈对象，通过 placement new 在需要时构造，但同样需要手动管理构造和销毁逻辑，不如std::optional简洁安全。

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