通过 const&、&& 或仅通过值获取返回值哪个更好？

问题描述

#include <vector>

std::vector<int> f()
{
    return std::vector<int>(1024);
}

void use_1(std::vector<int> const&)
{}

void use_2(std::vector<int> const&)
{}

int main()
{
    {
        auto const& v = f(); // style 1
        use_1(v);
        use_2(v);
    }

    {
        auto&& v = f(); // style 2
        use_1(v);
        use_2(v);
    }

    {
        auto v = f(); // style 3
        use_1(v);
        use_2(v);
    }
}

哪个更好？ style 1、style 2 还是 style 3？

在我看来，如果返回类型没有实现移动语义，那么 style 1 和 style 2 比 style 3 更有效率em>.

解决方法

按值不会出错，而且效率也不低。生命的时间是明确的，它永远不会摇摆不定。参考版本容易出错。举个例子：

#include <utility>

struct Bar {};

template <class T>
auto&& foo(T&& t) {
  return std::forward<T>(t);
}

int main() { 
  auto&& bar = foo(Bar{});
  // bar dangles
}

您可能认为“这永远不会发生”，但随着代码库变得越来越复杂，它确实发生了。保持简单。