创建一个对象,局部变量vs右值参考

Question

在创建对象时使用r值引用是否有任何优势,否则它将在正常的局部变量中？

Foo&& cn = Foo();
cn.m_flag = 1;
bar.m_foo = std::move(cn);
//cn is not used again

Foo cn;
cn.m_flag = 1;
bar.m_foo = std::move(cn); //Is it ok to move a non rvalue reference?
//cn is not used again

在第一个代码片段中,似乎很明显没有任何副本,但我猜在第二个编译会优化副本出来？

同样在第一个片段中,对象实际存储在内存中(第二个是存储在封闭函数的堆栈帧中)？

Answer 1

那些代码片段大多是等价的.这个:

Foo&& rf = Foo();

将临时绑定到引用,这将临时的生命周期延长到引用的生命周期.的Foo时候才会被破坏rf超出范围.您遇到的行为与此相同:

Foo f;

除了在后一个例子f中默认初始化但在前一个例子中rf是值初始化.对于某些类型,两者是等价的.对于其他人,他们不是.如果你改写了Foo f{},那么这种差异就会消失.

剩下的一个区别与复制省略有关:

Foo give_a_foo_rv() {
    Foo&& rf = Foo();
    return rf;
}

Foo give_a_foo() {
    Foo f{};
    return f;
}

在第一个示例中不允许执行RVO,因为rf它与返回类型的类型不同give_a_foo_rv().此外,rf甚至不会自动移动到返回类型,因为它不是一个对象,所以它没有自动存储持续时间,所以这是一个额外的副本:

Foo f = give_a_foo_rv(); // a copy happens here!
Foo g = give_a_foo();    // no move or copy

似乎很清楚,不会有任何副本

这完全取决于Foo实际行动的内容.如果Foo看起来像:

struct Foo {
    Foo() = default;
    Foo(Foo const& ) = default;
    Foo& operator=(Foo const& ) = default;

    // some members
};

然后移动Foo静止复制.

是的,std::move(f)在第二个例子中完全没问题.你并不需要的类型右值引用的对象T,以move从之.这将严重限制移动的有用性.