unique_ptr:在分配之前调用 reset 有什么效果

Question

在 c++14 中，分配给现有unique_ptr有什么区别：

std::unique_ptr<double> p = std::make_unique<double>(1.0);
p = std::make_unique<double>(2.0);

并在分配给它之前首先调用 reset ：？

std::unique_ptr<double> p = std::make_unique<double>(1.0);
p.reset();
p = std::make_unique<double>(2.0);

我认为在赋值前添加.reset()不会对代码产生太大影响，但是没有reset()的那个在使用-O3编译时似乎会产生不同(和更多(的汇编代码。在此处在线查看代码：

https://godbolt.org/z/mBApWH

https://godbolt.org/z/JfStmC

Answer 1

GCC 优化器似乎有机会改进。

在第二个版本中，我们得到

call    operator new(unsigned long)
mov     QWORD PTR [r12], 0                     ; [r12] is 0
mov     esi, 4
mov     rdi, rax
call    operator delete(void*, unsigned long)
mov     edi, 4
call    operator new(unsigned long)
mov     rdi, QWORD PTR [r12]                   ; rdi=[r12] == 0 (duh)
mov     DWORD PTR [rax], 1111
mov     QWORD PTR [r12], rax
test    rdi, rdi                               ; unnecesary test
je      .L1                                    ; branch always taken
mov     esi, 4                                 ; unreachable code
call    operator delete(void*, unsigned long)  ;
.L1:

另一方面，CLANG 9为第二个版本生成的代码要小得多，因为它能够消除第一个new/delete。

push    rbx
mov     rbx, rdi
mov     qword ptr [rdi], 0
mov     edi, 4
call    operator new(unsigned long)
mov     dword ptr [rax], 1111
mov     qword ptr [rbx], rax
mov     rax, rbx
pop     rbx
ret

Answer 2

我相信编译器输出之间的大部分差异是由于对于两个片段中的一个，它能够优化更多的东西。毕竟，您只需向变量添加几个常量即可。如果我们要使优化器的工作更加困难，输出几乎是相同的。编译器不知道foo是如何工作的，并且必须产生对它的调用并向x添加结果，没有聪明的余地。

要回答你的问题，差异很小。unique_ptr的移动赋值运算符无论如何都会释放内存，因此在它之前调用reset是多余的。但是，从我的链接中可以明显看出，如果编译器知道指针已重置，它可能会省略该操作。

但是，如果在分配新内存之前释放指针持有的内存，则调用reset之前可能很有用，从而减少程序的内存占用。