asignador STL, constructor de copia de otro tipo, remapean

Question

Los asignadores STL requieren esta forma constructor (20.1.5): X a(b); con el requisito de que Y(a) == b;

En la implementación estándar esto implica, y se implementa como:

template<class U> allocator(const allocator<U> & o) throw() 

Tengo problemas para entender por qué existe este requisito. Entiendo que los asignadores deben ser estáticos (no tienen ningún estado), pero ¿por qué debería poder convertirlos así?

Answer 1

Para permitir la construcción desde otros asignadores, ya que los contenedores necesitan utilizar un tipo de asignador diferente al especificado. Las listas y los mapas, por ejemplo, asignan su tipo de nodo interno en lugar del tipo de valor que exponen.

El código es similar a:

template<class T, class Alloc=std::allocator<T> > 
struct Container { 
    typedef T value_type; 
    typedef Alloc allocator_type; 

private: 
    struct Node {/*...*/}; 
    typedef typename Alloc::template rebind<Node>::other RealAllocatorType; 
    RealAllocatorType allocator; 
};