缺失一元 std::copy 的最佳实现

Question

C++11 引入了语义来避免不必要的对象复制，并引入了 std::move 来在发生复制时应用这些语义。然而，现在也有一些情况需要副本，但不是默认的。

例如，考虑一下这个简单的reverse实现。由于基于范围的 for 使用完美转发，因此对循环内的容器进行修改会导致损坏。

auto out_iter = container.rbegin();
for ( auto value : container ) {
    * out_iter ++ = value;
}

目标是使用

for ( auto value : copy( container ) ) {

“看起来很简单......接受任何参数，获取基础类型并返回临时副本”来解决此问题。

Answer 1

您正在计算的返回类型通常称为 typename std::decay::type。除此之外，在正文中使用 std::forward 可以获得完美转发的全部好处：

template<typename T>
typename std::decay<T>::type
val(T&& t)
{ return std::forward<T>(t); }