c++ - cppreference 使用术语 "[Object' s] 身份”对于 c++11 和 c++17 是否有两种不同的含义？

Question

我以为我已经完全理解(在其他SO问题的帮助下，谢谢)C++17关于值类别的变化，但现在我注意到这个问题，这表明我并不真正理解它们.

在 C++11 中，对值类别有“具有同一性/可以从其中移动”的解释，并且“同一性”含义的定义仍然存在于 cppreference 中。 :

has identity: it's possible to determine whether the expression refers to the same entity as another expression, such as by comparing addresses of the objects or the functions they identify (obtained directly or indirectly).

在C++17中，“具有同一性/可移出”不再成立，但新的定义也是基于“同一性”的概念:

a glvalue (“generalized” lvalue) is an expression whose evaluation determines the identity of an object, bit-field, or function;

我的问题/误解是:这与“身份”是同一个含义，还是不同的“身份”？按照我的理解，c++17中的情况如下:

A f() { return A(); }

A a = f(); // 1: f() is a prvalue expression, used to directly initialize a.
f();       // 2: f() is a prvalue expr., converted to xvalue by temporary materialization
A&& r = f(); // 3: f() is a prvalue expr., converted to xvalue by temporary materialization

在第二种和第三种情况中，我获得了一个xvalue，这意味着它应该有一个身份。所以我应该能够获取它的地址 [编辑:]我应该能够确定它是否与其他表达式引用相同的实体，但我认为我不能。当然，在第三种情况下，我可以将“&r”作为单独的命令执行，然后将其地址与其他表达式的地址进行比较，但这是因为 A&& 是左值。通过 A&& 获取地址在这种情况下意味着“直接或间接获得”吗？我认为这不是正确的答案，因为在 C++11 中我也可以轻松做到

A&& r = f(); // 4: f() is a prvalue expression. Temporary materialization does
             // not happen, the temporary (prvalue) gets its lifetime 
             // extended to match the lifetime of the reference
&r;

尽管 r 引用的对象的生命周期已延长，但它仍然是临时对象，并且在 c++11 中临时对象是纯右值。所以我假设我可以将 A&& 绑定(bind)到它(其中，像任何左值一样，我可以获取一个地址，但只能在一个单独的表达式中)这一事实不足以得出结论:它的评估决定了一个身份(毕竟，无论发生什么“&r;”行不是我原始表达式求值的一部分)，但在 c++17 中，在我看来这将是唯一可能的解释？

你能帮我确定我写的哪一部分是错误的吗？或者这是正确的，答案只是“身份”这个词改变了它的含义？

Answer 1

您为什么认为 C++11 概念不再适用？该页面说该版本引入了“具有身份”的想法，而不是它是唯一使用它的版本。 C++17 的做法是，纯右值“等待”它们用于对象的初始化，从而完全成为对象。 (因此，它将“作为一个对象”与“具有身份”合并在一起，这更简单；显然每个对象都可以检测到this。)

这真正的意思是，目标对象的地址被无形地传递到纯右值构造的位置，以便它从一开始就出现在正确的位置。编译器已经在 RVO 名称下执行此操作，但更改保证了这一点并消除了正式的可移动性限制。

xvalue 当然有一个身份:如果您通过(任一类型)引用将纯右值传递给函数，它就可以获取其地址。它甚至可以返回它，以便(在同一个完整表达式期间)创建它的函数可以使用它的地址。禁止获取临时地址是一项单独的安全措施，即使在(例如)使用static_cast<A&&>(get_a())之后也适用。强制暂时实体化。 (但是，它不能阻止您获取引用从另一个函数返回的临时值的泛左值的地址。)