stl cấp phát, sao chép constructor loại khác, rebind

Question

Các allocators STL yêu cầu mẫu đơn này constructor (20.1.5): X a(b); với yêu cầu rằng Y(a) == b;

Trong việc thực hiện tiêu chuẩn này ngụ ý, và được thực hiện như:

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

Tôi không hiểu tại sao yêu cầu này tồn tại. Tôi hiểu rằng các trình phân bổ phải tĩnh (không có bất kỳ trạng thái nào), nhưng tại sao trên trái đất bạn có thể chuyển đổi chúng như thế này?

Answer 1

Để cho phép xây dựng từ các trình phân bổ khác, vì vùng chứa cần phải sử dụng loại phân bổ khác với loại bạn chỉ định. Ví dụ: danh sách và bản đồ phân bổ loại nút nội bộ của chúng thay vì loại giá trị mà chúng hiển thị.

Mã này trông tương tự như:

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