automatyczne wywolanie konstruktora

Question

witam mam instrukcje 

Stonewt x = z + y;

z + y to przeciązone operatory

Stonewt operator+(const Stonewt & ob, const Stonewt & oj)
{
	return Stonewt(ob.pounds + oj.pounds);
}

czy da sie (niejawnie) wywolac domyslny konstruktor zanim obiekt x zostanie zainicjowany instukcją z + y ?

Comments

Podaj cel. Czy to może jest quiz jak załamać teorię typów?

Answer 1

Niby się da.. ale radziłbym znaleźć inne rozwiązanie (tak przerobić, żebys nie musiał go wołać).

W tym konkretnym przypadku uruchomiony zostanie konstruktor przenoszący, więc musiałbyś sobie go jawnie zdefiniować (C++ niejawnie definiuje go za ciebie jeśli jest to możliwe) i użyć delegowania konstruktorów, żeby zawołać domyślny kontruktor (zostanie wykonany przed).

class Stonewt {
public:
   Stonewt(Stonewt&& other) : Stonewt() // tutaj wolany jest kontruktor domyslny; wykonywany jest przed kodem tego konstruktora
   {
      // tutaj przekopiowujesz wszystkie membery obiektu other do obiektu na ktorym wykonuje sie konstruktor
      // lub przenosisz zgodnie z semantyką przenoszenia
   }
};

Jeśli jednak kod wygladalby w ten sposob:

Stonewt zy = z + y;
Stonewt x = zy;

To uruchomiony zostanie konstruktor kopiujący (tj. Stonewt(const Stonewt&)) i musisz też z nim postąpić podobnie...

Wg mnie: brzydkie i szkoda zachodu

Comments

A to nie jest tak, że w pierwszym przypadku jest konstruktor kopiujący, a w drugim operator przypisania?

---

Nie. Dlaczego?

---

Dobra, w pierwszym przypadku mogę constructor, no to rval, ale w drugim przypadku jest przecież operator=, bo wywołanie kopiującego wyglądałoby jakoś tak:

Stonewt foo = ...;
Stonewt bar(foo);

 

---

To dlaczego twoim zdaniem Stonewt x = y + z; uruchamia konstruktor a Stonewt bar = foo; uruchamia już operator przypisania? Brak konsekwencji. Z resztą... jak chcesz, to sobie przetestuj. To jest inicjalizacja więc uruchomi się konstruktor.

Stonewt bar = foo; oraz Stonewt bar(foo); to jest jedno i to samo.