Defined in header <memory>
static void deallocate( Alloc& a, pointer p, size_type n );
(since C++11)

Uses the allocator a to deallocate the storage referenced by p, by calling a.deallocate(p, n)

[edit] Parameters

a - allocator to use
p - pointer to the previously allocated storage
n - the number of objects the storage was allocated for

[edit] Return value


[edit] See also

allocates uninitialized storage using the allocator
(public static member function)
deallocates storage
(public member function of std::allocator)