Standard C++ Library Reference ISO/IEC (VERSION3)

allocator::const_pointer
typedef const Ty *pointer;
The pointer type describes an object ptr that can designate, via the expression *ptr, any const
object that an object of template class allocator can allocate.
allocator::const_reference
typedef const Ty& const_reference;
The reference type describes an object that can designate any const object that an object of
template class allocator can allocate.
allocator::construct
void construct(pointer ptr, const Ty& val);
The member function constructs an object of type Ty at ptr by evaluating the placement new
expression new ((void *)ptr) Ty(val).
allocator::deallocate
void deallocate(pointer ptr, size_type count);
The member function frees storage for the array of count objects of type Ty beginning at ptr,
by calling operator delete(ptr). The pointer ptr must have been earlier returned by a
call to allocate for an allocator object that compares equal to *this, allocating an array
object of the same size and type. deallocate never throws an exception.
allocator::destroy
void destroy(pointer ptr);
The member function destroys the object designated by ptr, by calling the destructor
ptr->Ty::~Ty().
allocator::difference_type
typedef ptrdiff_t difference_type;
The signed integer type describes an object that can represent the difference between the
addresses of any two elements in a sequence that an object of template class allocator can
allocate.