delete []は配列のサイズをどのように知っていますか？

Question

重複の可能性：How does delete[] "know" the size of the operand array?

の
How does the standard new operator work in c++?
How does delete[] “know” the size of the operand array?

デュープ私が割り当てられたメモリのサイズから[]の数字を削除する方法好奇心旺盛です。私が次のようなことをしたとき：

int* table = new int[5]; 
delete[] table; 

私はテーブルのメモリが解放されていることを理解しています。しかし、別のテーブルへのポインタを再割り当てした場合はどうなりますか？

int* table = new [5]; 
int* table2 = new [9]; 
table = table2; 
delete[] table; 

サイズ5または9のテーブルを解放しますか？私はnew []とdelete []がそのサイズに関する情報をどのように共有しているかに興味があります。あるいは、私はここに欠かせないものを逃しているかもしれないC++よくあるご質問liteの回答の

Answer 1

これは、サイズ9の配列を削除します。 ポインタが指す配列を削除します。

サイズ情報がどのように格納されているかは不明であるため、各コンパイラは異なる方法で実装するかもしれませんが、一般的な方法は配列の前に余分なブロックを割り当てることです。つまり、これを実行すると、実際には6つの整数の配列が割り当てられ、最初の要素に配列のサイズが格納されます。次に、2番目の要素へのポインタを返します。だからサイズを見つけるために、delete []は基本的にテーブル[-1]を読まなければなりません。

これは一般的な方法ですが、言語標準ではをにする必要があります。ちょうどそれは仕事する必要があります。

もう1つのアプローチは、配列のアドレスを一部のグローバルハッシュテーブルのキーとして使用することです。正しい結果が得られる限り、どのような方法でも有効です。

Answer 2

Section 16.14この：

これを行う 2つの人気の方法があります。両方のテクニックは商用コンパイラで にあり、 にはどちらもトレードオフがあり、いずれも ではありません。これらの技術は、以下のとおりです。

* Over-allocate the array and put n just to the left 
    of the first Fred object. 
* Use an associative array with p as the key and n as the value. 

Answer 3

私の推測では、新しい[]は、実際にそれはそうよりも多くのデータを割り当てていることです。おそらく、配列内にいくつの項目があるかを示すポインタが返される前に、数バイトがあります。

Answer 4

これはどのようにコンパイラ固有の詳細です。しかし、メモリ破損がないと仮定してdelete []を呼び出すと、正しい数の要素が常に削除されます。これを達成するにはいくつかの方法がありますが、1つの簡単な方法はメモリ内の長さを隠すことです。

デモンストレーションの目的でこれを実装するためのすてきで簡単な方法があります。あなたのコードが新しいint [10]を呼び出したとします。コンパイラは、10 * sizeof（int）を割り当てる代わりに、（10 * sizefo（int））+ sizeof（size_t）を割り当てます。そして、最初からオフセットされたsize_tのポインタを返します。最初のsize_tスペースの中には、数字10が書き込まれます。次に、delete []を呼び出してポインタを渡すと、コンパイラはsize_tバイトだけ後退し、削除する要素の数を見つけます。

Answer 5

このメカニズムは実装に依存しますが、あなたの例ではポインタを再割り当てすることで "騙され"ません。これは、あなたに指示したのと同じように、サイズ9の配列の割り当てを解除します（この場合、サイズ5の配列には何も指していないので、メモリリークが発生します）。

Answer 6

delete []の仕組みは実装に依存しますが、グローバルnew演算子は何らかの方法で割り当てられたメモリに関連付けられます（ほとんどの場合、割り当てられたメモリの前に置かれるか、ルックアップテーブルに格納されます）。ディスクリプタには、割り当てられたメモリの実際のサイズが含まれます。

2番目のコード例では、delete []は9要素のint配列を正しく削除し、元の5要素配列はリークされます。あなたはそのシステムストアこのような構造では、テーブルのサイズを想像

Answer 7

：

struct MemoryAllocated 
    { 
    size_t sizeOfMemory; 
    char* yourData; 
    } 

各タイプのあなたは、いくつかのメモリを割り当てると、システムは「yourData」へのポインタを返します。 そしてそれぞれのタイプがあなたのメモリが「無料」であれば、システムはポインタをシフトして 'sizeOfMemory'を取得します。関連項目：std :: allocator

Answer 8

新しい[]/delete []の場合、メモリごとに起こることは、新しい/削除の場合と同じ/同様です...サイズ情報は（大きい）割り当てられたブロック自体。配列にとって面白いのは、サイズ情報を使ってデストラクタを呼び出すオブジェクトの数を知ることです。