关于std::unique_ptr构造器行为的两处疑问求解

嘿，这两个问题的核心都围绕着std::unique_ptr的独占所有权特性和移动语义，咱们拆解开来聊：

疑问1：为什么u4有效但u5为空？ #

首先得纠正一个小误解：u5在刚构造完成的时候是持有有效指针的，它变成空是因为后续的移动操作，和构造本身无关。

看你代码里的执行顺序：

// u5构造完成，此时持有new int的指针，状态为not null
std::unique_ptr<int> u5 (new int, std::default_delete<int>());
// 关键：用std::move(u5)构造u6，触发移动语义
std::unique_ptr<int> u6 (std::move(u5));

std::unique_ptr是独占式智能指针，它的设计就是同一时间只能有一个unique_ptr持有某个原始指针的所有权。当你调用std::move(u5)时，相当于把u5手里的指针所有权完全转移给了u6，u5会被自动置为nullptr，所以后续输出时u5是空的。

而u4的情况是，构造完成后没有被执行任何移动操作，它一直独占着自己的new int指针，所以状态保持为not null。

另外补充一下u4和u5构造的区别：u4传入的是已存在的std::default_delete<int>对象（左值），u5传入的是临时的std::default_delete<int>对象（右值），但这两种构造方式都能让unique_ptr正确持有指针——你可以注释掉u6和u7的构造代码再运行，就能看到u5的输出是not null，验证构造本身没问题。

疑问2：为什么u7有效但u6为空？ #

这个和第一个问题的原因完全一致，还是移动语义的作用：

// u6刚从u5那里拿到所有权，此时状态为not null
std::unique_ptr<int> u6 (std::move(u5));
// 用std::move(u6)构造u7，所有权从u6转移到u7
std::unique_ptr<int> u7 (std::move(u6));

当你把u6移动给u7时，u6的指针所有权被转移给u7，u6被置为nullptr，而u7获得了独占所有权，所以输出时u7有效、u6为空。

总结一下：std::unique_ptr的核心就是独占所有权，仅支持移动不支持拷贝，任何时候你对一个unique_ptr执行std::move，原对象都会失去所有权变成空，新对象接管所有权保持有效。

内容的提问来源于stack exchange，提问作者Fareanor