Hirdetés

Keresés

Új hozzászólás Aktív témák

  • LordX

    veterán

    válasz jattila48 #2871 üzenetére

    De van, a szabvány ezt mondja, [dcl.init] szekció:

    "The initialization that occurs in the form
    T x = a;
    as well as in argument passing, function return, throwing an exception, handling an exception, and aggregate member initialization is called copy-initialization. [ Note: Copy-initialization may invoke a move. — end note ]

    (...)
    If the initialization is direct-initialization, or if it is copy-initialization where the cv-unqualified version of the source type is the same class as, or a derived class of, the class of the destination, constructors are considered. The applicable constructors are enumerated, and the best one is chosen through overload resolution (13.3). The constructor so selected is called to initialize the object, with the initializer expression or expression-list as its argument(s)."

    Magyarul, ha a változó és az inicializáló típusa ugyanaz (modulo CV), akkor:
    1. Kiértékeli az egyenlő jel jobb oldalát.
    2. Overload resolution kitalálja melyik konstruktor kell (azonos típus miatt copy vagy move), és azt hívja meg a jobb oldallal, mint paraméterrel.
    Tehát, T x = T();
    1. T() default-konstruál egy temporális T-t
    2. Overload resolution megtalálja a move konstruktort (vagy ha nincs, copy), és meghivja
    3. Expression temporálisa destruálás

    Mivel a bekezdés a direkt inicializálás és a copy inicializálás (ahol az inicializáló kifejezés ugyanolyan típusú) között nem tesz különbséget a T x = valami; és T x{valami}; között, a valami helyére behelyettesítve a T()-t, azt kapod, hogy T x{T()};.

    Demo Az -fno-elide-constructors kapcsoló kapcsolja ki a copy elisiont.

Új hozzászólás Aktív témák