Czy mogę wywołać jawnie konstruktora kopiowania?

Question

Jestem trochę zdezorientowany co do mechaniki konstruktora kopii. Popraw mnie, jeśli się mylę:

Jeśli metoda odwołuje się do obiektu jako parametru, a klasa definiuje construtor kopiowania, wówczas klasa używa konstruktora do utworzenia kopii samego siebie i to zostaje przekazane do funkcja zamiast odniesienia do oryginalnego obiektu?

Ponadto można nazwać

Object * obj = new Object(&anotherObject); 

aby utworzyć kopię anotherObject?

Answer 1

Nie, jeśli funkcja ma odniesienie:

void f1(Object & o); // call by reference 

wtedy nie kopii. Jeśli funkcja przyjmuje wartość:

void f2(Object o); // call by value 

to kopia jest tworzona przez kompilator za pomocą konstruktora kopiowania.

I tak, kiedy mówisz:

Object * obj = new Object(anotherObject); // not &anotherObject 

konstruktor kopia jest wykorzystywana jawnie (zakładając anotherObject jest typu Object). Nie ma nic magicznego używania new Tutaj jednak - w tym przypadku:

Object obj2(anotherObject); 

używany jest również konstruktor kopii.

Answer 2

Jeśli metoda odwołuje się do obiektu jako parametru, konstruktor kopiowania nie zostanie wywołany. Gdyby tak było, to wywołanie konstruktora kopiowania spowodowałoby nieskończoną pętlę (ponieważ jako argument przyjmuje referencję).

Linia ta nie jest prawidłowym sposobem wywołania konstruktora kopiowania. Oczekuje odniesienia jako argumentu, a nie wskaźnika.

Answer 3

Nie w obu przypadkach. W pierwszym przypadku odniesienie do samego obiektu jest przekazywane, a kopia nie jest tworzona. W drugim przypadku przekazujesz wskaźnik do konstruktora object, więc nie jest tworzona żadna kopia. Tak obiekt powinien mieć konstruktora (nie konstruktora kopia), który jest czymś w rodzaju object(anotherClass*)

Answer 4

Copy konstruktora jest wywoływana tylko przy przejściu przez wartośćnie przez odniesienie. Przez odniesienie nie jest potrzebne kopiowanie (jest to część tego, do czego odnoszą się referencje!), Więc nie wywołano konstruktora kopiowania.

Answer 5

Fakt, że wykonujesz wywołanie metody, nie ma tutaj żadnego znaczenia. Inicjowanie parametrów referencyjnych podczas wywołania funkcji nie różni się od inicjalizacji referencyjnej i podlega tym samym regułom.

Zasady inicjowania referencji są nieco skomplikowane, ale najważniejsze jest to, że jeśli inicjalizator jest lwartością (argument w wywołaniu metody w twoim przypadku), a typ referencji jest taki sam jak typ inicjator (tj. typ parametru jest taki sam, jak typ argumentu), wówczas referencja będzie powiązana bezpośrednio. To znaczy. kopia nie jest tworzona.

Object a; // class type 
Object &r = a; // no copying 
const Object &cr = a; // no copying 

Jeśli te wymagania nie są spełnione (na przykład jeśli inicjalizator jest wartością runt), to wszystko zależy. W niektórych przypadkach kopiowanie może i będzie miało miejsce. Na przykład

const Object &tr = Object(); 

mogą być interpretowane przez kompilator jako

const Object &tr = Object(Object(Object(Object()))); 

z realizacji zależny od skończonej liczby copyings. Oczywiście, ze względów wydajnościowych kompilatory normalnie starają się nie tworzyć niepotrzebnych kopii, nawet jeśli mogą kopiować.

Klasycznym przykładem, że często wzbudza dyskusję na temat ważności zachowania kopiowanie kompilator jest inicjalizacja odniesienia w wyrażeniach jak na poniższym jednego

Object a; 
const Object &r = <some condition> ? a : Object(); 

Osoba zaznajomiona z semantyki C++ odniesienia zrozumie, że wyrażenia takie jak powyższe są prawdopodobnie uzasadnieniem standardowego zezwolenia na wykonywanie zbędnego kopiowania podczas inicjowania referencji.

Answer 6

tak wykorzystujące umieszczenie nowego tak:

Object dstObject; 
new(&dstObject) Object(&anotherObject);