Wie löscht [] die Größe eines Arrays?

Es würde ein Array der Größe 9 löschen. Es löscht das Array, auf das der Zeiger zeigt.

Es ist nicht spezifiziert, wie die Größeninformation gespeichert wird, so dass jeder Compiler es auf eine andere Art und Weise implementieren kann, aber ein üblicher Weg ist es, einen zusätzlichen Block vor dem Array zuzuweisen. Das heißt, wenn Sie dies tun:

Es weist tatsächlich ein Array von 6 Ganzzahlen zu und speichert die Array-Größe im ersten Element. Dann gibt es einen Zeiger auf das zweite Element zurück. Um die Größe zu finden, muss delete [] einfach nur Tabelle [-1] lesen.

Das ist ein gängiger Weg, aber der Sprachstandard gibt nicht vor, dass auf diese Weise gemacht werden muss. Nur dass es funktioniert .

Ein anderer Ansatz könnte darin bestehen, die Adresse des Arrays als Schlüssel in einer globalen Hash-Tabelle zu verwenden. Jede Methode ist gültig, solange sie die richtigen Ergebnisse liefert.

Abschnitt 16.14 der C ++ - FAQ lite beantwortet dies:

  

Es gibt zwei beliebte Techniken, die   mach das. Beide Techniken sind in   Verwendung von kommerziellen Compilern,   beide haben Kompromisse, und keines von beiden   perfekt. Diese Techniken sind:

%Vor%

Wie das gemacht wird, ist ein kompilerspezifisches Detail. Aber der Aufruf zum Löschen von [], der keine Speicherbeschädigung annimmt, löscht immer die richtige Anzahl von Elementen. Es gibt mehrere Möglichkeiten, dies zu erreichen, aber eine einfache Möglichkeit besteht darin, die Länge im Speicher zu verbergen.

Hier ist eine schöne und einfache Möglichkeit, dies zu Demonstrationszwecken zu implementieren. Sagen Sie, Ihr Code ruft new int [10] auf. Anstatt 10 * sizeof (int) zuzuweisen, weist der Compiler (10 * sizefo (int)) + sizeof (size_t) zu. Es gibt dann einen Zeiger auf Sie zurück, der Offset size_t von Anfang an hat. Innerhalb dieses ersten Platzes size_t schreibt es die Zahl 10. Wenn Sie nun delete [] aufrufen und einen Zeiger übergeben, geht der Compiler einfach rückwärts size_t bytes und findet die Anzahl der zu löschenden Elemente.

Wie delete [] funktioniert, ist implementierungsabhängig, aber der globale neue Operator ordnet einen Deskriptor dem zugewiesenen Speicher auf irgendeine Weise zu (in den meisten Fällen wird er dem zugewiesenen Speicher vorangestellt oder in einer Nachschlagetabelle gespeichert). Der Deskriptor enthält die tatsächliche Größe des Speichers, der zugewiesen wurde.

In Ihrem zweiten Codebeispiel löscht delete [] das neun Elemente umfassende Array von int, und das ursprüngliche Array mit fünf Elementen wird durchgesickert.

Der Mechanismus ist implementierungsabhängig, wird aber nicht "getäuscht", wenn Sie den Zeiger in Ihrem Beispiel neu zuweisen. Es wird das Array der Größe 9 freigeben, genau wie du es ihm gesagt hast (und in diesem Fall wird es einen Speicherverlust geben, da das Array der Größe 5 jetzt nichts mehr darauf hinweist).

Ich nehme an, dass new [] tatsächlich mehr Daten zuweist als es scheint. Es hat wahrscheinlich ein paar Bytes vor dem zurückgegebenen Zeiger, der angibt, wie viele Elemente im Array sind.

Sie können sich vorstellen, dass das System die Größe der Tabelle in einer Struktur wie dieser speichert:

Geben Sie bei jeder Speicherzuweisung einen Zeiger auf 'yourData' ein. Und bei jedem Typ ist Ihr Speicher "frei", das System verschiebt den Zeiger, um das "sizeOfMemory" zu erhalten. Siehe auch std :: allocator

im neuen Fall [] / delete [], was memory-weise geschieht, ist gleich / ähnlich dem, was in new / delete case passiert ... die Größeninformation wird innerhalb des (größeren) zugewiesenen Blocks selbst gespeichert. Was für Arrays interessant ist, ist, dass es auch die Größeninformationen verwendet, um zu wissen, wie viele Objekte Destruktoren aufgerufen werden sollen.