关于 C++ 中的右值引用

Question

std::vector<std::string> func(int num) {
  std::vector<std::string> vec;
  int sum = 0;
  for(int i = 0; i < num; i++) {
    sum +=i;
    std::string s = std::to_string(sum);
    vec.emplace_back(s);
  }
  return vec;
}

下面的代码使用右值和左值引用有什么区别。

  std::vector<std::string> res = func(10);      // (case 1)
  std::vector<std::string> &&res = func(10);    // (case 2)
  std::vector<std::string> &res = func(10);   // I got an error!, case3
  const std::vector<std::string> &res = func(10);  // case4

问题：

1. 右值引用（案例2）可以保存内存副本吗？比案例1
2. 为什么 lvalue reference(case3) 出错但它与 const (case4) 一起工作？

Answer 1

1. 当prvalue（“临时”）绑定到右值引用或const左值引用时，临时的生命周期会延长到生命周期参考文献。
2. 非const 左值引用不会延长纯右值的生命周期。

右值引用（案例2）可以保存内存副本吗？比案例1

它保留了单个返回对象的生命周期。见 1。

为什么左值引用（case3）出错

见 2。

但它适用于 const (case4)？

见 1。

Answer 2

1. 右值引用（案例2）可以保存内存副本吗？比案例1

如果您的意思是“案例 2 是否 避免 案例 1 有一些副本”，那么答案是：不。如果 res 是一个自动变量，那么两者实际上是相同的。我建议编写案例 1，因为它更简单且不易混淆。

首先，从vec 移动到返回值。在实践中，优化器可以忽略这一举动。这种优化称为 NRVO（命名返回值优化）。

自 C++17 起：在这两种情况下，都由上述移动直接初始化（可能已被省略）。

C++17 之前：在这两种情况下，从返回值到初始化对象还有另一个移动。这个动作在实践中也可以省略。

1. 为什么 lvalue reference(case3) 出错但它与 const (case4) 一起工作？

因为对非 const 的左值引用可能不会绑定到右值。