Inicjalizacja skrótów typów numerycznych. Czy są inicjowane 0?

Question

Chciałbym mieć pewność, że po

int i{}; 
double x{}; 

zainicjować wszystkie zmienne 0. Mój kompilator wydaje się to zrobić we wszystkich trybach, ale muszę mieć pewność, że jest to wyraźnie określone przez normę.

Wszelkie odniesienia do standardu C++ 11 są mile widziane.

Answer 1

Jest to zgodne ze standardem (wszystkie cytaty z N3337).

to inicjowanie listy.

[dcl.init.list]/1: Lista inicjalizacja jest inicjalizacja obiektu lub odniesienia jest usztywnione inicjalizacji-list.Such inicjator jest nazwie listy inicjator, i oddzielonych odstępami inicjator-klauzule listy nazywane są elementami listy inicjalizacyjnej . Lista inicjalizatorów może być pusta. [...]

Stosowana definicji listy inicjalizacji:

[dcl.init.list]/3: Lista inicjalizacja obiektu lub odniesienia do typu T jest zdefiniowany następująco:

• [wiele niż zastosowanie zasady]
• W przeciwnym razie, jeśli lista inicjalizatorów nie ma elementów, obiekt jest inicjowany wartością.

tak, aby utworzyć na typy wbudowane jest wartości inicjalizacji:

[dcl.init]/7: do wartości inicjalizacji obiekt typu T oznacza

• [non obowiązujące zasady]
• w przeciwnym razie obiekt jest inicjowany od zera.

Więc teraz szukamy zero inicjalizacji (tak, C++ ma dużo rodzajów inicjalizacji):

[dcl.init]/5: zero inicjalizacji obiektu lub odniesienie typu T oznacza:

• jeśli T jest typem skalarnym (3.9), obiekt jest ustawiony na wartość 0 (zero), podjęte jako integralnej stałej ekspresji, w przeliczeniu na T;
• [...]

Yay, ponieważ typy arytmetyczne są typy skalarne ([basic.types]/9 jeśli nie ufasz mi), obie te formy zainicjować ich obiektów z 0.

Answer 2

Tak, jest to zagwarantowane przez standard: w rzeczywistości jest to wykonanie value-initialization.

W szczególności, patrz punkt 4) na stronie: stwierdza, że ​​musi być value-initialization:

Wartość inicjalizacji odbywa się w następujących sytuacjach:
...
4) przy Zmienna nazwana (automatyczna, statyczna lub wątkowo-lokalna) jest zadeklarowana za pomocą inicjalizatora składającego się z pary nawiasów klamrowych.

I na tej samej stronie, widać, że efekt value-initialization dla wbudowanych typów jest zainicjować je z 0 (nawiasach kwadratowych są moje):

Skutki inicjalizacji wartości są następujące:
...
4) W przeciwnym razie [jeśli jest to typ inny niż tablicowy], obiekt jest inicjowany zerowo.

Answer 3

Formularz int i{}; nazywa się value initialization.

Skrócony:

Skutki inicjalizacji wartości są następujące:
[...]
4) W przeciwnym przypadku [jeżeli T nie jest klasą lub tablicą typu] Celem jest zero inicjowany.