Kann eine abgeleitete Klasse nicht kopierbar gemacht werden, indem man den Kopierkonstruktor/operator in der Basisklasse als privat deklariert?

Question

Ich dachte in der Theorie die Antwort auf diese Frage war ja.

In der Praxis scheint jedoch mein Compiler (VS2010) in der folgenden Situation nicht zu klagen: Ich habe eine abstrakte Basisklasse, die eine gemeinsame Schnittstelle (noch keine Datenelemente) und verschiedene davon abgeleitete Sub- und Subsubclasses bereitstellt.

class Base 
{ 
public: 
    Base() {} 
    virtual ~Base() {} 

    virtual void interfaceFunction1() = 0; 
    virtual void interfaceFunction2() = 0; 
private: 
    Base(const Base&);   // all derived classes should be uncopyable 
    Base& operator=(const Base&); 

    // no data members 
}; 

Mein Compiler fand es unproblematisch, auch voll Kopierkonstruktoren in sub- oder subsubclasses zu implementieren.

Wie kann ich sicherstellen, dass jede von Base abgeleitete Klasse nicht kopierbar ist?

edit: Wenn ich gut verstehen, das ist genau das, was Scott Meyers 6 von Effective C in näheren Erläuterungen ++ (3. Auflage, 2005) mit seiner Idee der Klasse Uncopyable (nur erweitert hier auf eine vollständige Schnittstelle Klasse). Was macht seine Idee aus? (Ich weiß, dass er privat erbt, aber das sollte kein Problem darstellen)

Answer 1

Dies sollte verhindern, dass der Compiler einen Kopierkonstruktor für abgeleitete Klassen generiert, die nicht explizit deklarieren. Nichts hindert jedoch eine abgeleitete Klasse daran, explizit einen Kopierkonstruktor zu deklarieren, der etwas anderes tut, als den Kopierkonstruktor Base aufzurufen.

Es gibt keine Möglichkeit sicherzustellen, dass abgeleitete Klassen instanziierbar, aber nicht kopierbar sind.

Answer 2

Anstatt den Kopierkonstruktor/Operator als privat zu deklarieren, deklarieren Sie sie als gelöscht. Die Deklaration des Kopierkonstruktors/-operators als privat ist nicht die beste Lösung, um die abgeleiteten Klassen nicht kopierbar zu machen. Wenn Sie möchten, dass die Basisklasse vollständig nicht kopierbar ist, deklarieren Sie den Kopierkonstruktor/Operator als d löschen d als Kopie kann immer noch innerhalb der Elementfunktionen von Base als private Mitglieder sind zugänglich für die Klassenfunktionen. Sie können das C++ 11 Merkmal löschen verwenden:

Base(const Base&) = delete; // copy constructor 
Base& operator=(const Base&) = delete; // copy-assignment operator 

Aber erklärt Copykonstruktor/Betreiber als Privat auch wie Recht lange, wie Sie diese Kopie noch bewusst sind, Platz innerhalb der Elementfunktionen übernehmen kann Basis.