¿Construirá por defecto una matriz de enteros con inicialización cero?

Question

Si tengo una estructura con un miembro de la matriz y llamo explícitamente al constructor predeterminado de la matriz en el constructor de la estructura, ¿los elementos se construirán por defecto? (En el caso de una matriz de enteros, esto significaría obtener inicialización cero).

struct S 
{ 
    S() : array() {} 

    int array[SIZE]; 
}; 

... 

S s; 
// is s.array zero-initialized? 

Una prueba rápida con gcc sugiere que este es el caso, pero quería confirmar que puedo confiar en este comportamiento.

(I han dado cuenta de que si no explícitamente default-construir la matriz en el constructor estructura, los elementos de la matriz tienen valores aleatorios.)

Answer 1

Sí (mina destacando):

(C++ 03 8,5)

Para valor-inicializar un objeto de tipo T significa:

• si T es un tipo de clase (cláusula 9) con un constructor declarado por el usuario (12.1), entonces se llama al constructor predeterminado para T (y la inicialización está mal formada si T no tiene un constructor por defecto accesible);

• si T es un tipo de clase no unión sin un constructor-declarado de usuario, entonces cada no estático> miembro de datos y el componente de clase base de T es de valor inicializado

• si T es un tipo de matriz , entonces cada elemento tiene un valor inicializado;

• de otro modo, el objeto se inicializa-cero

...

Un objeto cuya inicializador es un conjunto vacío de paréntesis, es decir,(), será valor -inicializado