SEI CERT C++ Coding Standard

Memory Management (MEM) - MEM51-CPP. Properly deallocate dynamically allocated resources
7.2.6 Compliant Solution (Double-Free)
In this compliant solution, the copy constructor and copy assignment operator for C are explicitly
deleted. This deletion would result in an ill-formed program with the definition of g() from the
preceding noncompliant code example due to use of the deleted copy constructor. Consequently,
g() was modified to accept its parameter by reference, removing the double-free.
struct P {};
class C {
P *p;
public:
C(P *p) : p(p) {}
C(const C&) = delete;
~C() { delete p; }
void operator=(const C&) = delete;
void f() {}
};
void g(C &c) {
c.f();
}
void h() {
P *p = new P;
C c(p);
g(c);
}
7.2.7 Noncompliant Code Example (array new[])
In the following noncompliant code example, an array is allocated with array new[] but is
deallocated with a scalar delete call instead of an array delete[] call, resulting in undefined
behavior.
void f() {
int *array = new int[10];
// ...
delete array;
}
SEI CERT C++ CODING STANDARD (2016 EDITION) | V01 225
Software Engineering Institute | Carnegie Mellon University
[DISTRIBUTION STATEMENT A] Approved for public release and unlimited distribution.