stl ayırıcısı, diğer tip kopyası yapıcısı,

Question

STL ayırıcılarına bu yapıcı formunu (20.1.5) gerektiren rebind: gereksinimi bu ima standart uygulamada Y(a) == b;

ile X a(b); ve olarak uygulanır:

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

Bu gereksinimin nedenini anlamakta sorun yaşıyorum. Allocatorların statik olması gerektiğini (herhangi bir devletin olmaması) anlıyorum, ama neden dünya üzerinde bunları böyle dönüştürebilmeliydiniz?

Answer 1

Kapsayıcılar, belirttiğinizden farklı bir ayırıcı türü kullanması gerektiğinden, diğer ayırıcılardan gelen yapılara izin vermek. Listeler ve haritalar, örneğin, gösterdikleri değer_türü yerine kendi iç düğüm türlerini tahsis eder. doğrudan verilen ayırıcı türünü kullanabilirsiniz bitişik tüm öğeleri saklamak

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