bugprone-shared-ptr-array-mismatch

查找将 C++ 共享指针初始化为非数组类型，但使用数组进行初始化的情况。

如果共享指针 std::shared_ptr<T> 使用 new 表达式 new T[] 初始化，则内存不会正确释放。在这种情况下，指针使用普通的 delete 来释放目标内存。相反，需要 delete[] 调用。一个 std::shared_ptr<T[]> 会调用正确的 delete 运算符。

如果在单个变量声明（一个语句中的一个变量）中使用，该检查会提供将 shared_ptr<T> 替换为 shared_ptr<T[]> 的选项。

示例

std::shared_ptr<Foo> x(new Foo[10]); // -> std::shared_ptr<Foo[]> x(new Foo[10]);
//                     ^ warning: shared pointer to non-array is initialized with array [bugprone-shared-ptr-array-mismatch]
std::shared_ptr<Foo> x1(new Foo), x2(new Foo[10]); // no replacement
//                                   ^ warning: shared pointer to non-array is initialized with array [bugprone-shared-ptr-array-mismatch]

std::shared_ptr<Foo> x3(new Foo[10], [](const Foo *ptr) { delete[] ptr; }); // no warning

struct S {
  std::shared_ptr<Foo> x(new Foo[10]); // no replacement in this case
  //                     ^ warning: shared pointer to non-array is initialized with array [bugprone-shared-ptr-array-mismatch]
};

此检查部分涵盖 CERT C++ 编码标准规则 MEM51-CPP. 正确地释放动态分配的资源，但此检查仅检测 std::shared_ptr 的情况。