STL podzielnik, kopia konstruktora innego typu, ponownie powiązać

Question

Te podzielniki STL wymagają tego formularza konstruktora (20.1.5): X a(b); z wymogiem Y(a) == b;

W standardowej realizacji implikuje to, i jest zaimplementowany jako:

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

Mam problem ze zrozumieniem, dlaczego to wymaganie istnieje. Rozumiem, że alokatory powinny być statyczne (nie mieć żadnego stanu), ale dlaczego na ziemi powinieneś móc je przekonwertować w ten sposób?

Answer 1

Aby umożliwić budowę z innych alokatorów, jako kontenery należy użyć innego typu alokatora niż określono. Listy i mapy, na przykład, przydzielają swój wewnętrzny typ węzła, a nie typ wartości, który eksponują.

Kod wygląda podobnie do:

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; 
};