为何std::optional<ref_wrapper<const T>>可绑定右值std::optional<T>致悬垂指针？

问题本质 #

这不是标准库Bug，而是C++规范设计下的边缘场景，根源在于std::optional的模板构造逻辑与std::reference_wrapper的防护机制的交互盲区。

规范根源 #

1. std::reference_wrapper的基础防护：
   std::reference_wrapper的设计目标之一就是防止绑定到临时对象（右值），因此std::is_constructible_v<std::reference_wrapper<const int>, int&&>为false——直接用右值int构造reference_wrapper会被标准明确禁止。

2. std::optional的模板构造逻辑：
   std::optional提供了模板构造器：

   template <class U> constexpr optional(optional<U>&& other);
   

   其启用条件是std::is_constructible_v<T, U>为true（即T可以从U构造）。当T是std::reference_wrapper<const int>、U是int时，std::reference_wrapper<const int>可以从const int&（左值引用）构造，而optional<int>&&的value()方法返回的是int&（左值），因此构造逻辑被判定为合法。

   核心问题在于：临时的std::optional<int>（由make()返回）在构造完成后会被销毁，其内部的int对象也随之消亡，导致reference_wrapper引用的对象生命周期结束，最终产生悬垂引用。规范并未针对这种中转场景添加额外的生命周期校验，因此这是规范设计的限制。

自定义optional的修复方案 #

要避免这种悬垂，可以在自定义optional的模板构造器中添加SFINAE约束，当T是std::reference_wrapper类型时，禁止从非引用类型的optional右值构造：

#include <type_traits>
#include <optional>
#include <functional>

template <typename T>
class safe_optional {
    std::optional<T> impl;
public:
    // 继承std::optional的基础构造函数
    using std::optional<T>::optional;

    // 模板构造器：针对reference_wrapper类型添加约束
    template <typename U>
    safe_optional(safe_optional<U>&& other)
    requires (!(std::is_same_v<T, std::reference_wrapper<typename std::remove_reference_t<U>>> && !std::is_reference_v<U>))
    : impl(std::move(other.impl)) {}

    // 转发std::optional的核心成员函数
    bool has_value() const { return impl.has_value(); }
    T& operator*() { return *impl; }
    const T& operator*() const { return *impl; }
    T* operator->() { return impl.operator->(); }
    const T* operator->() const { return impl.operator->(); }
};

上述代码通过requires约束，当T是std::reference_wrapper<X>且U不是引用类型时，禁用从safe_optional<U>&&的构造，从而避免绑定到临时对象内部的值。

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