template<class T>
void operator delete(void *p, size_t n, allocator<T>& al);
The template operator function lets you write a placement delete
expression that deallocates storage under control of
the allocator object al
, as in delete (n, al) p
. The function effectively calls al.deallocate(p, n)
.