¿El constructor predeterminado inicializa los tipos incorporados?

Question

¿El constructor predeterminado (creado por el compilador) inicializa los tipos incorporados?

Answer 1

De acuerdo con la norma, no menos que inicializar explícitamente en lista de inicialización

Answer 2

No. El constructor por defecto asigna memoria y llama al constructor sin argumentos de los padres.

Answer 3

Técnicamente, los inicializa, utilizando su constructor predeterminado, que por cierto no hace más que asignarles la memoria.

Si lo que quería saber es si están configurados para algo sensato como 0 para int s, entonces la respuesta es "no".

Answer 4

Como han indicado los altavoces anteriores, no, no están inicializados.

Esto es realmente una fuente de errores realmente extraños, ya que los sistemas operativos modernos tienden a llenar regiones de memoria recién asignadas con ceros. Si espera eso, podría funcionar la primera vez. Sin embargo, a medida que su aplicación sigue ejecutándose, delete -ing y new -ing objetos, tarde o temprano terminará en una situación en la que espera ceros pero se encuentra un residuo distinto de cero de un objeto anterior.

Entonces, ¿por qué es esto, entonces, no todos los datos new -ed recién asignados? Sí, pero no siempre del sistema operativo. El sistema operativo tiende a trabajar con fragmentos de memoria más grandes (por ejemplo, 4 MB a la vez), por lo que todas las pequeñas asignaciones y desasignaciones de una sola palabra-aquí-tres-bytes-allí se manejan en uyserpace, y por lo tanto no se ponen a cero.

PS. Escribí "tender", es decir, ni siquiera puede confiar en el éxito la primera vez ...

Answer 5

Para todos los fines prácticos - no.

---

Sin embargo, para las implementaciones que son técnicamente compatible con el estándar C++, la respuesta es que depende de si el objeto es POD o no y de cómo se inicialice. Según el estándar de C++:

MyNonPodClass instance1;//built in members will not be initialized 
MyPodClass instance2;//built in members will be not be initialized 
MyPodClass* instance3 = new MyPodClass;//built in members will not be initialized 
MyPodClass* instance3 = new MyPodClass() ;//built in members will be zero initialized 

Sin embargo, en el mundo real, esto no es bien soportado de manera no lo use.

---

Las partes pertinentes de la norma son la sección 8.5.5 y 8.5.7

Answer 6

No estoy muy seguro de lo que quieres decir, pero:

struct A { int x; }; 

int a; // a is initialized to 0 
A b; // b.x is initialized to 0 

int main() { 
    int c;   // c is not initialized 
    int d = int(); // d is initialized to 0 

    A e;   // e.x is not initialized 
    A f = A();  // f.x is initialized to 0 
} 

En cada caso donde diga "no inicializado": es posible que su compilador le proporcione un valor constante, pero el estándar no lo requiere.

Se emite una gran cantidad de movimientos manuales, incluso por mí, sobre cómo los tipos incorporados "en efecto" tienen un constructor predeterminado. En realidad, la inicialización predeterminada y la inicialización de valores son términos definidos en el estándar, que personalmente debo buscar cada vez. Solo las clases se definen en el estándar para tener un constructor predeterminado implícito.

Answer 7

El constructor predeterminado de una clase definido implícitamente (por el compilador) no inicializa los miembros de los tipos incorporados.

Sin embargo, debe tener en cuenta que, en algunos casos, la inicialización de una instancia de la clase puede realizarse por otros medios. No por constructor predeterminado, ni por constructor en absoluto.

Por ejemplo, existe una creencia generalizada incorrecta de que para la clase C la sintaxis C() siempre invoca el constructor predeterminado. En realidad, sin embargo, la sintaxis C() realiza lo que se llama value-initialization de la instancia de clase. Solo invocará el constructor predeterminado si es declarado por el usuario. (Eso está en C++ 03. En C++ 98, solo si la clase no es POD). Si la clase no tiene un constructor declarado por el usuario, entonces el C() no llamará al constructor predeterminado provisto por el compilador, sino que realizará un tipo especial de inicialización que no involucra al constructor de C en absoluto. En cambio, va a inicializar el valor directamente a cada miembro de la clase. Para los tipos incorporados, da como resultado una inicialización cero.

Por ejemplo, si la clase no tiene constructor

class C { 
    int x; 
}; 

-declarada usuario entonces el compilador implícitamente proporcionar una. El constructor compilador proporcionado no hará nada, lo que significa que no se inicializará C::x

C c; // Compiler-provided default constructor is used 
// Here `c.x` contains garbage 

Sin embargo, los siguientes inicializaciones se cero inicializar x porque utilizan la explícita () inicializador

C c = C(); // Does not use default constructor for `C()` part 
      // Uses value-initialization feature instead 
assert(c.x == 0); 

C *pc = new C(); // Does not use default constructor for `C()` part 
       // Uses value-initialization feature instead 
assert(pc->x == 0); 

la el comportamiento del inicializador () es diferente en algunos aspectos entre C++ 98 y C++ 03, pero no en este caso. Para la clase anterior C, será el mismo: el inicializador () realiza la inicialización cero de C::x.

Otro ejemplo de inicialización que se lleva a cabo sin la participación de constructor es, por supuesto, inicialización de agregados

C c = {}; // Does not use any `C` constructors at all. Same as C c{}; in C++11. 
assert(c.x == 0); 

C d{}; // C++11 style aggregate initialization. 
assert(d.x == 0);