矢量<shared_ptr的<X>＆GT;复制 - X构造函数名为？</shared_ptr <x>

Question

我有std::vector<std::shared_ptr<X>>

我正在查看MSVC矢量复制构造函数实现。我可以看到向量在源向量中迭代并复制每个元素。我可以看到调用placement new的位置并调用shared_ptr构造函数，但是我看不到被调用的类X的构造函数。我在调试中单步执行代码，我从未到过类X的任何构造函数。

当然在某些时候需要X的复制构造函数？还是我错了？

Answer 1

如果我们有代码：

std::vector<std::shared_ptr<X>> vec;
for (int i=0; i<10000; ++i)
    vec.emplace_back();

我们希望X的构造函数被调用为零次，X的复制构造函数被调用为零次，而X的移动构造函数被调用为零次

如果我们有代码：

std::vector<std::shared_ptr<X>> vec;
vec.push_back(std::make_shared<X>());
for (int i=0; i<10000; ++i)
    vec.emplace_back();

我们希望X的构造函数被调用一次，而X的复制和移动构造函数将被调用为零次。

为什么？

我们从不移动或复制X。我们移动和/或复制shared_ptr，其中可能包含指向X的指针。将指针复制到X不需要我们复制对象。

X *obj = new X;
X *ptr_copy = obj;

也没有在那里调用X的拷贝构造函数。

Answer 2

shared_ptr的所有副本都指向同一个对象X.当没有复制创建了X的shared_ptr的新副本时。 shared_ptr计算其副本的数量，并在删除shared_ptr的最后一个副本时删除对象。

Answer 3

执行std :: vector＆lt;＆gt;的复制构造函数时包含shared_ptr元素，它将增加shared_ptr对象中的计数器。它不会创建X的新对象，而是使用shared_ptr中的计数器增加共享对象的数量。所以你不会看到X

的构造函数的执行