Инициализация нулем типов POD и скалярных типов
Обновлен: Ноябрь 2007
Если типы POD и скалярные типы создаются с помощью синтаксиса конструктора по умолчанию, то они всегда будут инициализированы значением 0.
struct S {
void *operator new (unsigned int size, void*p, int i)
{
((S*)p)->i = i; return p;
}
int i;
};
struct T
{
int i;
char c;
};
class C
{
T t;
int i;
public:
C(): t(), i() {} // Zero initializes members of class.
};
// Zero initialize members of t.
// t->i == 0 & t->c == 0
T* t = new T();
// Call placement new operator for S, then
// zero initialize members of pS.
// pS->i == 0 & pS->i != 10
S s;
S* pS = new( &s, 10 ) S();
// Zero initialize *pI
// *pI == 0
int* pI = new int();
// Zero initialize members of c
// c.t.i == 0 & c.t.c == 0 & c.i == 0
C c;
Поведение Visual Studio .NET игнорирует круглые скобки после инициализации и всегда оставляет эти элементы инициализированными. Чтобы вернуться к поведению Visual Studio .NET для типов, инициализированных вне списка инициализации конструктора, следует удалить круглые скобки:
T* t = new T; // Members contain uninitialized data.
S s;
S* pS = new( &s, 10 ); // pS->i == 10
int* pI = new int; // *pI is uninitialized.
Чтобы вернуться к поведению Visual Studio .NET для типов, инициализированных в списке инициализации конструктора, следует удалить эту инициализацию из списка:
class C
{
T t;
int i;
public:
C() {} // Members of class are not initialized.
};