您可以将shared_ptr 用于C 风格数组的RAII 吗？

Question

我正在研究一段代码，该代码有许多可能的故障点，导致其提前退出该函数。我正在交互的库要求将 C 样式数组传递给函数。因此，我不是在每个退出点对数组调用 delete，而是这样做：

void SomeFunction(int arrayLength)
{
   shared_ptr<char> raiiArray(new char[arrayLength]);
   pArray = raiiArray.get();

   if(SomeFunctionThatRequiresCArray(pArray) == FAILED) { return; }

   //etc.
}

我想使用 unique_ptr，但我当前的编译器不支持它，并且引用计数开销也不支持在这种情况下确实很重要。

我只是想知道在与遗留代码交互时是否有人对这种做法有任何想法。

更新我完全忘记了shared_ptr调用delete而不是delete []。我只是看到没有内存泄漏，所以决定继续使用它。甚至没有想到使用向量。由于我最近一直在研究新的（对我来说）C++，我想我遇到了这样一个情况：“如果你拥有的唯一工具是一把锤子，那么一切看起来都像钉子。”综合症。感谢您的反馈。

更新2 我想我应该更改问题并提供答案，以使其对于犯了与我相同错误的人来说更有价值。尽管有 scoped_array、shared_array 和 vector 等替代方案，但您可以使用 shared_ptr 来管理数组的范围（但在此之后我不知道为什么我想要）：

template <typename T>
    class ArrayDeleter
    {
    public:
        void operator () (T* d) const
        {
            delete [] d;
        }
    };

void SomeFunction(int arrayLength)
    {
       shared_ptr<char> raiiArray(new char[arrayLength], ArrayDeleter<char>());
       pArray = raiiArray.get();

       if(SomeFunctionThatRequiresCArray(pArray) == FAILED) { return; }

       //etc.
    }

Answer 1

不要使用 shared_ptr 或 scoped_ptr 来保存指向动态分配数组的指针。当指针不再被引用/超出范围时，shared_ptr 和scoped_ptr 使用delete ptr; 进行清理，这会在动态分配的数组上调用未定义的行为。相反，请使用shared_array 或scoped_array，它们在析构时正确使用delete[] ptr;。

要回答您的问题，如果您不打算传递智能指针，请使用 scoped_array，因为它的开销比 shared_array 少。

或者，使用 std::vector 作为数组存储（向量保证连续的内存分配）。

Answer 2

使用 boost::scoped_array，如果您处理的是数组，则使用更好的 std::vector。

Answer 3

我强烈建议仅使用 std::vector。矢量中的元素在堆上分配，当矢量超出范围时，无论您在何处退出函数，这些元素都会被删除。

为了将 vector 传递给需要 C 样式数组的旧代码，只需传递 &vectorName[0] 即可。保证元素在内存中是连续的。

Answer 4

针对 C++11 用户的一些说明：

对于 shared_ptr，C++11 中有一个默认的删除器，用于在 中定义且符合标准的数组类型（wrt最终草案），因此在这种情况下无需额外的花哨删除器即可使用它：

std::shared_ptr<char> raiiArray(new char[arrayLength], std::default_delete<char[]>()); 

C++11 中的 unique_ptr 有部分专门化来处理 new[] 和 >删除[]。但不幸的是，它没有共同的行为。 shared_ptr 没有这样的专门化肯定是有充分理由的，但我没有寻找它，如果你知道，请分享它。

Answer 5

有 boost::scoped_ptr

Answer 6

这

shared_ptr<char*> raiiArray(new char[arrayLength]);

不是一个好的做法，但会导致未定义的行为，因为您使用运算符 new[] 进行分配，但 shared_ptr 使用operator delete 来释放记忆。正确的做法是使用 boost::shared_array 或添加自定义删除器。