Dans l'héritage C, quel est l'ordre des appels de constructeur et de destructeur dans les classes de base et dérivées ?

Quand les forces constructives et destructives convergent dans la programmation orientée objet : une étude de cas sur l'héritage de classe

Lors de la création d'objets au sein de hiérarchies d'héritage, un Une question fondamentale se pose concernant l'ordre dans lequel les constructeurs et les destructeurs sont invoqués. Cette enquête se concentre sur le comportement des classes de base et dérivées, ainsi que sur l'impact des champs membres au sein de ces classes. Pour résoudre cette énigme, examinons un exemple illustratif.

Considérez l'extrait de code C suivant :

struct A {
    A() { std::cout << "A() C-tor" << std::endl; }
    ~A() { std::cout << "~A() D-tor" << std::endl; }
};

struct B : public A {
    B() { std::cout << "B() C-tor" << std::endl; }
    ~B() { std::cout << "~B() D-tor" << std::endl; }

    A a;
};

Ici, nous avons deux classes, A et B, dont B hérite de A. Au sein de la classe B, un champ membre a de type A est également défini. Lors de la création d'une instance de classe B, l'ordre des appels de constructeur et de destructeur devient une question de fascination.

Les mécanismes de construction

Pendant l'exécution du code, le la construction d'un objet commence par sa classe de base. Dans ce cas, la classe A est la classe de base pour B, donc le constructeur A() sera invoqué en premier. Ensuite, les champs membres de la classe dérivée sont construits. Puisque la classe B a un champ membre a de type A, le constructeur A() sera à nouveau invoqué au cours de cette étape. Enfin, le constructeur de la classe dérivée, B(), est appelé, signifiant l'achèvement de la construction de l'objet.

Descendre vers la destruction

Quand le cycle de vie d'un objet arrive à une fin, l’ordre des appels du destructeur suit un modèle inverse. Les champs membres sont détruits en premier, en procédant dans l'ordre inverse de leur déclaration. Dans notre exemple, le champ membre a de la classe B (une instance de la classe A) verra son destructeur, ~A(), invoqué. Ceci est suivi par la destruction de la classe dérivée elle-même, déclenchant l'invocation de ~B(). Enfin, le destructeur de la classe de base, ~A(), est appelé.

Indépendamment des listes d'initialisation

Il est à noter que l'ordre des appels du constructeur et du destructeur n'est pas affecté par la présence ou l'absence d'une liste d'initialisation. Dans l'extrait de code fourni, il n'y a pas de liste d'initialiseurs, mais l'ordre d'invocation décrit ci-dessus est toujours vrai. Ce modèle cohérent garantit un flux prévisible de construction et de destruction dans divers scénarios d'héritage.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!