delete []はどのようにしてオペランド配列のサイズを「認識」しますか？

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

配列の境界をに渡さないでくださいdelete[]。しかし、その情報はどこに保存されていますか？標準化されていますか？

ヒープにメモリを割り当てると、アロケータは割り当てたメモリの量を追跡します。これは通常、割り当てられたメモリの直前の「ヘッド」セグメントに格納されます。そうすることで、メモリを解放するときに、デアロケータは解放するメモリの量を正確に把握します。

コンパイラのアプローチの1つは、もう少し多くのメモリを割り当てて、head要素に要素の数を格納することです。

それがどのようにできるかの例：

ここに

int* i = new int[4];

コンパイラはsizeof(int)*5バイトを割り当てます。

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

最初のsizeof(int)バイトに「4」を格納します

*temp = 4;

そして設定 i

i = temp + 1;

したがってi、5ではなく4要素の配列を指します。

そして削除

delete[] i;

次のように処理されます。

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)

情報は標準化されていません。しかし、私が取り組んだプラットフォームでは、この情報は最初の要素の直前にメモリに保存されます。したがって、理論的にはそれにアクセスして検査することができますが、それだけの価値はありません。

また、これは、新しい[]でメモリを割り当てたときに、削除[]を使用する必要がある理由でもあります。削除の配列バージョンは、適切な量のメモリを解放するために、適切な数のデストラクタを呼び出す必要があること（および場所）を知っているためです。オブジェクト用。

基本的には次のようにメモリに配置されます：

[info] [あなたが求めたmem ...]

ここで、infoは、割り当てられたメモリの量を格納するためにコンパイラによって使用される構造体であり、そうでないものです。

ただし、これは実装に依存します。

これは仕様にあるものではなく、実装に依存しています。

これは、コンパイラー固有であるようにC ++標準で定義されています。つまり、コンパイラの魔法です。それは、少なくとも1つの主要なプラットフォームでの重要な配置制限によって破られる可能性があります。

によってdelete[]返されるポインターに対してのみ定義されることを実現することにより、可能な実装について考えることができますnew[]。これは、によって返されるポインターとは異なる場合がありますoperator new[]。実際の実装の1つは、配列カウントをによって返される最初のintに格納しoperator new[]、それをnew[]超えてオフセットされたポインタを返すことです。（これが重要な配置が壊れる理由new[]です。）

operator new[]/operator delete[]！= であることに注意してくださいnew[]/delete[]。

さらに、これは、Cがによって割り当てられたメモリのサイズを知る方法と直交していますmalloc。

なぜなら、「削除」される配列は、「new」演算子の1回の使用で作成されているはずだからです。「新しい」操作は、その情報をヒープに配置する必要があります。そうでなければ、newの追加の使用はどのようにヒープが終了するかを知るでしょうか？

標準化されていません。Microsoftのランタイムでは、新しい演算子はmalloc（）を使用し、削除演算子はfree（）を使用します。したがって、この設定でのあなたの質問は次と同等です：free（）はどのようにブロックのサイズを知るのですか？

裏側で、つまりCランタイムで、簿記が行われています。

これは、最初に考えるよりも興味深い問題です。この応答は、1つの可能な実装に関するものです。

まず、あるレベルではシステムはメモリブロックを「解放」する方法を知っている必要がありますが、基礎となるmalloc / free（通常はnew / delete / new [] / delete []が呼び出す）は必ずしも正確にどのくらいのメモリを覚えているとは限りません要求した場合、切り上げられる可能性があります（たとえば、4Kを超えると、多くの場合、次の4Kサイズのブロックに切り上げられます）。

したがって、メモリブロックのサイズを取得できたとしても、それが小さくなる可能性があるため、新しいメモリ内の値の数はわかりません。したがって、値の数を示す追加の整数を保存する必要があります。

例外として、構築される型にデストラクタがない場合、delete []はメモリブロックを解放する以外に何もする必要がなく、したがって何も格納する必要はありません。