オペレータは、新しい私は、この署名を持っているオペレータ<code>new</code>を上書きしたい

Question

に尋ねたよりも多くのメモリを返す：今、私は何をしたいのか

struct MemoryManager 
{ 
    virtual void* Allocate(size_t bytes) = 0; 
    virtual void Deallocate(void* ptr) = 0; 
}; 

：

void* operator new(size_t bytes, MemoryManager* man); 

をし、クラスMemoryManagerはこのようになりますオーバーロードされたnew関数が、要求されたよりも多くのメモリを割り当てています。最後の数バイトでMemoryManagerオブジェクトへのポインタが格納されるので、私のカスタムdeleteオペレータで使用する関数を知ることができます。だから、このような何かを割り当てるように見えるでしょう：

__________ 
|   | _ 
|__________| | 
|   | | 
|__________| | 
|   | | <---- Bytes requested for object 
|__________| | 
|   | | 
|__________| | 
|   | _| 
|__________| 
|   | _ 
|__________| | <---- Pointer to MemoryManager 
|   | _| 
|__________| 

私の本物の質問は、この結果は未定義の動作ですか？問題がある可能性がいくつかの点：

• それはあなたが、アライメントの問題に遭遇するかもしれない（しかし、それらはおそらく克服することができる）
• を要求したよりも多くのバイトを返すためにnew未定義される可能性があります

Answer 1

この種類はかなり一般的です。ただし、通常は余分なデータを最後ではなく開始時に保存します（プラットフォームの最大アラインメント、つまりパディングが必要な場合があります）。あなたが提案していることを禁止する言語には何もありません。 [basic.stc.dynamic.allocation]から

Answer 2

：

割り当て機能は、ストレージの要求量を割り当てよう。成功した場合は、少なくともブロックサイズがのである記憶ブロックの開始アドレスを返すものとする。

強調が追加されました。したがって、標準では、有効なストレージ領域には厳密に要求されるよりも多くの領域があることが許可されています。