Phân bổ chính xác bộ nhớ trong vector

Question

Tôi đang cố gắng triển khai std::vector làm bài tập lập trình.

Hãy xem xét các đoạn mã sau:

template <class T, class Allocator = std::allocator<T>> 
class vector 
{ 
public: 
    using size_type = size_t; 
    using allocator_type = Allocator; 
    ... 
private: 
    T* m_data; 
    allocator_type m_alloc; 
    size_type m_capacity; 
    ... 
}; 

m_data có kiểu T*. Tôi cần cấp phát bộ nhớ bằng cách sử dụng std::allocator_traits<allocator_type>::allocate(m_alloc, m_capacity) trả về std::allocator_traits<allocator_type>::pointer.

Tôi có thể giả định rằng pointer có thể được đúc hoàn toàn tới T* và chỉ định giá trị được trả lại từ allocate đến m_data?

Nếu không, cách phân bổ bộ nhớ chính xác trong vector?

Answer 1

Bạn nên đặt thành viên m_data là Allocator::pointer. (Có lẽ bạn nên tạo bí danh cục bộ của loại đó trong vectơ của mình, nếu bạn muốn làm theo giao diện chuẩn.)

Loại có sẵn vì một số trình phân bổ không xử lý con trỏ thô, như Boost.Interprocess được chia sẻ bộ cấp phát bộ nhớ, có thể sử dụng con trỏ thông minh tùy thuộc vào cấu hình.