bugprone-unique-ptr-array-mismatch

查找将 C++ 唯一指针初始化为非数组类型的数组初始化。

如果指针 std::unique_ptr<T> 使用 new 表达式 new T[] 初始化,则内存不会被正确释放。在这种情况下,使用简单的 delete 来释放目标内存。相反,需要 delete[] 调用。 std::unique_ptr<T[]> 使用正确的 delete 运算符。如果使用了具有用户指定删除器类型的 unique_ptr,则检查不会发出警告。

如果在单个变量声明(一个语句中的一个变量)中使用,则检查提供将 unique_ptr<T> 替换为 unique_ptr<T[]> 的功能。

示例

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

D d;
std::unique_ptr<Foo, D> x3(new Foo[10], d); // no warning (custom deleter used)

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

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