Dlaczego alokator jest const w wektorze?

Question

wektor ma to w każdym rodzaju konstruktora

const allocator_type& alloc = allocator_type() 

Dlaczego const? Nie rozumiem, jak to by się przydało. Widzę przekazanie w alokatorze, więc wiele wektorów może współdzielić tę samą pulę, ale zostać zgrupowane z innymi wiązkami wektorów. Jednak z const nie oznacza to, że będą kopiować tylko dane instancji? kopiowanie puli lub cokolwiek to jest, nie wydaje się przydatne.

Dlaczego to jest const?

Answer 1

Właściwie przekazanie alokatora jako const odniesienia i skopiowanie go wewnątrz kontenera upraszcza. W przeciwnym razie, gdyby tylko odniesienie zostało przekazane, musisz upewnić się, że alokator nie zostanie zniszczony przed kontenerem. Po prostu musisz udostępnić stan alokatora między jego kopiami. Możesz to zrobić po prostu trzymając pulę w numerze shared_ptr.

Answer 2

Alokatory powinny mieć semantykę wartości, co oznacza, że ​​wektor przechowuje je według wartości (zauważ, że get_allocator() zwraca wartość). Tak więc konstruktor może z łatwością wziąć alokator przez odniesienie do const i po prostu go skopiować.