c++ - 编译器如何确定何时对 RVO 是安全的？

Question

编译器如何确定何时对 RVO 是安全的？不，我不是说右值，而是左值——如果我理解正确的话，RVO 的工作原理是将目标地址“转发”给方法，因此它返回到目标地址而不是临时地址，然后复制/分配给目标。

但是编译器如何知道执行 RVO 是安全的呢？如果左值中已经有一些数据，包括动态分配的资源怎么办？这种情况下的 RVO 可能会导致资源泄漏。也许有一些规则指定是否适用于执行优化或坚持使用复制或赋值？

Answer 1

RVO 只能初始化一个新的对象，不能重新分配一个已经存在的对象。所以在这种情况下:

Thing thing = make_thing();

thing 的地址被传递给函数，函数就地初始化它。

在这种情况下:

thing = make_thing();

RVO(通常)创建一个临时对象，然后将其分配给 thing。只要类型可以正确分配，就不会有泄漏或类似问题。因为它是一个临时的右值，所以它可以被移动，这可能比复制更有效率。如果类型是普通可赋值的，那么也可以省略该赋值 - 编译器在选择如何调用函数时会知道是否属于这种情况。