Dotaz: kopirovaci kontruktor pri navrate z funkcie v C++

[oroborus]

Příloha:

• main.cpp (897 bytů)

Pls. preco sa pri navrate z funkcie pokus tmpPokus() nezavola kopirovaci konstruktor pokus::pokus(const pokus &p) ? Dakujem

Odpovědi

[Boris Dušek]

Je to optimalizace, aby se konstruktor nevolal 2x (standard to dovoluje) v situaci návratu z fce nebo snad i předávání parametrů, u g++ slouží k povolení/vypnutí této optimalizace flag -felide-constructors, resp. -fno-elide-constructors, při -O2 zapnuto, při -O0 asi vypnuto. U Visual C++ se to jmenuje NRVO (named return value optimization), googli NRVO - dostaneš odkazy na hezké články, a při debug buildu (=neoptimalizovaném) je vypnuta, a při release buildu (=/O1 nebo /O2) je zapnutá. Btw. taky mě to překvapilo, když jsem si s tím po příslušné přednášce z C++ hrál. Takže přelož s -fno-elide-constructors a vypíše ti to to, co čekáš.

[oroborus]

Velmi Vam dakujem ;) S tym "g++ -g -O0 main.cpp" som to kompiloval prave preto, aby sa tam nic neoptimalizovalo a vsetko sa to prelozilo ako ma, ale to mi nepomohlo. Ono ma to prekvapilo aj preto, lebo kopirovaci konstruktor sa volal pri predani prametreu funkcie, ale nie pri navrate z funkcie.

[Messa]

Shodou okolností jsem se tím tento týden také zabýval V C++ ABI je popsáno, že návratová hodnota do určité velikosti (tuším 4 bajty) se předává v registru, jinak volající kód nechá na zásobníku místo pro uložení návratové hodnoty; takže volaná funkce s tím muže počítat a výsledek ukládat rovnou do místa pro návratový kód určený. Kdybys měl v tmpPokus() dvě instance a nějakou podmínkou (předem nevyoptimalizovatelnou) se rozhodoval, kterou vrátit, pak by se kopírovací konstruktor zavolal. (Pozn. to C++ ABI jsem někde vygooglil, už nevím pro jakou platformu to konkrétně bylo, na některých platformách záleží na překladači; tipuju ale, že pro x86/x64 to platit bude.)

Pokud nechceš, aby při předání parametru metodě print() nebyl volán kopírovací konstruktor, zkus parametr předávat referencí: void print(const pokus &p) { ... }. To const tam teda být nemusí, ale mělo by, pokud je to možné (je to dobrý zvyk).

[Jirka P.]

návratová hodnota do určité velikosti (tuším 4 bajty) se předává v registru

Jen pokud to není typ s uživatelským copy-constructorem nebo destruktorem. Pro takový by to nešlo implementovat.

[Jirka P]

Upřesnění: pro předání parametrů (hodnotou) NRVO není. Nově (v c++0x) toto řeší (v situacích, které to dovolují) rvalue-reference

[Tomas]

Podla predlozeneho prikladu ktory je k dispozici sa nikde copy ctor nemoze zavolat. Pravdepodobne si mal namysli volanie: pokus ob(tmpPokus()); alebo pokus ob = tmpPokus();

[oroborus]

Ano, pri vete :

Pls. preco sa pri navrate z funkcie pokus tmpPokus() nezavola kopirovaci konstruktor pokus::pokus(const pokus &p) ? Dakujem

som mal na mysli volanie pokus ob = tmpPokus()

Dakujem, za upozornenie, kopirovaci konstruktor sa neda priamo zalovat, ale vola sa automaticky ked :

- je objekt pouzity v deklaracnom prikaze, aby inicializoval iny
- je objekt predavany ako parameter do funkcie
- je vytvoreny docasny objekt, aby sluzil ako navratova hodnota funkcie


odpisane z knih: "Nauč se sám C++" -- Herbert Schildt

[Tomas]

S uvedenou definiciou copy ctoru suhlasim:) Zaroven som si uvedomil svoj omyl. V danom priklade by sa copy ctor mal zavolat prave pri navrate z funkcie na vytvorenie docasneho objektu na zasobniku ktory sa potom prekopiruje do ob : konkretne vyraz ob = tmpPokus(); kde ob je uz zinicializovany objekt...sorry za omyl