我在试着理解为什么
std::unique_ptr<MyClass> p = new MyClass;
不起作用,但是
std::unique_ptr<MyClass> p;
p.reset(new MyClass);
很好。我有点理解它们的不同之处,但我想知道为什么做出这样的选择是为了让它们不同。赋值不同于重置有什么危险?
发布于 2018-05-03 11:17:18
首先,std::unique_ptr<MyClass> p = new MyClass;
不是赋值,它是copy initialization。它不能工作,因为接受原始指针的constructor of std::unique
被标记为explicit
显式unique_ptr(指针p)不例外;
它被声明为explicit
,以避免意外的(可能是危险的)隐式转换,例如:
void foo(std::unique_ptr<int> uptr);
int *rptr = new int;
foo(rptr); // suppose rptr is implicitly converted to std::unique_ptr<int>
// then the ownership is passed to the parameter uptr
// when foo() returns uptr is destroyed; the pointer managed by it is deleted too
// since rptr has been deleted continue to deference on it leads to UB
*rptr = 42; // UB
请注意,copy initialization中不考虑explicit
构造函数(例如std::unique_ptr<MyClass> p = new MyClass;
)。你可以在direct initialization中使用它们(例如std::unique_ptr<MyClass> p (new MyClass);
)。它们用于禁止隐式转换,但您可以执行显式转换。就像reset
的用法一样,你必须显式地()做这些事情,以显示(并让你自己)你非常确定你在做什么。
顺便说一下:来自原始指针的赋值也不起作用,因为std::unique_ptr
没有将原始指针作为参数的重载赋值运算符。由于上述原因,原始指针不能被隐式转换为std::unique_ptr
,因此移动赋值操作符(以std::unique_ptr
为参数)也不会被考虑。
发布于 2018-05-03 11:23:32
我想知道为什么
std::unique_ptr<MyClass> p = new MyClass;
不能工作
与@songyuanyao提到的被声明为explicit
的原因相同,这表明您仍然可以在比explicit
更好的a form of initialization中初始化它
// Valid, since now it's 'explicit'
std::unique_ptr<MyClass> p { new MyClass{} };
https://stackoverflow.com/questions/50146366
复制相似问题