Warum nicht tiefe Kopie im Standard-Kopierkonstruktor implementieren?

Question

Alle Menschen erinnern uns an den Fall, wenn Sie Standard-Kopierkonstruktor und Standard-Zuweisungsoperator verwenden, seien Sie vorsichtig, da sie Schattenkopie sind. Allerdings bin ich immer verwirrt, warum nicht standardmäßig tief Kopie zwischen Standard-Kopierkonstruktor und Standard-Zuweisungsoperator in C++ machen, so dass niemand ihre eigene Kopierkonstruktor-Implementierung schreiben muss, um jeden Unfall zu verhindern?

Answer 1

C++ implementieren Kopie nach Wert, was bedeutet, dass es im Grunde x = y;. In vielen Fällen ist das genug.

Im Fall von Zeigern weiß der Compiler jedoch nichts darüber, worauf verwiesen wird. Es wird den Wert des Zeigers kopieren, das zugrundeliegende Element wird jedoch nicht dupliziert. Zum Beispiel haben, wenn Sie eine Klasse wie folgt bekommen:

class Foo 
{ 
    char *data; 
}; 

Was dann sollte der Compiler mit data tun? Es weiß nicht, ob es auf einen einzelnen char oder ein Array von char zeigt. Es weiß nichts darüber, wie der Speicher zugewiesen wurde oder wie er freigegeben werden sollte. Es weiß nicht, ob es eine Kopie erstellen soll oder ob alle Instanzen von Foo auf dieselbe Instanz verweisen sollen.

Aus diesem Grund nimmt die Sprache eine vollkommen vernünftige Standardposition ein, nämlich dass nur der Wert des Zeigers kopiert wird. Wenn Sie etwas mehr wollen, müssen Sie es selbst tun, da nur Sie den Anwendungsfall der Variablen vollständig verstehen.