局部变量是否在C++中?

Are local variables rvalues in C++?

本文关键字：C++ 是否 局部变量      更新时间：2023-10-16

我正在阅读Stroustrup的教科书，以了解右值和移动构造函数的概念：

右值是 - 对于第一个近似值 - 一个您无法分配的值 to，例如函数调用返回的整数和右值 引用是对其他人无法分配的内容的引用。 运算符+() 中用于向量的 res 局部变量就是一个例子。

下面列出了上面引用中提到的代码。

问题：局部变量res可以合法地出现在赋值的左侧，例如在res=nullptr中。为什么它被视为右值？

Vector operator+(const Vector& a, const Vector& b) {
if (a.size()!=b.size()) throw Vector_size_mismatch{};
Vector res(a.size()); 
for (int i=0; i!=a.size(); ++i) res[i]=a[i]+b[i]; 
return res;
}

不，局部变量不是右值。在您的示例中，右值是函数返回的 res 副本的临时对象(尽管可以省略复制构造函数或移动构造函数的调用)。

res本身是函数中的一个左值。

运算符+() 中用于向量的 res 局部变量就是一个例子。

这是错误的。res是左值的一个典型例子。我有点担心你的教科书。我们没有太多上下文，所以这可能只是一个错别字或误导性措辞的实例。但是，如果这是一个真正的错误，则表明作者对该语言的基本原理缺乏了解。

通常的经验法则是："如果它有名字，它就不能是一个右值。如果它没有名字，它很可能是一个右值。这很有效，即使在一开始看起来令人困惑的情况下也是如此。例如：

// A temporary has no name.
// Therefore: Can call foo() with it.
foo(Object());
void foo(Object&& o)
{
// o has a name. Therefore: not an rvalue.
// Therefore: Must move.
bar(std::move(o));
}
void bar(Object&& o)
{
// ...
}

该规则也适用于代码段中的任何位置：

  • 所有.size()返回值：无名称 -> 右值
  • a、b、res、i有名字 -> 而不是右值
  • 布尔值i!=a.size()：无名 -> 右值
  • 临时a[i]+b[i]：无名称 -> 右值

只有函数的返回值更棘手，因为返回值优化 (RVO) 在这里发挥作用。这里的经验法则是："如果你返回一个局部变量，通常不需要std：：move()它。

相关文章：