C/C++でvoidポインタをdeleteしても安全？未定義動作になる理由と正しい使い方

voidポインタ（void*）とは、特定のデータ型に紐づいていない特殊なポインタのことです。メモリ上の任意のデータ位置、つまり変数のアドレスを指すことができ、「汎用ポインタ」とも呼ばれます。

voidポインタのdeleteは危険

C/C++において、voidポインタに対してdelete演算子を使用するのは安全ではありません。その理由は、deleteがオブジェクトを破棄する際に、そのオブジェクトのデストラクタを呼び出す必要があるためです。

しかし、voidポインタには型情報が含まれていないため、コンパイラはどのデストラクタを呼び出せばよいのか判断できません。この結果、プログラムは未定義動作（undefined behavior）に陥ります。

特にC++では、クラス型のオブジェクトをvoidポインタ経由でdeleteすると、デストラクタが実行されず、メモリリークやクラッシュなど深刻な問題を引き起こす可能性があります。

voidポインタの基本的な使い方

以下は、voidポインタを使ってint型とfloat型の変数を順番に参照する簡単な例です。voidポインタから値を読み出す際は、元の型へキャストし直す必要がある点に注目してください。

#include <stdio.h>

int main() {
    int a = 7;
    float b = 7.6f;
    void *p;

    p = &a;
    printf("Integer variable is = %d", *((int*) p));

    p = &b;
    printf("\nFloat variable is = %f", *((float*) p));
    return 0;
}

実行結果

Integer variable is = 7
Float variable is = 7.600000

まとめ

voidポインタはどんな型のアドレスでも格納できる柔軟な汎用ポインタですが、deleteでメモリを解放する場合は必ず元の型にキャストしてから行う必要があります。型情報のない状態でのdeleteは未定義動作となるため、絶対に避けるようにしましょう。