Dreierregel (C++)

Die Dreierregel bezeichnet in der Programmiersprache C++ eine Regel, die besagt, dass, wenn eine Klasse eines der folgenden drei Elemente definiert, auch die jeweils anderen beiden definiert werden sollten:

• Kopierkonstruktor
• Destruktor
• Zuweisungsoperator

Diese werden automatisch vom Compiler generiert, können aber mit einer explizit durch den Programmierer definierten Version ersetzt werden. Wird das für eine dieser Elemente gemacht, so bedeutet das, dass die compilergenerierte Version des entsprechenden Elements den Anforderungen der Klasse nicht genügt. Daraus lässt sich schließen, dass das wahrscheinlich auch bei den restlichen dieser drei Elemente der Fall ist.

Grund für diese Begebenheit ist die Tatsache, dass compilergenerierte Elemente in vielen Fällen nicht ausreichen, um bestimmte Aufgaben zu erfüllen, beispielsweise wenn die Klasse aus Objekten anderer Klassen zusammengesetzt ist, die ausschließlich von ihr verwendet werden (Komposition). Die compilergenerierte Variante kopiert nur die Zeiger auf die Objekte (flache Kopie). Eine Manipulation des kopierten Objekts würde dann auch das Original beeinflussen, da beide auf dieselben Teilobjekte zugreifen. In einem solchen Fall ist der Kopierkonstruktor wichtig, um auch die Teilobjekte zu kopieren (tiefe Kopie). Gleicherweise wird beim Löschen des Objektes der Destruktor benötigt, um die Teilobjekte ebenfalls zu löschen.

Seit dem Erscheinen von C++11 wird diese Regel zur Fünferregel, in der auch

• Verschiebekonstruktor
• Verschiebezuweisung

definiert werden sollen.

Literatur

• Stanley B. Lippman, Josèe Lajoie, Barbara E. Moo: C++ Primer. 4. Auflage. Addison-Wesley Professional, 2005. ISBN 978-0201721485