这是关于对象销毁与返回值优化的 C++ 规范的问题。
我可以期望 RVO 在std::unique_ptr<>
清理之前返回正确的值吗?
Foo
Bar()
{
std::unique_ptr<Foo> ptr = new Foo;
return *ptr;
}
这是关于对象销毁与返回值优化的 C++ 规范的问题。
我可以期望 RVO 在std::unique_ptr<>
清理之前返回正确的值吗?
Foo
Bar()
{
std::unique_ptr<Foo> ptr = new Foo;
return *ptr;
}
无论有没有 RVO,它都会返回正确的值(在这种情况下没有 RVO)。该函数返回一个具体的Foo
,因此*ptr
将在指针销毁之前复制到返回值中。
这意味着,
Foo foo;
foo = Bar();
类似于(将 unique_ptr 展开更明确)
Foo foo;
Foo* ptr = new Foo;
foo = *ptr;
finally:
delete ptr;
当函数返回类类型对象时,仅在两种情况下允许使用 RVO:
所以你的代码不会触发 RVO。
如果Foo
对象声明为自动存储,则允许编译器执行 RVO:
Foo bar()
{
Foo foo;
return foo; // foo can be constructed directly as the returned object
}
如果由于某种原因您必须使用创建对象new
并希望消除复制操作,您可以使用std::move
,它将表达式更改为右值:
Foo bar()
{
std::unique_ptr<Foo> ptr(new Foo);
return std::move(*ptr); // No deep copy if Foo implements
// its own move constructor
}