wektor wskaźników const?

Question

Następujące elementy nie są kompilowane (bardzo szczegółowy błąd, ale w zasadzie "nie można przeciążyć" i "nieprawidłowa konwersja z" const void * "na" void * ""). Mogę zrozumieć, dlaczego na przykład push_back() nie może skompilować, ponieważ nie można skopiować/przenieść do Foo* const, ale dlaczego nie ma tej kompilacji:

#include <vector> 
using namespace std; 

class Foo; 

int main() 
{ 
    vector<Foo* const> vec; 
} 

Answer 1

wektor jest prawdopodobnie jedynym pojemnik, który wymaga elementy mają być copy assignable. Dzieje się tak, ponieważ gwarantuje się, że elementy będą przechowywane w pamięci w sposób ciągły. Jeśli więc przekroczysz pojemność, należy przydzielić nowy fragment i ponownie przypisać elementy. Nie można tego zrobić z elementami const.

Ten sam błąd, jeśli próbujesz std::vector<const int>, lub w rzeczywistości dowolny typ const.

Answer 2

Zgłaszanie wektora zawierającego wskaźnik const Foo oznacza, że ​​wskaźnika nie można zmodyfikować. Gdy wstawisz element do wektora, musisz napisać do const pointer (nieważny).

Jesteś pewien, że to nie jest: std::vector<Foo const *> vec;, gdzie Foo nie mogą być modyfikowane przez wskaźnik.

Answer 3

Słowo kluczowe C/C++ const jest skojarzone lewostronnie, tzn. Wpływa na token po jego lewej stronie, z wyjątkiem przypadku, gdy const jest pierwszym tokenem w wyciągu. Tak więc void *const oznacza "stały (= niezmienny) wskaźnik do unieważnienia".

Stąd semantyka:

int a; 
void * const ptr = (void*)&a; /* legal */ 

int b; 
ptr = (void*)&b; /* not permitted */ 

później jest zabronione, ponieważ zmienne const musi być zainicjowany w definicji i nie mogą być zmienione później.

Podczas pisania std::vector<void * const> pytasz kompilator, aby wstawił szablon jako wektor niezmiennych wskaźników do unieważnienia. Jednak niezmienne oznacza, że ​​można go przypisać tylko z definicji, która jednak nie lata z dynamiczną naturą std::vector.

Answer 4

Elementy wektorowe muszą być przypisywane do wielu operacji: Jeśli wstawisz element w środku wektora, wszystkie późniejsze elementy muszą zostać ponownie przypisane. Zwykle typy const nie mogą być przypisywane.

Jeśli nie wykonasz operacji wymagających przypisania, nadal możesz używać wektorów o typach nieprzenoszalnych.

Można jednak użyć tylko std::allocator<T>, gdy T jest nie const typem obiektu, więc std::vector<const int> jest źle sformułowany.