Problème avec les fonctions membres par défaut de la classe en C++ (constructeur, destructeur, opérateur =, constructeur de copie) (par défaut ctor, dtor, copy ctor)

Question

Nous savons que le compilateur génère des fonctions membres pour la classe définie par l'utilisateur si ces fonctions membres sont non défini mais utilisé, n'est-ce pas? J'ai donc ce genre de code:

class AA 
{ 
}; 

void main() 
{ 
    AA a; 
    AA b(a); 
    a = b; 
} 

Ce code fonctionne très bien. Je veux dire aucune erreur de compilation. Mais le code suivant ....

class AA 
{ 
    int member1; 
    int member2; 
}; 

Mais ce code donne une erreur de temps d'exécution, car la variable « a » est utilisé sans être iniltialized !!! Donc, ma question est la suivante: lorsque nous instancions un int, il a une valeur. Alors pourquoi le constructeur par défaut ne fonctionne pas et en utilisant ces deux nombres int initialise la variable "a" ??

EDIT: Plate-forme: Win Vista, compilateur: compilateur Visual Studio 2008; Drapeaux: Par défaut

Answer 1

Le constructeur par défaut compilé par synthétiseur appelle les constructeurs par défaut pour tous les membres de la classe qui ont des constructeurs. Mais les entiers n'ont pas de constructeur et ne sont donc pas initialisés. Cependant, j'ai du mal à croire que cela provoquera une erreur d'exécution.

Pour initialiser les variables:

class AA { 
    public: 
    AA() : member1(0), member2(0) {} 
    private: 
    int member1; 
    int member2; 
}; 

Answer 2

Quelle plateforme? compilateur? drapeaux du compilateur? Vous devez ajouter une vérification supplémentaire car il n'y a rien dans le C++ normal qui vérifie l'état d'initialisation.

Answer 3

En fait, la valeur par défaut et les constructeurs de copie fonctionnent. Mais dans cpp les variables non initialisées contiennent en réalité des ordures. Par conséquent, vous obtenez votre erreur (int member1, int member2 contient la corbeille et vous essayez d'affecter cette corbeille à l'objet b).

Answer 4

Tout d'abord, lorsque vous instanciez un int sans l'initialiser, il a une valeur indéterminée. Un type de base intégré n'a pas de constructeur. En second lieu, ce code ne doit pas générer une erreur d'exécution. Il copie simplement les valeurs int indéterminées dans le constructeur de copie générée automatiquement et les opérateurs d'affectation. Il devrait générer un compilateur avertissant qu'une variable non initialisée est utilisée.

En troisième lieu, votre signature principale est erronée - la signature correcte est

int main(void) 

Answer 5

Tout d'abord, du point de vue pratique est pas une erreur véritable exécution. Ceci est une fonctionnalité intégrée de débogage de votre environnement de développement. Le compilateur tente d'attraper des situations lorsque vous lisez une valeur non initialisée, ce qui est exactement ce qui se passe dans votre cas.

Deuxièmement, lorsque nous "instancions" un int, il n'a pas de valeur. Plus précisément, il contient une valeur indéterminée dont la stabilité n'est même pas garantie (vous pouvez obtenir différentes valeurs en lisant plusieurs fois de suite la même variable non initialisée). Théoriquement, la lecture d'une variable int non initialisée conduit à un comportement indéfini, car il peut contenir une représentation illégale ("trap"). En fait, vous pouvez percevoir votre "erreur d'exécution" générée par votre environnement de développement comme une manifestation de ce comportement indéfini.