C++中右值与右值引用在使用中的疑问

如标题。最近在看现代 cpp ，感觉右值和右值引用这两个概念非常重要，因此自己尝试构建一些例子来加深理解。例子如下：

#include <iostream>
#include <ostream>
#include <utility>
using namespace std;
struct C {
    int a = 1;
    C() { cout << "Ha ha" << endl; }
    C(C& c) : a(c.a) { cout << "Copy" << endl; }
    C(C&& c) : a(std::move(c.a)) { cout << "Move" << endl; }
    ~C() { cout << "Fucked" << endl; }
};
C func() {
    C shit;
    cout << &shit << endl;
    return shit;
}

C f2() {
    C&& shit = func();
    cout << &shit << endl;
    return shit;
}

C f3() {
    C&& shit = func();
    cout << &shit << endl;
    return std::move(shit);
}

int main() {
    auto&& shit = f2();
    // Ha ha
    // 0x5ffe24
    // 0x5ffe24
    // Copy
    // Fucked
    cout << &shit << endl;
    // 0x5ffe7c
    cout << "*************" << endl;
    auto shit2 = f3();
    cout << &shit2 << endl;
    // Ha ha
    // 0x5ffe24
    // 0x5ffe24
    // Move
    // Fucked
    // 0x5ffe78
    cout << "*************" << endl;
    auto&& shit3 = f3();
    cout << &shit3 << endl;
    // Ha ha
    // 0x5ffe24
    // 0x5ffe24
    // Move
    // Fucked
    // 0x5ffe74
    cout << "*************" << endl;
    // cout << shit.a;
}

对于这个例子所产生的结果，我不是很懂，我主要是不太懂以下几个问题：

为啥对于右值引用 shit ，在初始化之前会产生 copy ？而对于 shit2 则会在之前有 move ？
我尝试将 f3 的声明改成了'C&& f3()'，这个时候 clangd 警告引用了一个栈空间上的变量。为啥会这样？正常来说右值引用应该怎么使用？
f2 和 f3 都引用了位于 func 构建出来的函数栈上的 shit ，从地址可以看出他们引用后地址没有产生变化。则使用右值引用引用了一个位于栈上的值，从 cpp 内存模型的角度来讲是怎么做到的？这种做法会不会对在该值所在的函数之后运行的函数栈空间分配产生影响？

lzoje

8 天前

先回答下第三点，这实际上应该是编译器 nrvo 优化的效果（ n 是 named value ，rvo 是 return value optimization ）。这个优化的效果相当于给被优化的函数添加一个引用参数，这个引用就是返回的引用。

所以第一点的问题，f2 和 f3 里都无法做 nrvo 优化，因为返回值是一个右值引用，而不是栈变量（虽然我们能看到那个是栈变量，但是编译器应该是判断不到）。

第二点很简单，你返回栈地址就是有问题的，虽然编译器可以给你做这个优化，但不是所有地方都能做这个优化，这得编译器决定。我个人理解是这样的。

zizon

8 天前

func -> 没有 rvalue 之前 return 会 copy,rvalue 的引入就是为了解决这种不必要的 copy.

f2 -> 类似 func,看编译器有没激进到断定 shit 可以以 rvalue 做 rvo, 不能的话就会保守 copy.因为 shit 本身指向一个 rvalue,所以编译器有理由认为它可能在 return 后不是一个有效地址,就是你 2 里提到的 clang 警告的原因.如果编译器先把 func inline 了,那么就可能出现 2L 说的第一点的情况.

f3 -> 类似 f2,std::move 产生了一个 rvalue.调用 move ctor 是编译器认为这个 rvalue 可能不是有效的地址.同 f2,编译器也可以激进优化成 func.

通俗的理解 ravlue 就是之前没有 rvalue 的时候会产生隐式不可代码层面 reference 的 copy ctor 对象的一个称呼.
有了这个定义之后,新标准就可以有规则 eliminate 这种不必要的 copy ctor.

Symbo1ic

8 天前

@lzoje @sanbuks @zizon 感谢各位大佬！我使用的是 msys2 上的 mingw64 ，可能这些结果出现就是编译器对于这个情况的优化吧。我想知道如果在编译器不进行 nrvo 优化的情况下，对于 func 传值 f2 或者 f3 的时候是不是会调用 move 构造呢？在使用右值引用这个特性的时候，是不是像 f3 那样返回一个经过 move 包裹后的值的处理方法会更好？