本の虫: C++14の新機能: サイズ付き解放関数

2014-10-06

ストレージのサイズを引数で受け取れるグローバルな解放関数のオーバーロードを追加する提案。

これまで、解放関数は、解法すべきストレージのサイズを知ることができなかった。

void operator delete ( void * ptr ) noexcept
{
    // ptrが指し示すストレージのサイズは分からない
}

これは、メモリ管理に、K&Rにも書いてあるような古典的な方法を用いているのならば特に問題にはならない。ストレージのサイズまで管理しているからだ。しかし、メモリ確保のアルゴリズムは常に改良や、新しい方法が研究されている。

中でも、十分に小さいサイズごとに異なるヒープから確保するようなメモリ管理の方法は、最近主流になりつつある。

メモリ管理の方法によっては、解放すべきアドレスだけ渡されて、サイズがわからない場合、まずサイズを特定するために、検索をかけるなどのコストのかかる処理が必要になる。

オブジェクトのサイズは、技術的にはコンパイラーが把握している。しかしこれまで、解放関数にサイズを伝える方法がなかった。

C++14では、サイズを引数に取る解放関数のオーバーロードが追加された。


void operator delete ( void * ptr, std::size_t size ) noexcept
{
    // sizeは解放すべきストレージのサイズ
}

これにより、一部のメモリ管理方法における解放処理が効率的に実装できるようになる。

クラスのメンバーとしては存在した解放関数のオーバーロードを、グローバルな解放関数にも導入したとも言える。

なおこの機能はClang 3.4で実装されている。GCCではまだ実装されていない。

2014-10-06