Wywołanie funkcji z wirtualnego konstruktora członkiem

Question

jestem ciekawy co do zachowania z następujących powodów:

#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; 
} 

Czy to wymagane wydrukować oczekiwanego rezultatu? Czy jest to niezdefiniowane zachowanie?

Answer 1

Jest to zgodne z prawem. §12.7 [class.cdtor]/P4:

funkcjami użytkownika, w tym funkcji wirtualnych (10.3), może być nazywany podczas budowy lub zniszczenia (12.6.2). Gdy funkcja wirtualna jest wywoływana bezpośrednio lub pośrednio z konstruktora lub z destruktora , w tym podczas konstruowania lub niszczenia niestatycznych elementów danych klasy klasy , a obiektem, do którego odnosi się wywołanie jest obiekt (nazwij to x) w trakcie budowy lub zniszczenia, funkcja nazywana jest ostatecznym przełożeniem w klasie konstruktora lub destructor, a nie nadpisuje ją w klasie bardziej pochodnej. Jeżeli wywołanie wirtualnej funkcji wykorzystuje wyraźny dostępu członka klasy (5.2.5), a ekspresja obiektu odnosi się do całkowitego przedmiotu x lub jedną z klasy bazowej podobiektów tego obiektu, ale nie x lub jednej z jego każdej klasy bazowej zachowanie jest niezdefiniowane.

W tym przypadku sprawa UB nie ma zastosowania.