How does delete[] know it’s an array?

One question that the answers given so far don’t seem to address: if the runtime libraries (not the OS, really) can keep track of the number of things in the array, then why do we need the delete[] syntax at all? Why can’t a single delete form be used to handle all deletes?

The answer to this goes back to C++’s roots as a C-compatible language (which it no longer really strives to be.) Stroustrup’s philosophy was that the programmer should not have to pay for any features that they aren’t using. If they’re not using arrays, then they should not have to carry the cost of object arrays for every allocated chunk of memory.

That is, if your code simply does

Foo* foo = new Foo;

then the memory space that’s allocated for foo shouldn’t include any extra overhead that would be needed to support arrays of Foo.

Since only array allocations are set up to carry the extra array size information, you then need to tell the runtime libraries to look for that information when you delete the objects. That’s why we need to use

delete[] bar;

instead of just

delete bar;

if bar is a pointer to an array.

For most of us (myself included), that fussiness about a few extra bytes of memory seems quaint these days. But there are still some situations where saving a few bytes (from what could be a very high number of memory blocks) can be important.

Leave a Comment