[C++]new[]について

Question

いつもお世話になっております。
初歩的な質問になると思いますが、new[]で確保した場合、確保先のメモリには配列のサイズ情報が必ずセットで存在しているのでしょうか？つまりnew[1]の場合でも [1][memory] みたいになっているのでしょうか？
delete[]の動作は、そのサイズ情報を読んだ後にサイズ回、確保先のメモリをdeleteすると読んだので気になりました。
というのも、自分はその記事を読むまでnew[]で確保した後もdeleteする対象が配列か、そうでないかで場合分けして（new[]するからには、new[size]のsizeがどこかにあるはずなのでそれを記憶用の変数に残しておいて調べる）、deleteとdelete[]を使い分けるようにしていたので、それが間違っているということになるからです。

Answer 1

正しくdeleteするためには、newでメモリ確保した時の情報を「どこかに」記録しておく必要があります。

ただし、規格上その情報を取得する方法はありませんので、newしたメモリの近所にあるのか、もしくは内部で別に持つテーブルで管理しているのか、はたまたOS任せの管理なのかは、使う環境によって異なってきます。

なお、delete[]演算子に要素数を与えても、無視されるだけで意味がありません。

Comments

[退会済みユーザー]

わざわざ回答していただいたところに大変申し訳ないのですが、
「delete[]における[]内のサイズ指定をしたいので、new[]時のサイズ情報を知りたい」
という質問ではなく、簡潔にいうと、
「たとえばnew[1]したときはdelete、new[size]（size > 1 )のときはdelete[]と使い分けていたのですがその必要はないのですか？」
という内容でした。「delete[]の動作～」はそう思った理由ですね。delete[]の使い方は大丈夫です。
自分の質問の仕方が分かりにくい書き方だったでしょうか。

[maisumakun]

むしろ、「new[]したものを[]なしでdeleteする」という発想自体がなかったです。mallocにはfree、newにはdelete、new[]にはdelete[]と、対応するものできっちり破棄しないとメモリリークの原因になります。

[退会済みユーザー]

new[]には当然new[1]も選択肢に入りますし、「単体をdeleteするのがdelete、配列のような複数の塊をdeleteするのがdelete[]」と習っていたもので。
なので記事を読んで、まちがいに気付けたのは幸いでした。つまりnew[]ならdelete[]は例外なくそうであるってことでいいんですね