Dlaczego konstruktor kopiowania nie jest wywoływany, gdy zwracana wartość-wartość jest obiektem inicjowanym listą?

Question

Rozumiem, że gdy obiekty są zwracane do wartości od funkcji, ich konstruktory kopiowania są wywoływane. Jeśli klasa ma usunięty konstruktor kopiowania, zwracanie przez wartość zakończy się niepowodzeniem.

struct X { 
    X(const X &) = delete; 
}; 

X f() { 
    return X{}; 
} 

error: call to deleted constructor of 'X'

C++ 11 daje nam rozszerzonym inicjatorów. I czytałem gdzieś na SO zakładać, że ten

X f() { 
    return {}; 
} 

jest taka sama jak

X f() { 
    return X{}; 
} 

Więc dlaczego nie poniższy kod daje mi błąd? Przechodzi on i ja nawet dostać się do wywołania funkcji w głównym:

struct D { 
    D(const D &) = delete; 
}; 

D f() { return {}; } 

int main() 
{ 
    f(); 
} 

Here is a demo. Nie jest błąd. Uważam, że to dziwne, ponieważ uważam, że powinien zostać wywołany konstruktor kopii. Czy ktoś może wyjaśnić, dlaczego nie podano błędu?

Answer 1

A czytałem gdzieś na SO zakładać, że [...] jest taka sama jak [...]

Byli w błędzie. One są podobne, ale nie takie same.

Korzystając z listy wzmocnionych-init, można zainicjować wartość zwracaną w miejscu. Jeśli utworzysz tymczasowy, to co robisz, tworzy tymczasowy, a następnie kopiuje go do wartości zwracanej. Każdy kompilator warty swojej soli usunie go, ale konstruktor kopii musi być nadal dostępny.

Ale ponieważ lista wstępnie spreparowanych inicjuje wartość zwracaną w miejscu, nie ma potrzeby dostępu do konstruktora kopiowania.

od standardu, rozdział 6.6.3, P2

Oświadczenie zwrotny z usztywnione inicjalizacji liście inicjalizuje obiekt lub odniesienie do zwrotu od funkcji przez kopiowaniem liście inicjalizacji (8,5 .4) z określonej listy inicjalizatora.

Należy zauważyć, że "inicjowanie listy kopii" nie jest podobne do "inicjowania kopii"; nie wykonuje żadnego kopiowania i dlatego nie wymaga dostępnego konstruktora kopiowania. Jedyna różnica między "inicjowaniem listy kopii" a "inicjacją listy bezpośredniej" polega na tym, że pierwszy z nich będzie się dusił na konstruktorach explicit.