Tại sao phân bổ const trong vector?

Question

vectơ này có trong mọi loại phương thức khởi tạo

const allocator_type& alloc = allocator_type() 

Tại sao nó lại const? Tôi không thể thấy nó hữu ích như thế nào. Tôi có thể nhìn thấy đi qua trong một cấp phát vì vậy nhiều vectơ có thể chia sẻ cùng một nhóm nhưng được nhóm lại khỏi một nhóm vectơ khác. Tuy nhiên với const wouldnt có nghĩa là họ sẽ chỉ sao chép dữ liệu cá thể? sao chép một hồ bơi hoặc bất cứ điều gì nó không có vẻ là hữu ích.

Tại sao nó const?

Answer 1

Thực ra, chuyển cấp số như là const tham chiếu và sao chép nó bên trong vùng chứa sẽ đơn giản hóa mọi thứ. Nếu không, nếu chỉ có một tham chiếu được truyền vào, bạn sẽ phải đảm bảo rằng bộ cấp phát không bị hủy trước vùng chứa. Bạn chỉ cần chia sẻ trạng thái cấp phát giữa các bản sao của nó. Bạn có thể làm điều đó chỉ đơn giản bằng cách giữ hồ bơi trong một shared_ptr.

Answer 2

Người phân bổ có nghĩa vụ phải có ngữ nghĩa giá trị, có nghĩa là vector lưu trữ theo giá trị (chú ý rằng get_allocator() trả về theo giá trị). Vì vậy, các nhà xây dựng có thể dễ dàng lấy phân bổ bởi tham chiếu const và chỉ cần sao chép nó.