c++ - 为什么函数调用是一个 xvalue(如果返回类型是一个右值)？

Question

假设我们有一个函数:

struct A {
    int m;
};

A&& f();

据我所知的表达方式:

f();
f().m; 

都是xvalue。但为什么？为什么他们不是prvalue？我有点困惑。

Answer 1

因为您是通过引用而不是值从 f 返回的。这意味着 A 的生命周期比 f() 长，例如

A&& f()
{
     static A res;
     return std::move(res);
}

或

A global;

A&& f()
{
     return std::move(global);
}

但不是

A&& f()
{
     return {}; // dangling reference
}

在 f().m; 中，m 的使用继承了前面子表达式的值类别，这是正常的成员访问。