Dlaczego to proste niezdefiniowane zachowanie?

Question

byłem orzeźwiający moje rozumienie wartości inicjalizacji kontra default-inicjalizacji, i natknąłem this:

struct C { 
    int x; 
    int y; 
    C() { } 
}; 

int main() { 
    C c = C(); 
} 

Najwyraźniej jest UB ponieważ

W przypadku C(), istnieje konstruktor, który może inicjować elementy x i y, więc inicjalizacja nie ma miejsca. Próba skopiowania C() do c powoduje więc niezdefiniowane zachowanie.

Myślę, że rozumiem, dlaczego, ale nie jestem pewien. Czy ktoś może rozwinąć?

Czy to oznacza, że ​​jest to również UB?

int x; x = x; 

Nawiasem mówiąc, w odniesieniu do inicjalizacji wartości, czy zagwarantowane jest zero?

int x = int(); 

Answer 1

Pierwszym przykładem jest niezdefiniowane zachowanie ponieważ domyślna, kompilator wygenerowany konstruktor kopia zrobi kopię memberwise, int s może mieć wartości odłowu i odczytywania wartości wychwytywania skopiować może spowodować, że program awarię.

W praktyce nie mogę sobie wyobrazić, żeby kiedykolwiek faktycznie zawaliło się; kompilator prawie na pewno zoptymalizuje kopiowanie, a nawet gdyby nie, to prawdopodobnie użyłby specjalnej bitowej kopii, która skopiowałaby bez sprawdzania wartości pułapkowania. (W C++ masz gwarancję, że będziesz w stanie uzyskać bajtów kopiowania.)

Dla drugiego przypadku ponownie nieokreślone zachowanie. Chociaż w tym przypadku, masz przypisanie zamiast kopiowania konstrukcji, a kompilator jest mniej prawdopodobny, aby go zoptymalizować. (W pierwszym przykładzie nie ma zadnego zadania, tylko kopia.)

Po trzecie, tak. Inicjator o pustym nawiasie (i bez domyślnego inicjalizatora zdefiniowanego przez użytkownika, który ma go zastąpić) najpierw wykonuje zerowanie inicjalizacji (dokładnie tak, jak ma to miejsce w przypadku zmiennych ze statycznym czasem życia).

Answer 2

Nr Co się stanie, to większość kompilatory zoptymalizuje ustawienia zmiennej na zewnątrz, ale te, które nie będą nie tylko zmienić wartość x. Jest taki sam, jak poniższy kod:

int x = 0; 
x = 0; 

Nie chodzi o to, że druga linia nie zostanie wykonana, po prostu nic nie da.

Answer 3

Nie sądzę, że tak naprawdę jest to undefined behavior, chociaż wartości w c mają unspecified values. Oznacza to, że zachowanie programu jest dobrze zdefiniowane, o ile nie używasz tych nieokreślonych wartości. Jeśli ich używasz, np. w stanie lub je wydrukować, wyniki nie są zdefiniowane. Jednak nie sądzę, że program może robić coś dziwnego.

W odniesieniu do korzystania z domyślnego konstruktora na wbudowanych typów, to jest gwarantowana w celu uzyskania wartości typu Zero, czyli 0 dla liczb całkowitych, 0.0 dla pływających rodzajów punktów itd to rozciąga się również do członków typów bez konstruktor. Gdy pojawi się jakiś konstruktor, musisz sam zająć się budowaniem swoich członków bez konstruktora.