Method destroy

benchmarks/dlib/std_allocator.h:108–112

destroy elements of initialized storage p

        //destroy elements of initialized storage p
        void destroy (pointer p) 
        {
            // destroy objects by calling their destructor
            p->~T();
        }

        //deallocate storage p of deleted elements
        void deallocate (pointer p, size_type )