Vektor von const Zeigern?

Question

Das folgende kompiliert nicht (sehr ausführlichen Fehler, aber im Grunde "kann nicht überladen werden" und "ungültige Konvertierung von 'const void *' zu 'void *'"). Ich kann deshalb zum Beispiel push_back() kann nicht verstehen, kompilieren, da Sie nicht kopieren/verschieben in ein Foo* const, aber warum nicht diese Kompilierung:

#include <vector> 
using namespace std; 

class Foo; 

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

Answer 1

Der Vektor ist wahrscheinlich der einzige Behälter, die erfordert Elemente zu sein copy assignable. Dies liegt daran, dass die Elemente garantiert zusammenhängend im Speicher gespeichert sind. Wenn Sie also die Kapazität überschreiten, müssen Sie einen neuen Chunk zuweisen und Elemente neu zuweisen. Sie können dies nicht mit const Elementen tun.

Derselbe Fehler, wenn Sie versuchen, std::vector<const int>, oder in der Tat jede const Art.

Answer 2

Sie deklarieren einen Vektor, der const Zeiger von Foo enthält, das bedeutet, dass der Zeiger nicht geändert werden konnte. Wenn Sie ein Element in den Vektor einfügen, müssten Sie in eine const pointer schreiben (nicht gültig).

Sie sind sicher, es ist nicht: std::vector<Foo const *> vec; wo Foo nicht durch den Zeiger geändert werden könnte.

Answer 3

Das C/C++ const Schlüsselwort wird linksassoziativ, das heißt, sie das Token an seinen linken bewirkt, mit der Ausnahme, wenn const ist das erste Token in einer Erklärung. Also void *const bedeutet "Konstante (= unveränderlich) Zeiger auf void".

Daraus ergibt sich die Semantik sind:

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

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

die später illegal ist, weil konstante Variablen bei Definition initialisiert werden muss und kann später nicht mehr geändert werden.

Wenn Sie std::vector<void * const> schreiben, bitten Sie den Compiler, die Vorlage als Vektor unveränderlicher Zeiger auf void zu instanziieren. Wie auch immer unveränderlich bedeutet, es kann nur bei der Definition zugewiesen werden, die jedoch nicht mit der dynamischen Natur von std::vector fliegt.

Answer 4

Vektorelemente müssen für viele Operationen zuweisbar sein: Wenn Sie ein Element in die Mitte des Vektors einfügen, müssen alle späteren Elemente neu zugewiesen werden. Const-qualifizierte Typen sind normalerweise nicht zuweisbar.

Wenn Sie keine Operationen ausführen, die eine Zuweisung erfordern, können Sie dennoch Vektoren nicht zuweisbarer Typen verwenden.

Sie können jedoch nur std::allocator<T> verwenden, wenn T ein nicht-konstanter Objekttyp ist, daher ist std::vector<const int> schlecht formatiert.