kopieerconstructor

Een kopieerconstructor, ook wel copy constructor genoemd, is een constructor die een nieuw object initialiseert als kopie van een bestaand object. In C++ wordt de kopieerconstructor doorgaans herkend aan de handtekening ClassName(const ClassName& other). De kopieerconstructor wordt aangeroepen bij het initialiseren van een object uit een bestaand object, bij het doorgeven van een object als parameter door waarde, en bij het teruggeven van een object als waarde uit een functie.

Standaard biedt de compiler een kopieerconstructor die elk lidveld kopieert in wat men een shallow copy noemt. Dit is meestal voldoende voor eenvoudige typen, maar kan problemen opleveren wanneer een klasse dynamisch geheugen, bestandshandles of andere bronnen beheert. In zulke gevallen vereist kopiëren vaak een diepe kopie, zodat meerdere objecten onafhankelijke bronnen bezitten.

In C++ is dit onderdeel van wat soms de “regel van drie” of “regel van vijf” wordt genoemd: als een klasse een destructor, een kopieerconstructor of een kopieertoewijzingsoperator nodig heeft, dan is meestal ook een kopieer- en mogelijk een move-variant nodig. Met C++11 en later is ook de move constructor en de move assignment operator relevant om onnodige kopieën te vermijden.

Als kopiëren niet toegestaan is, kun je de kopieerconstructor verwijderen of privé maken (of =delete gebruiken in moderne C++), zodat objecten niet per ongeluk gekopieerd worden.

Voorbeeld (C++): class Voorbeeld { public: int* data; Voorbeeld(int v=0): data(new int(v)) {} Voorbeeld(const Voorbeeld& other): data(new int(*other.data)) {} ~Voorbeeld(){ delete data; } };