右值到左值的转换和"named-refs-are-lvalues"规则
Rvalue to lvalue conversion and "named-refs-are-lvalues" rule
有很多与右值相关的问题,但我没有找到这些确切问题的答案。
我无法理解"命名引用是左值引用"的经验法则。
这看起来真的很奇怪 - 我们将引用声明为右值,但由于我们必须以某种方式使用此引用(否则,有什么意义?),我们命名它,因为它被命名,毕竟它是一个左值!
请考虑以下代码:
int&& foo(int&& arg)
{
arg = 10;
return arg; // ERROR, `arg` is an lvalue since it's named!
}
foo(1);
问题是:
- arg 究竟什么时候成为左值?
- 如果函数无效并且 b) 和 c) 行不存在,arg 的类型是什么?
- 很多文章(只是引用第一个发现的结果)说可能存在隐含的右值转换,但相反的方向是不可能的 - 为什么?此示例显示
arg
-s 从int&&
转换为int&
,然后尝试将int&
隐式转换为int&&
这会导致编译错误 - 恰恰相反的行为!这就是为什么我们需要std::move
它基本上是 rvalue 类型的显式static_cast。
>arg
变量具有类型int&&
而没有值类别。
arg
表达式(它是第 3 行和第 4 行的表达式)具有类型int
和值类别"左值">
左值到右值的转换更改表达式的值类别,而不更改其类型。如果你在函数内部编写arg+1
,则类型int
的 lvalue 表达式arg
将进行此转换以生成类型int
的 prvalue 表达式,因为这是内置+
所需要的。
int&和int&&之间没有"左值到右值"或反向转换,因为表达式从来没有引用类型。程序中的错误是无法将右值引用(int&&&)绑定到左值表达式(类型为int
)。
我们应该将"如果它有一个名字,那就是一个左值">规则细化为更确切的形式:
如果它有一个名称,那么当用作表达式时,它是一个左值。
但是我们不是总是使用变量作为表达式吗?
通常是的,但不一定。请参阅以下函数:
void foo(A&& a) {
// decltype of the variable a - is rvalue
static_assert(std::is_rvalue_reference_v<decltype(a)>);
// decltype of the expression a - is lvalue
static_assert(std::is_lvalue_reference_v<decltype((a))>);
}
请注意,a
不只是成为左值。如果它被用作表达式 - 这是变量的常见用法 - 则表达式是左值引用。
在上面的代码中,a
的decltype
A&&
因此仍然是一个右值引用。
另一方面,(a)
将a
的使用转换为该上下文中的表达式,因此(a)
decltype
是A&
- 一个左值引用。
你可以把它想象成:使用变量a
的表达式可以看作是对A&&
的左值引用(即A&& &
),随着引用折叠变为A&
。
变量a
仍然是右值,只有表达式a
是左值,这一事实并不常用。通常我们只是将a
作为一种表达来处理。但是,当我们想要转发auto&&
参数时,正在使用它,例如:
[](auto&& v){ foo(std::forward<decltype(v)>(v)); } (A{});
来自C++参考:表达式,可以分为以下三个选项之一:
- 如果它具有标识并且无法从中移动,则称为左值表达式
- 如果它具有标识并且可以从中移动,则称为xValue 表达式
- 如果它没有标识并且可以从中移动,则称为prvalue("纯 rvalue")表达式
可以从中移动的表达式称为"右值表达式"。prvalue 和 xvalues 都是右值表达式。自 C++17 起,由于强制复制省略,prvalues 不再移动。
具有恒等式的表达式称为"glvalue 表达式"(glvalue 代表"广义左值")。左值和 x值都是 glvalue 表达式。
具有标识被认为可以确定表达式是否引用与另一个表达式相同的实体,例如通过比较对象的地址或它们标识的功能。
在下面的代码中,我们比较了左值、prvalue和xvalue表达式:
void foo(A&& a) {
// below we send the expression a to bar, as lvalue
bar(a);
// std::move(a) is an xvalue expression
bar(std::move(a));
// A{} is a prvalue expression
bar(A{});
}
有一个表达式列表可以创建一个 xvalue(请参阅下面的链接,了解"哪些表达式创建xvalues?"),但最常见的两个表达式是std::move
和std::forward
。
创建 prvalue 很容易,您只需创建一个没有名称的对象,或者在需要 prvalue 的表达式中使用对象(从左值到prvalue的转换)。
玩的代码:https://godbolt.org/z/so746KcqG
<小时 />另请参阅:
- 哪些表达式创建 x值? 什么是右值、左值、
- x值、gl值和pr值?
- 关于如何识别右值或左值引用以及它是否有名称规则
- 右值引用被视为左值?
- 为什么命名右值引用是右值表达式?
问题 3 询问为什么不允许从左值(无论是否引用)隐式转换为右值引用。这可能基于右值引用只能绑定到右值的约束。例如,此约束对于重载函数以实现复制和移动构造函数至关重要。
关于表达式是否可以具有引用类型,Scott Meyers 的这篇博客文章非常有用。最新标准草案中的引述:
如果表达式最初具有"对 T 的引用"([dcl.ref], [dcl.init.ref]),在进一步操作之前将类型调整为 T。 分析。表达式指定对象或函数,表示为 引用和表达式是左值或 x值,具体取决于 在表达式上。
因此,为了非常准确,表达式可以具有引用类型,但出于所有实际目的,将删除此引用性。
- 为什么在将 are 值引用分配给时被视为 l 值引用?
- 如何理解"Temporary objs are destroyed as the last step in evaluating the full-expression"?谁能用一些简单的例子来说明这
- 另一种类型的智能ptr,比如具有弱refs的unique_ptr
- 如果真的需要std::move,我们应该什么时候声明右值refs
- 尝试打印字符串时"Python Exception <class 'gdb.error'> There is no member named _M_dataplus."
- GotW #88 中的"It doesn’t work for references that are members of objects"是什么意思?
- С 错误"s1, s2 are used uninitialised in this function"
- C++ GLSL 着色器:"error: GLSL 3.30 is not supported. Supported versions are: 1.10, 1.20, 1.30, 1.00 ES,
- Boost.Spirit X3 解析器"no type named type in(...)"
- 提升序列化仅适用于主要?当我在其他对象中使用时,继续说"has no member named ‘serialize’"
- 错误:在 MacOS 上"no member named 'uint8_t' in the global namespace"
- "C4649: attributes are ignored in this context"的含义是什么?
- 与类一起使用时 std::reference_wrapper "has no member named" 编译错误
- 如何修复c ++中的错误"vector iterators in range are from different containers"?
- 在Visual Studio中将python嵌入C ++时"No module named site"
- 为什么编译器显示错误"no match for 'operator[]' (operand types are 'carti' and 'int')"
- "All arguments to functions are passed by value" C 中的,C++ 中对引用传递的混淆
- 右值到左值的转换和"named-refs-are-lvalues"规则
- 实现类似字符串的类时"no type named 'const_reference' "错误
- 如何修复编译器错误"class has no member named X"?