élément de référence de liaison ++ C au paramètre de constructeur

Question

Lors de l'exécution du code suivant sur gcc 8 (https://wandbox.org/, avec "g ++ prog.cc -Wall -Wextra std = C++ 1z"):

#include <iostream> 

class B{ 
public: 
    B(): copy(false){ std::cout << "B-constructed" << std::endl;} 
    B(const B& b): copy(true){ std::cout << "B-copy-constructed" << std::endl; } 
    ~B(){ std::cout << (copy?"B-destructed":"B-(copy)-destructed") << std::endl;} 

    bool copy; 
}; 

class A{ 
public: 
    A(B b): bref(b){std::cout << "A-constructed" << std::endl;} 
    ~A() {std::cout << "A-destructed" << std::endl;} 
    B &bref; 
}; 


void f(){ 
    B b; 
    A a(b); 

    std::cout << "f over" << std::endl; 
} 

int main() 
{ 
    f(); 

    std::cout << "main over" << std::endl; 
    return 0; 
} 

ce qui suit la sortie est cédée:

B-constructed 
B-copy-constructed 
A-constructed 
B-destructed 
f over 
A-destructed 
B-(copy)-destructed 
main over 

L'ordre de destruction des objets semble inhabituel. C'est comme si la durée de vie du paramètre du constructeur était étendue. Est-ce que la norme dit quoi que ce soit à propos de la référence des membres aux paramètres constructeurs?

Je ne pense pas que cette citation de la norme applique, comme le paramètre est un objet temporaire (mais je ne sais pas à la définition d'une « expression temporaire »):

Une expression temporaire lié à un membre de référence dans un mem-initializer est mal formé. [Exemple:

struct A {

A(): v (42) {} // erreur

const int & v;

};

exemple -end]

Answer 1

Votre destructor a une erreur logique, puisque l'impression qu'une copie est quand copy destructed est faux.

Modifier ceci:

~B(){ std::cout << (copy?"B-destructed":"B-(copy)-destructed") << std::endl;} 

à ceci:

~B(){ std::cout << (copy?"B-(copy)-destructed":"B-destructed") << std::endl;} 

qui sort maintenant:

B-constructed 
B-copy-constructed 
A-constructed 
B-(copy)-destructed 
f over 
A-destructed 
B-destructed 
main over 

agréable et claire (Order of member constructor and destructor calls). Est-ce que le standard dit quelque chose au sujet des références de membre de liaison aux paramètres de constructeur?

---

De même, avant la durée de vie d'un objet a commencé, mais après le stockage que l'objet occuperez a été attribué ou, après la durée de vie d'un objet a pris fin et avant le stockage que l'objet occupé est réutilisé ou libéré, toute valeur de référence faisant référence à l'objet original peut être utilisée mais de manière limitée. Pour un objet en cours de construction ou de destruction, voir [class.cdtor]. Sinon, un tel glissement renvoie à la mémoire allouée ([basic.stc.dynamic.deallocation]) et l'utilisation des propriétés du glglue qui ne dépendent pas de sa valeur est bien définie.

Source