unique_ptr:在分配之前调用 reset 有什么效果
unique_ptr: what is the effect of calling reset before assignment
在 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
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
我相信编译器输出之间的大部分差异是由于对于两个片段中的一个,它能够优化更多的东西。毕竟,您只需向变量添加几个常量即可。如果我们要使优化器的工作更加困难,输出几乎是相同的。编译器不知道foo
是如何工作的,并且必须产生对它的调用并向x
添加结果,没有聪明的余地。
要回答你的问题,差异很小。unique_ptr
的移动赋值运算符无论如何都会释放内存,因此在它之前调用reset
是多余的。但是,从我的链接中可以明显看出,如果编译器知道指针已重置,它可能会省略该操作。
但是,如果在分配新内存之前释放指针持有的内存,则调用reset
之前可能很有用,从而减少程序的内存占用。
相关文章:
- 什么时候调用组成单元对象的析构函数
- 对RValue对象调用的LValue ref限定成员函数
- 为什么使用 "this" 指针调用派生成员函数?
- 函数调用中参数的顺序重要吗
- OpenGL - 在抛出"__gnu_cxx::recursive_init_error"实例后终止调用?
- 基于另一个成员参数将函数调用从类传递给它的一个成员
- 为什么我的C#代码在调用回C++COM直到Task时会暂停.等待/线程.加入
- 在c++类上调用void函数
- 为什么 std::unique 不调用 std::sort?
- 调用专用模板时出错"no matching function for call to [...]"
- 选择要调用的构造函数
- C++为什么尽管我调用了void函数,它却不起作用
- 构造函数正在调用一个使用当前类类型的函数
- 变量没有改变?通过向量的函数调用
- 没有为自己的结构调用列表推回方法
- 调用'begin(int [n])'没有匹配函数
- unique_ptr:在分配之前调用 reset 有什么效果
- 当 reset() 被unique_ptr调用两次时会发生什么?
- 有没有办法让shared_ptr.reset(new obj)首先调用析构函数?
- 错误:调用'reset'(共享指针)没有匹配的成员函数