Appel fonction virtuelle du constructeur membre

Question

Je suis curieux quant au comportement des éléments suivants:

#include <iostream> 
#include <string> 
struct A; 
struct B { 
    std::string b; 
    B(A& a); 
}; 
struct A { 
    B member; 
    virtual std::string f() { return "Hello, World!"; } 
    A() : member(*this) {} 
}; 
B::B(A& a) : b(a.f()) {} 
int main() { 
    std::cout << A().member.b; 
} 

Est-ce nécessaire d'imprimer le résultat attendu? Ou est-ce un comportement indéfini?

Answer 1

Ceci est légal. § 12.7 [class.cdtor]/p4:

fonctions membres, y compris des fonctions virtuelles (10.3), peuvent être appelés pendant la construction ou la destruction (12.6.2). Lorsqu'une fonction virtuelle est appelée directement ou indirectement par un constructeur ou par un destructeur , y compris lors de la construction ou de la destruction des membres de données non statiques de la classe , l'objet auquel s'applique l'appel est l'objet (appelez-le x) en cours de construction ou de destruction, la fonction appelée est le remplaçant final dans la classe du destructeur du constructeur ou et pas un remplaçant dans une classe plus dérivée. Si l'appel de fonction virtuelle utilise un accès explicite membre de classe (5.2.5) et l'expression de l'objet fait référence à l'objet complet de x ou l'un des sous-objets de la classe de base de cet objet, mais pas x ou l'un des ses sous-objets de classe de base, le comportement est indéfini.

Le cas UB ne s'applique pas ici.