Wie löscht [] die Größe des Operandenarrays?

Question

Foo* set = new Foo[100]; 
// ... 
delete [] set; 

Sie übergeben die Grenzen des Arrays nicht an delete[]. Aber wo ist diese Information gespeichert? Ist es standardisiert?

Answer 1

Wenn Sie Speicher auf dem Heap reservieren, wird Ihr Zuordner verfolgen, wie viel Speicher Sie zugeordnet haben. Dies wird normalerweise in einem "Kopf" -Segment kurz vor dem Speicher gespeichert, den Sie zugewiesen bekommen. Wenn der Speicher freigegeben wird, weiß der De-Allocator genau, wie viel Speicher frei ist.

Answer 2

Dies ist nicht etwas, das in der Spezifikation ist - es ist abhängig von der Implementierung.

Answer 3

Da das zu löschende Array mit einer einzigen Verwendung des Operators 'new' erstellt werden sollte. Die 'neue' Operation hätte diese Information auf den Heap legen sollen. Ansonsten, wie würde zusätzliche Verwendung von neuen wissen, wo der Haufen endet?

Answer 4

Es ist nicht standardisiert. In der Laufzeit von Microsoft verwendet der neue Operator malloc() und der Löschoperator verwendet free(). In dieser Einstellung entspricht Ihre Frage also der folgenden: Wie kann free() die Größe des Blocks erkennen?

Es gibt einige Buchhaltung hinter den Kulissen, d. H. In der C-Laufzeit.

Answer 5

Die Informationen sind nicht standardisiert. In den Plattformen, an denen ich gearbeitet habe, werden diese Informationen jedoch kurz vor dem ersten Element gespeichert. Man könnte also theoretisch darauf zugreifen und es inspizieren, aber es lohnt sich nicht.

Aus diesem Grund müssen Sie delete [] verwenden, wenn Sie Speicher mit new [] zugewiesen haben, da die Array-Version von delete weiß, dass (und wo) es die richtige Menge an Speicher freigibt - und ruft die entsprechende Anzahl von Destruktoren für die Objekte.

Answer 6

Es ist im C++ - Standard als compilerspezifisch definiert. Was Compilermagie bedeutet. Es kann mit nicht-trivialen Ausrichtungsbeschränkungen auf mindestens einer Hauptplattform brechen.

Sie können über mögliche Implementierungen denken, indem zu realisieren, dass delete[] nur für Zeiger von new[] zurück definiert ist, die nicht der gleiche Zeiger von operator new[] wie zurückgegeben werden. Eine Implementation in der Wildnis besteht darin, die Array-Zählung im ersten int zu speichern, der von operator new[] zurückgegeben wird, und new[] gibt einen Zeigeroffset zurück, der über diesen Wert hinausgeht. (Deshalb können nicht-triviale Ausrichtungen new[] brechen.)

Beachten Sie, dass operator new[]/operator delete[]! = new[]/delete[].

Plus, das ist orthogonal zu, wie C die Größe des Speichers weiß, der von malloc zugeteilt wird.

Answer 7

Grundsätzlich im Speicher seiner angeordnet sind, wie:

[info] [mem Sie gefragt ...]

Wo info die Struktur durch den Compiler zu speichern, die Menge an Speicher zugewiesen, verwendet wird, und dem, was nicht.

Dies ist jedoch implementierungsabhängig.

Answer 8

Einer der Ansätze für Compiler ist es, ein wenig mehr Speicher zuzuordnen und eine Anzahl von Elementen in einem Kopfelement zu speichern.

Beispiel, wie es gemacht werden könnte:

Hier

int* i = new int[4]; 

Compiler sizeof(int)*5 Bytes zuteilen wird.

int *temp = malloc(sizeof(int)*5) 

speichert "4" in dem ersten Byte sizeof(int)

*temp = 4; 

und stellen i

i = temp + 1; 

i So werden die Punkte auf ein Array von Elementen 4, 5 nicht

Und Löschen

delete[] i; 

wird auf folgende Weise verarbeitet:

int *temp = i - 1; 
int numbers_of_element = *temp; // = 4 
... call destructor for numbers_of_element elements 
... that are stored in temp + 1, temp + 2, ... temp + 4 if needed 
free (temp) 

Answer 9

Dies ist ein interessantes Problem, als man zunächst denken könnte. Diese Antwort bezieht sich auf eine mögliche Implementierung.

Erstens, während auf einer gewissen Ebene Ihr System muss wissen, wie man 'frei' der Speicherblock, der zugrunde liegende malloc/free (die neue/löschen/new []/delete [] rufen im Allgemeinen) nicht immer daran denken, Genau wie viel Speicher Sie benötigen, es kann aufgerundet werden (wenn Sie zum Beispiel über 4K sind, wird es oft auf den nächsten 4K-Block aufgerundet).

Daher, auch wenn die Größe des Speicherblocks erhalten könnte, sagt uns das nicht, wie viele Werte im neuen Speicher vorhanden sind, da es kleiner sein kann. Daher müssen wir eine extra Ganzzahl speichern, die uns sagt, wie viele Werte es gibt.

AUSSER, wenn der Typ, der erstellt wird, keinen Destruktor hat, dann muss delete [] nichts anderes tun, als den Speicherblock freizugeben und muss daher nichts speichern!