Heap-Zuweisung explizit in C++ zu unterbinden

Question

Ich habe eine Anzahl von Klassen, für die ich die Heap-Zuweisung explizit verbieten möchte. Mir ist dieses Wochenende in den Sinn gekommen, dass ich den Operator einfach als privat (und nicht implementiert) deklarieren könnte ... Das führt natürlich zu Kompilierungsfehlern, wenn Sie versuchen, die Klasse zu ändern ... Meine Frage ist: Gibt es mehr dazu? Fehle ich etwas oder ist das eine gute Art zu tun, was ich will?

#include <stdio.h> 

class NotOnTheHeap 
{ 
public: 
    NotOnTheHeap() : foo(0) 
    { 
    } 

private: 
    void *operator new(size_t); 
    void operator delete(void*); 
    void *operator new[](size_t); 
    void operator delete[](void*); 

    int foo; 
}; 

class Heapable 
{ 
private: 
    NotOnTheHeap noth; 
}; 

int main(int argc, char* argv[]) 
{ 
    NotOnTheHeap noth; 

    Heapable* heapable = new Heapable; 

    return 0; 
} 

Answer 1

Hängt davon ab, was Sie mit "Heap-Zuweisung explizit verbieten" meinen.

Wenn Sie nur eine direkte Zuordnung auf dem Heap verhindern wollen, d.h .:

NotOnTheHeap *n = new NotOnTheHeap(); 

es ist gut genug. Es verhindert jedoch nicht, dass Ihr Objekt im Allgemeinen auf dem Heap existiert.

Zum Beispiel wird es nicht verhindern, dass Menschen std::vector <NotOnTheHeap> verwenden, die Objekte aus Ihrer Klasse auf dem Haufen zuweisen wird.

Es wird auch nicht verhindern, dass Menschen eine NotOnTheHeap als Membervariable in einer anderen Klasse verwenden, die auf dem Heap zugeordnet ist.

Answer 2

Können Sie nicht einfach die Implementierung des Operators neu eine Bestätigung (0) machen?

Answer 3

Das wird meist erreichen, was Sie versuchen.

Was Ihre Lösung nicht abdeckt, ist in-place new, das sich auf dem Heap befinden kann oder auch nicht.

Answer 4

Sie können die Kopie oder sogar Standardkonstruktion und operator = etc für ein strengeres Szenario (einige Fälle von Einbetten von Werten oder Containerbenutzung) deaktivieren.

Das wird Sie jedoch aus einigen nützlichen Konstrukten herausbringen und Sie zwingen, Ihre eigene Semantik einzuführen (etwas sichtbarer in VM impls; Mangel/Induktion ähnlicher Operator und mehrdeutiger Äquivalenz/Gleichheits-Mechanismen). Sie werden wahrscheinlich auch ein paar Compiler-Warnungen sehen, es wird nicht den ganzen Weg gehen, aber wenn es einen Trost hat, kann es ein oder zwei Nutzen haben.

Answer 5

Ergreifen Sie Scott Meyers effektives C++ und effektiveres C++ - er deckt diese Art von Sachen ab. Jeder C++ Programmierer sollte & diese Bücher lesen.