operator delete

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).