5

从 C++17 开始，您可以使用make_unique它来创建指向数组的智能指针，例如：

unique_ptr<int[]> ptr = make_unique<int[]>(10);

这将创建一个指向 10 个元素的数组的智能指针（正确的 deleter[] 将被调用的事实也很棒）。

但是据此不 make_shared支持此类功能（据我了解，至少在 C++17 中不支持）：

shared_ptr<int[]> ptr = make_shared<int[]>(10);

上面的代码显然是非法的。事实上，我的 Visual Studio 2017 (v141) 吐出以下错误：

C2070: 'int[]': illegal sizeof operand'

有趣的是它shared_ptr本身确实支持数组类型（即合法），但shared_ptr<int[]>不支持。而确实如此。make_sharedmake_unique

问题是，是什么阻止了标准制定者让make_shared支持数组类型，就像make_unique?

4

1 回答 1

2

是什么阻止了标准制定者让 make_shared 支持数组类型 [...]？

可能没什么，根本没有考虑这种情况，类似于std::make_unique在 C++11 中不存在但在 C++14 中添加。正如评论中所指出的，这个缺失的部分将随 C++20 一起提供。

但是，两者之间存在差异std::unique_ptr，std::shared_ptr这使得忽略原始数组指针变得容易：自定义删除器是std::unique_ptr' 类型的一部分，但不是std::shared_ptr' 类型的一部分。因此，您可以像这样处理数组

std::shared_ptr<int> array = std::shared_ptr<int>(new int[10],
    [](int *ptr){ delete []ptr; });

因此将正确的内存清理委托给对象创建点。这使得将原始数组视为std::shared_ptr实例的特殊情况变得容易。

于 2018-08-30T11:35:48.283 回答