Comment réinitialiser une union?

Question

Consultez le code suivant:

struct T { 
    int a; 
    union { 
     struct { 
      int a; 
     } s1; 
     struct { 
      char b[1024]; 
     } s2; 
    }; 
}; 

int main() { 
    T x = T(); 
} 

Depuis un constructeur explicite est appelée, le zéro-initialisation du code ci-dessus se termine-up tous les membres de données dans x.

Mais je voudrais avoir zéro-initialisé même si un explicit n'est pas appelé. Pour ce faire, une idée serait d'initialiser les membres de données dans leur déclaration, ce qui semble aller pour T :: a. Mais comment puis-je initialiser zéro toute la mémoire occupée par l'union en utilisant les mêmes critères?

struct T { 
    int a = 0; 
    union { 
     struct { 
      int a; 
     } s1; 
     struct { 
      char b[1024]; 
     } s2; 
    }; 
}; 

int main() { 
    T x; // I want x to be zero-initialized 
} 

Answer 1

Pour une union sans constructeur par défaut défini par l'utilisateur, l'initialisation valeur est zéro initialisation. Cependant, l'initialisation de zéro d'une union ne peut pas mettre à zéro toute la mémoire, mais seulement le remplissage et le premier membre. Si le premier membre n'est pas le plus grand, vous pourriez avoir un contenu différent de zéro.

Puisque vous savez que s2 est le plus grand, vous pouvez faire un constructeur par défaut zéros il:

struct T 
{ 
    int a; 
    union { 
     int s1a; 
     char s2b[1024]; 
    }; 
    T() : a(), s2b() {} 
}; 

Et maintenant

T x; 

sera remis à zéro.

Answer 2

Vous pouvez mettre à zéro en utilisant memset:

memset(&x, 0, sizeof(x)); 

Answer 3

Je suggère de mettre en œuvre un constructeur pour T:

struct T { 
    int a; 
    union { 
     struct { 
      int a; 
     } s1; 
     struct { 
      char b[1024]; 
     } s2; 
    }; 
    T() : a(), s2() {} // <- proper initialisation 
}; 

Dans ce cas, je choisi le plus grand membre de votre union car il est transparent. Sinon, vous pouvez créer explicitement le union lui-même.