shared_ptr到数组：应该使用它吗？

只是有关的一个小查询shared_ptr。

使用shared_ptr指向数组的好习惯吗？例如，

shared_ptr<int> sp(new int[10]);

如果没有，那为什么不呢？我已经知道的一个原因是无法增加/减少shared_ptr。因此，它不能像指向数组的普通指针那样使用。

使用C ++ 17，shared_ptr可用于管理动态分配的数组。shared_ptr在这种情况下，模板参数必须为T[N]或T[]。所以你可以写

shared_ptr<int[]> sp(new int[10]);

从n4659开始，[util.smartptr.shared.const]

  template<class Y> explicit shared_ptr(Y* p);

要求： Y应为完整类型。表达式delete[] pwhen T为数组类型，或者delete pwhen T为非数组类型，应具有明确定义的行为，并且不得引发异常。
...
备注：当T是数组类型时，该构造函数不得参与重载解析，除非该表达式delete[] p格式正确，并且T是U[N]和Y(*)[N]可以转换为T*，或者T是 U[]和Y(*)[]可以转换为T*。...

为了支持这一点，element_type现在将成员类型定义为

using element_type = remove_extent_t<T>;

数组元素可以使用 operator[]

  element_type& operator[](ptrdiff_t i) const;

要求： get() != 0 && i >= 0。如果T是U[N]，i < N。...
备注：当T不是数组类型时，不确定是否声明此成员函数。如果声明了它，则不明确其返回类型是什么，除了函数的声明（尽管不一定是定义）必须格式正确。

之前C ++ 17，shared_ptr可以不被用来管理动态分配数组。默认情况下，当不再有对它的引用时，shared_ptr将调用delete该对象。但是，当您使用进行分配时，new[]您需要调用delete[]而不是delete来释放资源。

为了正确使用shared_ptr数组，必须提供自定义删除器。

template< typename T >
struct array_deleter
{
  void operator ()( T const * p)
  { 
    delete[] p; 
  }
};

如下创建shared_ptr：

std::shared_ptr<int> sp(new int[10], array_deleter<int>());

现在在销毁托管对象时shared_ptr将正确调用delete[]。

上面的自定义删除器可以替换为

• std::default_delete数组类型的部分专业化

  std::shared_ptr<int> sp(new int[10], std::default_delete<int[]>());

• Lambda表达式

  std::shared_ptr<int> sp(new int[10], [](int *p) { delete[] p; });

另外，除非您确实需要共享托管对象的所有权，否则a unique_ptr更适合于此任务，因为它对数组类型有部分专长。

std::unique_ptr<int[]> up(new int[10]); // this will correctly call delete[]

C ++图书馆基础知识扩展引入的更改

库基础技术规范提供了上述C ++ 17之前版本的另一种替代方法，该标准经过扩充shared_ptr后可以在拥有对象数组的情况下即开即用。shared_ptr可以在N4082中找到有关此TS 的更改的当前草案。这些更改将通过std::experimental名称空间进行访问，并包含在<experimental/memory>标头中。支持shared_ptr数组的一些相关更改包括：

—成员类型的定义element_type更改

typedef T element_type;

 typedef typename remove_extent<T>::type element_type;

— operator[]正在添加成员

 element_type& operator[](ptrdiff_t i) const noexcept;

—与unique_ptr数组的部分专业化不同，两者shared_ptr<T[]>和shared_ptr<T[N]>都将是有效的，并且两者都将导致在delete[]对象的托管数组上被调用。

 template<class Y> explicit shared_ptr(Y* p);

要求：Y应为完整类型。表达式delete[] pwhen T为数组类型，或者delete pwhen T为非数组类型，格式应正确，行为应明确，并且不得引发异常。如果T是U[N]，Y(*)[N]应转换为T*; 当T是U[]，Y(*)[]应转变成T*; 否则，Y*应转换为T*。

您可能可以使用的可能更简单的替代方法是shared_ptr<vector<int>>。