用于 std::reverse() 的 C++11 便利包装器答案

【问题标题】：C++11 Convenience wrapper for std::reverse()用于 std::reverse() 的 C++11 便利包装器
【发布时间】：2012-04-19 10:52:10
【问题描述】：

这是使用 C++11 右值引用和移动语义为std::reverse() 实现便利包装器的正确方法吗？

template <class BIDirContainer> inline BIDirContainer&& reverse(BIDirContainer a) {
    std::reverse(begin(a), end(a));
    return std::move(a); 
}

代码在我的测试用例中有效，但我不确定它的性能：我应该在这里使用&& 还是不必要的？

【问题讨论】：

【解决方案1】：

如果您通过（右值）引用返回，那么您将获得一个悬空引用，因为a 是一个本地对象。按值返回，一切都应该“正常工作”。

【讨论】：

@Nordlöw 不需要移动，除非BIDirContainer 没有移动构造函数的实现。请参阅下面的答案。
在 C++11 中，如果您按值返回本地对象（例如本例中的 a），那么在第一个实例中编译器应将其直接构造为返回值，并且失败如果有的话，它应该使用移动构造函数。

【解决方案2】：

我想说正确的做法是从你的函数中按值返回：

template <class BIDirContainer> inline BIDirContainer reverse(BIDirContainer a) {
    std::reverse(begin(a), end(a));
    return a; 
}

然后给BIDirContainer一个移动构造函数，如果它没有的话。那么这种表达方式：

BIDirContainer x = ...;
BIDirContainer backwards{reverse(x)};

应该将reverse 函数中临时a 的内容移动到backwards。

【讨论】：

【解决方案3】：

所以如果要修改参数...

template <class BIDirContainer>
inline BIDirContainer& reverse(BIDirContainer& a)
{
    std::reverse(begin(a), end(a));
    return a;
}

如果您想制作反向副本，那么：

template <class BIDirContainer>
inline BIDirContainer reverse(BIDirContainer a)
{
    std::reverse(begin(a), end(a));
    return a;
}

函数的返回值已经是一个右值（特别是“xvalue”）。如果您将它传递给具有移动语义的函数，它将被移动 - 但是由于上面的命名返回值优化 (NRVO) result 甚至可以就地构造（比移动语义更好）。

【讨论】：