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

• #2873 LordX veterán jattila48 #2871

  Új Válasz 2015-11-17 07:14:18 #2873

  Új hozzászólás

  Összes hozzászólása itt Válaszok az összes hozzászólására itt Válaszok erre a hozzászólásra

  Privát üzenet küldése

  

  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