代码之家 › 专栏 › 技术社区 › Felix

返回临时值rvalue作为值

rvo rvalue c++

Felix · 技术社区 · 7 年前

所以,我有以下课程:

class Foo {
public:
    Bar &&bar() {
        return std::move(_bar);
    }
private:
    Bar _bar;
}

我知道在以下上下文中使用此类是有效的:

Bar bar;
{
    Foo foo;
    bar = foo.bar(); // bar is move-assigned, as foo is still in scope
}

现在,我想知道的情况是:如果我直接从一个方法返回bar,而不事先存储它,会发生什么:

Bar testFunc() {
    Foo foo;
    return foo.bar();
}

Bar test = testFunc();
// is test now valid?

我认为这在理论上应该是好的,因为 testFunc 返回由之前的rvalue构造的值 foo 已销毁-但如果编译器应用返回值优化,是否仍然是这种情况?

我想我有点困惑这到底是怎么回事…

1 回复 | 直到 7 年前

AMA 7 年前

测试现在有效吗?

只要不访问moved from对象,代码就应该有效。

但是,如果编译器应用返回值优化?

Bar testFunc() {
    Foo foo;          // Bar is constructed here
    return foo.bar(); // prvalue is move-constructed and copy elided
}
Bar test = testFunc(); // default ctor + move ctor (one copy elision)

总共执行一次副本删除。

将成员移出看起来像是代码的味道。不知道具体用法很难判断,但可能:

Bar make_bar(const Foo& foo) {
    Bar bar;
    // init bar as needed
    return bar;
}

这样两个呼叫都会导致rvos。

推荐文章

AstralHex · 矩阵乘法代码工作不正常

6 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

6 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

6 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

6 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

6 月前

Die4Toast · 递归调用成员箭头运算符->

6 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

6 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

6 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

6 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

6 月前