Стандарт:

точка 8.5

5 To zero-initialize storage for an object of type T means:
- if T is a scalar type (3.9), the storage is set to the value of 0 (zero) converted to T;
- if T is a non-union class type, the storage for each nonstatic data member and each base-class subobject is zero-initialized;
- if T is a union type, the storage for its first data member89) is zero-initialized;
- if T is an array type, the storage for each element is zero-initialized;
- if T is a reference type, no initialization is performed.

To default-initialize an object of type T means:
- if T is a non-POD class type (clause 9), the default constructor for T is called (and the initialization is ill-formed if T has no accessible default constructor);
- if T is an array type, each element is default-initialized;
- otherwise, the storage for the object is zero-initialized.

A program that calls for default-initialization of an entity of reference type is ill-formed. If T is a cv-qualified type, the cv-unqualified version of T is used for these definitions of zero-initialization and default-initialization.

6 The memory occupied by any object of static storage duration shall be zero-initialized at program startup before any other initialization takes place. [Note: in some cases, additional initialization is done later. ]

7 An object whose initializer is an empty set of parentheses, i.e., (), shall be default-initialized.

8 [Note: since () is not permitted by the syntax for initializer,

X a();

is not the declaration of an object of class X, but the declaration of a function taking no argument and returning an X. The form () is permitted in certain other initialization contexts (5.3.4, 5.2.3, 12.6.2). ]

9 If no initializer is specified for an object, and the object is of (possibly cv-qualified) non-POD class type (or array thereof), the object shall be default-initialized; if the object is of const-qualified type, the underlying class type shall have a user-declared default constructor. Otherwise, if no initializer is specified for an object, the object and its subobjects, if any, have an indeterminate initial value; if the object or any of its subobjects are of const-qualified type, the program is ill-formed.


та значи:

int i; -> no initializer is specified -> i is garbage.
int j = int(); -> initializer is an empty set of parentheses -> j is zero.

не може да се напише int i(), както може int i(5), защото първото се възприема като декларация на функция, а второто си е initializer.

ако искаш да инициализираш с празни скоби синтактично си длъжен да напишеш T t = T();. няма никакви временни обекти в случая, а в случая на вграден тип и никакви конструктори.


а твърдението "При създаване на временни обекти те гарантирано имат стойност 0", не фигурира в сандарта, така че е грешно. конструирането на временните обекти по нищо не се различава от конструирането на нормалните. главата която ги описва в стандарта е доста кратка и общо взето се занимава с времето на живот при изчисляване на изрази.


ЗАКЛЮЧЕНИЕ:

вградените типове нямат нито конструктори, нито деструктори!!!

друго мнение по въпроса не се приема.

доказателството е от две части и се съдържа в текущия пост, както и в

Съдържаниет е скрито
Влезте за да го видите