C++でオブジェクトの動的確保を制限する方法｜new演算子をprivateにするテクニック

本チュートリアルでは、C++においてオブジェクトの動的なメモリ確保（ヒープへの生成）を制限する方法について解説します。

その鍵となるのは、new演算子をクラスのprivate領域に配置することです。new演算子がprivateになると、クラスの外部からnewキーワードを使ってオブジェクトを動的に生成することができなくなり、インスタンスはスタック上（自動記憶域期間を持つ変数として）でのみ作成できるようになります。

コード例

#include <iostream>
using namespace std;
class Test {
    // new演算子をprivateにして動的生成を禁止
    void* operator new(size_t size);
    int x;
public:
    Test() { x = 9; cout << "Constructor is called\n"; }
    void display() { cout << "x = " << x << "\n"; }
    ~Test() { cout << "Destructor is executed\n"; }
};
int main() {
    Test t; // スタック上に生成されるためOK
    t.display();
    return 0;
}

実行結果

Constructor is called
x = 9
Destructor is executed

仕組みの解説

クラス内でoperator newをprivateとして宣言すると、クラス外のコードがnew Test()のようにオブジェクトをヒープ上に生成しようとした時点で、アクセス権違反によりコンパイルエラーが発生します。一方、Test t;のようにスタック上にオブジェクトを生成する処理は、new演算子を経由しないため問題なく実行できます。

この手法は、オブジェクトの寿命をスコープに紐付けて自動的に破棄したい場合や、RAII（Resource Acquisition Is Initialization）の原則に基づいてリソース管理の安全性を高めたい場合に特に有効です。また、より厳密に設計するのであれば、operator deleteも併せてprivateに宣言しておくと、意図しないメモリ解放を防ぎ、クラスのインターフェースとしての一貫性も保つことができます。