operator delete, operator delete[]

対応する operator new によって以前に確保された記憶域を解放します。 これらの解放関数は、動的記憶期間を持つオブジェクトの破棄後 (または構築失敗後)、メモリを解放するために、 delete 式によって、または new 式によって呼ばれます。 これらは通常の関数呼び出し構文を使用して呼ばれる場合もあります。

すべての場合において、 ptr がヌルポインタの場合、標準ライブラリの解放関数は何もしません。 標準ライブラリの解放関数に渡されるポインタが対応する標準ライブラリの確保関数から取得したものでない場合、動作は未定義です。

標準ライブラリの解放関数が戻った後、その解放された記憶域のいずれかの部分を参照するすべてのポインタは無効になります。

[編集] 引数

[編集] 戻り値

(なし)

[編集] 例外

[編集] グローバルな置き換え

置き換え可能な解放関数 (1-10) は <new> ヘッダがインクルードされていなくても各翻訳単位で暗黙に定義されます。 これらの関数は置き換え可能です。 プログラム内の任意のソースファイル内の任意の場所で定義された同じシグネチャのユーザ提供の非メンバ関数は、対応する暗黙のバージョンをプログラム全体に対して置き換えます。 その宣言が可視である必要はありません。

プログラム内で2つ以上の置き換えが提供された場合、動作は未定義です。 置き換えが inline 指定子付きで定義された場合、動作は未定義です。 置き換えがグローバル名前空間以外の名前空間で定義された場合、動作は未定義です。 置き換えがグローバルスコープで static な非メンバ関数として定義された場合、動作は未定義です。

#include <cstdio>
#include <cstdlib>
// 確保/解放関数の最低限の置き換え
void* operator new(std::size_t sz) {
    std::printf("global op new called, size = %zu\n",sz);
    return std::malloc(sz);
}
void operator delete(void* ptr) noexcept
{
    std::puts("global op delete called");
    std::free(ptr);
}
int main() {
     int* p1 = new int;
     delete p1;
 
     int* p2 = new int[10]; // C++11 では置き換えを呼ぶことが保証されます。
     delete[] p2;
}

global op new called, size = 4
global op delete called
global op new called, size = 40
global op delete called

追加のユーザ定義引数を持つ operator delete および operator delete[] のオーバーロード (「配置形式」、 (15,16)) は、通常通りグローバルスコープで宣言することができ、確保中のオブジェクトのコンストラクタが例外を投げた場合、一致する配置形式の new 式によって呼ばれます。

標準ライブラリの配置形式の operator delete (13,14) は、置き換えることはできず、配置 new 式が ::new 構文を使用しない場合に、一致するシグネチャ void T::operator delete(void*, void*) または void T::operator delete[](void*, void*) を持つクラス固有の配置 delete (25,26) を提供することによってのみ、カスタマイズできます。

[編集] クラス固有のオーバーロード

解放関数 (17-24) はクラスの static メンバ関数として定義できます。 これらの解放関数は、提供されていれば、そのクラスのオブジェクト (17,19,21) および配列 (18,20,22) を削除するときに delete 式によって呼ばれます。 ただしその delete 式がクラススコープの探索をバイパスする ::delete の形式を使用している場合を除きます。 キーワード static はこれらの関数の宣言に対しては任意であり、使用されようがされなかろうが、解放関数は必ず static メンバ関数です。

delete 式は適切な解放関数の名前をまずクラススコープから (配列形式はその配列の要素クラスのスコープから) 探し、通常通り、メンバが見つからない場合は、グローバルスコープから探します。 名前探索のルールにより、クラススコープで宣言されたいずれかの解放関数は、すべてのグローバル解放関数を隠蔽することに注意してください。

削除されるオブジェクトの静的な型がその動的な型と異なる場合 (基底へのポインタを通して多相オブジェクトを削除するときなど)、そしてその静的な型のデストラクタが virtual な場合、単一オブジェクト形式の delete はその仮想デストラクタの最終オーバーライダーの定義地点から解放関数の名前の探索を開始します。 実行時にどの解放関数が実行されるかにかかわらず、コンパイルするためには operator delete の静的に可視なバージョンがアクセス可能でなければなりません。 それ以外の場合では、基底へのポインタを通して配列を削除するとき、または非仮想デストラクタを持つ基底へのポインタを通してアクセスするとき、動作は未定義です。

単一引数のオーバーロード (17,18) は提供されないけれども第2引数として std::size_t を取るサイズ対応のオーバーロード (21,22) が提供される場合、通常の解放のためにサイズ対応形式が呼ばれ、 C++ のランタイムにより解放中のオブジェクトのサイズが第2引数として渡されます。 両方の形式が定義されている場合、サイズ非対応のバージョンが呼ばれます。

#include <iostream>
// サイズ付きのクラス固有の解放関数
struct X {
    static void operator delete(void* ptr, std::size_t sz)
    {
        std::cout << "custom delete for size " << sz << '\n';
        ::operator delete(ptr);
    }
    static void operator delete[](void* ptr, std::size_t sz)
    {
        std::cout << "custom delete for size " << sz << '\n';
        ::operator delete(ptr);
    }
};
int main() {
     X* p1 = new X;
     delete p1;
     X* p2 = new X[10];
     delete[] p2;
}

custom delete for size 1
custom delete for size 18

追加のユーザ定義引数を持つ operator delete および operator delete[] のオーバ���ロード (「配置形式」、(25,26)) もクラスメンバとして定義できます。 失敗した配置 new 式が呼ぶための対応する配置 delete 関数を探するときは、グローバルスコープを調べる前にクラススコープから探索を開始し、その配置 new に一致するシグネチャを持つ関数を探します。

#include <stdexcept>
#include <iostream>
struct X {
    X() { throw std::runtime_error(""); }
    // カスタム配置 new
    static void* operator new(std::size_t sz, bool b) {
        std::cout << "custom placement new called, b = " << b << '\n';
        return ::operator new(sz);
    }
    // カスタム配置 delete
    static void operator delete(void* ptr, bool b)
    {
        std::cout << "custom placement delete called, b = " << b << '\n';
        ::operator delete(ptr);
    }
};
int main() {
   try {
     X* p1 = new (true) X;
   } catch(const std::exception&) { }
}

custom placement new called, b = 1
custom placement delete called, b = 1

クラスレベルの operator delete がテンプレート関数の場合、その戻り値型は void、第1引数は void* でなければならず、2つ以上の引数を取らなければなりません。 別の言い方をすると、配置形式のみがテンプレート化できます。 テンプレート operator delete の特殊化はテンプレートの実引数推定で選択されます。

[編集] ノート

多相クラスに対するクラス固有の T::operator delete の呼び出しは、 static メンバ関数が動的ディスパッチを通して呼ばれる唯一のケースです。

[編集] 欠陥報告

以下の動作変更欠陥報告は以前に発行された C++ 標準に遡って適用されました。

[編集] 関連項目