为什么 const rvalue 限定 std::optional::value() 返回 const rvalue 引用？

Question

std::optional::value() 有以下两个重载

constexpr T& value() &;
constexpr const T & value() const &; 
constexpr T&& value() &&;
constexpr const T&& value() const &&;

返回 const 右值引用有什么意义？

我能想到的唯一原因是让编译器能够在以下（真的很奇怪）情况下帮助捕捉未定义的行为

auto r = std::cref(const_cast<const std::optional<int>&&>(
    std::optional<int>{}).value());

如果std::optional::value() 返回了const T&，那么上面的代码将编译并在稍后使用r reference_wrapper 时导致未定义的行为。

上述返回const T&& 是否有任何其他极端情况？

Answer 1

当然。你在结构中有一个const optional<T>。您返回一个右值实例并访问可选成员。

由于您构建它的方式，您可以保证在这种情况下使用可选。所以你打电话给value()。 T 类型包含 mutable 状态，可以有效地重用/窃取。 T const&& 重载赋予消费函数窃取该状态的权限。

struct mutable_type {
  mutable std::vector<char> cache;
};
struct test_type {
  const std::optional<mutable_type> bob;
};
test_type factory( int x ) {
  if (x==0) return {};
  return {mutable_type({{1,2,x}})};
}

auto moved_into = factory(3).bob.value().cache;

我相信，这会将vector 移动到bob 中，在这种情况下这是一个const 右值。它依赖于value() 在const&& 上下文中返回const&&。