C++如何讓類物件只能在堆（棧）上分配空間

一般情況下寫一個類都是可以採用new在堆上分配空間，或直接採用 類名+物件名 的方式在棧上分配空間。但有時候，如果想讓一個類只能在棧上或者堆上分配空間，又該怎麼實現呢？

下面分別來介紹如何定義只能在棧上或堆上例項化的類。

注：
1.靜態例項化物件 如 A a;的步驟為：先由編譯器為物件在棧空間分配記憶體，移動棧頂指標，挪出適當的空間，然後在這個空間上呼叫建構函式形成一個物件，在物件使用完之後，呼叫解構函式回收記憶體，棧頂指標減一。
2.動態例項化物件：new操作符，第一步執行operator new()函式在堆上分配一個記憶體，然後呼叫建構函式初始化這片空間。

1.只能在棧上分配類物件
只有使用new運算子，物件才會建立在堆上，因此要禁用new運算子才能只在棧上分配空間。但new操作符是C++內建的，所以必須要先認清一個事實即：new operator總是先呼叫operator new,所以我們只要堆new操作符進行過載，並將它宣告為private的，就能保證不能再使用new例項化物件，如：

class A{
private:
    void* operator new(size_t t){}
    void operator delete(void* ptr){}
public:
    A();
    ~A();
};

那麼此時就不能再呼叫new操作符了。

2.只能在堆上例項化物件
容易想到的方法是將建構函式私有化，那麼在類外就不能例項化物件，只能在類內提供一個共有函式使用new運算子返回一個物件，這也是典型的單例模式的由來，但在類外還是不能使用new操作符進行例項化。所以這種方法是行不通的。

所以考慮解構函式的私有化。因在棧上例項化物件之後，物件使用完畢之後自動呼叫解構函式，而new物件後，要手動呼叫delete函式才能執行物件的解構函式。
所以當解構函式被私有化之後，若在棧上例項化物件，編譯器先會檢查該物件的解構函式是否可用，如果不可用，則會報錯。在堆上釋放物件時，若不呼叫delete就不會發現解構函式不可訪問。

這就會引發另外一個問題，使用new操作符在堆上例項化的物件要怎麼析構呢？解決辦法就是，在類中自定義一個公有函式用來銷燬物件，該函式呼叫delete操作符，這樣就可以使用該函式銷燬物件而不是直接使用delete操作符了。
如：

class A{
public:
    A(){}
    void destroy(){delete this;}
private:
    ~A(){}

};

在此，就可以使用new在堆上建立物件而使用destroy()析構物件了。

注意：採用這種方式後，類A不能用在繼承體系當中。
若A為基類，那麼其解構函式就是virtual的（保證記憶體完全釋放），子類必須要能重寫該解構函式，但子類根本無法訪問他，這是其一。其二，即使子類能夠重寫解構函式，若B是繼承自A的子類，且聲明瞭一個B類的物件b，那麼此時若析構B，基類A不能被正確釋放，導致記憶體洩露。