Why is there a memory leak in the following C++ code?

Question

Assume a class called Vec exists with a vector called arr as it's only member . The following code does NOT leak memory. (Which means my destructor for Vec is working as expected.)

int main() {
    Vec *obj = new Vec(5); // initializes a vector of size 5
    delete obj;
}

However, in the following code, there is a memory leak. But why? I seem to have a delete for each use of new . What am I missing?

int main() {
    Vec* obj;
    obj = new Vec(5);

    if (true) {
        delete obj;
        Vec* obj = new Vec(6);
    }

    delete obj;
}

PS: I checked for memory leak using valgrind.

Answer 1

Scope.

Vec* obj = new Vec(6); makes a new variable named obj that only exists within the if 's body and hides the obj at the outer scope. The inner obj goes out of scope and vanishes at the end of the if 's body, taking the last pointer to that new allocation with it. The code then re- delete s the obj at the outer scope ( not a good thing to do ).

Solution:

int main() {
    Vec* obj;
    obj = new Vec(5);

    if (true) {
        delete obj;
        obj = new Vec(6); // re-uses the original obj
    }

    delete obj;
}

Answer 2

The Vec* obj declared inside the if condition is in another scope. You are doing another delete outside the scope that is pointing to the Vec* object you declared at the beginning of the main(). Hence that Vec array allocated inside if condition is your memory leak

Answer 3

When you say Vec* obj = again, instead of just obj = , you shadow the old variable, instead of updating it. As a result, you leak the second obj , and worse, you double-free the first one.

Answer 4

Removing the "Vec*" in the conditional statement will fix the memory leak. You are defining a new pointer of type Vec (which happens to also be called obj) inside the conditional and never freeing that memory. Both "delete"s reference the first "obj" as the second "obj" goes out of scope without being deleted at the end of the conditional.