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

For all the container classes defined by STL, if an exception is thrown during calls to the
following member functions:
insert // single element inserted at end
push_back
push_front
the container is left unaltered and the exception is rethrown.
For all the container classes defined by STL, no exception is thrown during calls to the
following member functions:
pop_back
pop_front
The member function erase throws an exception only if a copy operation (assignment or
copy construction) throws an exception.
Moreover, no exception is thrown while copying an iterator returned by a member function.
The member function swap makes additional promises for all container classes defined by
STL:
The member function throws an exception only if the container stores an allocator object
al, and al throws an exception when copied, or if the container stores a function object
comp, to determine how to order the controlled sequence, and comp throws an exception
when copied.
●
References, pointers, and iterators that designate elements of the controlled sequences
being swapped remain valid.
●
An object of a container class defined by STL allocates and frees storage for the sequence it
controls through a stored object of type Alloc, which is typically a template parameter. Such
an allocator object must have the same external interface as an object of class
allocator<Ty>. In particular, Alloc must be the same type as
Alloc::rebind<value_type>::other
For all container classes defined by STL, the member function:
Alloc get_allocator() const;
returns a copy of the stored allocator object. Note that the stored allocator object is not copied
when the container object is assigned. All constructors initialize the value stored in
allocator, to Alloc() if the constructor contains no allocator parameter.
According to the C++ Standard a container class defined by STL can assume that:
All objects of class Alloc compare equal.●
Type Alloc::const_pointer is the same as const Ty *.●
Type Alloc::const_reference is the same as const Ty&.●