将内存分配给 std::shared_ptr 的正确方法

Question

我已经实现了一个功能，在这个功能中，身份是交给我的，不受我的控制。它 returns std::shared_ptr<const void>。在函数中，我分配了任意数量的内存，并通过 shared_ptr.

return 访问它

我的内存分配是用new unsigned char[123]完成的。问题是 valgrind 检测到新变体和删除变体的使用不匹配。当我使用 new[](unsigned) 来分配内存时，shared_ptr 析构函数使用 delete(void*) 来释放它，并且每当您使用 "incorrect" 释放器进行分配时，valgrind 都会发出警告。

更实际地说，我写了这个测试用例来说明我的意思：

TEST(Example, Test1)
{
  unsigned char* mem = new unsigned char[123];
  std::shared_ptr<const void> ptr(mem);
}

valgrind 报告说

==45794== Mismatched free() / delete / delete []
==45794==    at 0x4C2A64B: operator delete(void*) (vg_replace_malloc.c:576)
==45794==    by 0x40B7B5: _M_release (shared_ptr_base.h:150)
==45794==    by 0x40B7B5: ~__shared_count (shared_ptr_base.h:659)
==45794==    by 0x40B7B5: ~__shared_ptr (shared_ptr_base.h:925)
==45794==    by 0x40B7B5: ~shared_ptr (shared_ptr.h:93)
==45794==    by 0x40B7B5: Example_Test1_Test::TestBody() (test.cc:108)
==45794==  Address 0x5cb6290 is 0 bytes inside a block of size 123 alloc'd
==45794==    at 0x4C29CAF: operator new[](unsigned long) (vg_replace_malloc.c:423)
==45794==    by 0x40B72E: Example_Test1_Test::TestBody() (test.cc:107)

我想尽可能避免使用 valgrind 过滤器。

分配任意数量的数据和 return 作为 std::shared_ptr<const void> 的正确方法是什么？

Answer 1

如果您给 shared_ptr<T> 一个 T 指针，它假定您创建了一个对象并暗示删除器 delete p;。如果您的分配实际上是使用 array-new 执行的，则需要传递执行 delete[] p; 的适当删除器。如果您愿意，可以重复使用 std::default_delete：

return static_pointer_cast<const void>(
    std::shared_ptr<unsigned char>(
        new unsigned char[N],
        std::default_delete<unsigned char[]>()));

（您甚至不需要外部转换，因为转换是隐含的。）

在C++17中，shared_ptr支持数组，所以你可以说

shared_ptr<unsigned char[]>(new unsigned char[N])

在那里并获得正确的删除器（然后转换为 void）。

将内存分配给 std::shared_ptr 的正确方法

Correct way to allocate memory to std::shared_ptr

c++

memory-management

shared-ptr

c++11