allocator::destroy

void destroy(pointer p);

The member function destroys the object designated by p, by calling p->T::~T().