为什么 std::as_const(T &&v) 不能移动返回它的参数？

Question

阅读Why does as_const forbid rvalue arguments? 我知道我们当然不能将右值引用转换为左值引用。

但为什么不将右值引用移动到一个值并返回它，即？

template<typename T> 
const T as_const(T&& val) { return std::move(val); } 

这应该也适用于 COW 容器，因为返回值是 const 并且来自它的迭代器不会导致它分离。

也许一些上帝会回答这个问题，但我想不出一个给定的场景，而且那里没有容易获得的 COW 容器 AFAIK。

更新：

考虑一下这个 COW 容器（忽略线程问题）：

class mything {
   std::shared_ptr<std::vector<int>> _contents;

   auto begin() { if (_contents.use_count() > 1) { detach(); }
                  return _contents->begin(); }
   auto begin() const { return _contents->begin(); }
   void detach() {
       _contents = std::make_shared<decltype(_contents)>(*_contents); 
   }
   ...
};

移动会很快，并且当在 range-for-loop 中使用时，返回的 const T 将选择 begin() 的 const 版本。

还有一些容器将自己标记为已修改，因此它们的更改可以通过网络发送或稍后同步到另一个副本（用于另一个线程），f.ex。在 OpenSG 中。

Answer 1

我将它理解为一个附加功能，但要避免一些措施：获取具有地址的东西的 const 视图。

而且因为临时没有地址，所以也不应该有它的 const 视图。

移动值而不是仅仅添加 const 会改变它的语义（我们已经有了std::move）

如果 as_const 到一个临时的会延长它自己的生命周期，那么如果不绑定它会浪费空间，例如：

{
   as_const(f()); // if the lifetime would be extended
...
 } // not bound, but space wasted

例如 as_const 将 const 添加到 value 而不是 type，因此它可以节省一些输入，例如 static_cast， add_const等

通常将 const lvalue ref 绑定到临时对象，会延长临时对象的生命周期，例如：

int f() { return 3; }

{
   const auto& x = f();
    ... use x .. ok
}

但是这样的事情会以悬空引用结束：

{
   auto& x = as_const(f()); // one could wrongly think that temporary lifetime is extended, but it's not
    ... x dangles ..
}