当创建对象包含唯一指针的共享指针副本时会发生什么？

Question

我一直在研究 SFML，想知道如何构建一个简单的 2D 游戏。我只是注意到这种行为，无法弄清楚发生了什么。让我困惑的示例代码：

struct Unique {};

class Shared {
public:
    Shared() {
        p = make_unique<Unique>();
    }
    unique_ptr<Unique> p;
};

void SharedCopyTest() {
    Shared foo;
    //Shared copy = foo;    // Error: function "Shared::Shared(const Shared &)" 
                            // (declared implicitly) cannot be referenced 
                            // -- it is a deleted function

    shared_ptr<Shared> sharedPtr = make_shared<Shared>();
    shared_ptr<Shared> ptrCopy = sharedPtr; // No error
}

此时，&sharedPtr->p == &ptrCopy->p;但是，如果p 的类型是unique_ptr<T>，这怎么可能？

Answer 1

std::shared_ptr 的语义是不复制所指向的对象。相反，被复制的是 std::shared_ptr 对象本身，它增加了共享指针的使用计数器。

这就是它起作用的原因，因为您实际上并没有复制 Shared 对象。

这可以很容易地通过使用共享指针get 函数来获取“原始”指针来验证：

sharedPtr.get() == ptrCopy.get()