Вызов виртуальных методов других классов в ctors

Question

В вопросе о calling virtual methods in ctors and dtors следующий фрагмент исходного кода цит стандарта C++:

struct V { 
    virtual void f(); 
    virtual void g(); 
}; 
struct A : virtual V { 
    virtual void f(); 
}; 
struct B : virtual V { 
    virtual void g(); 
    B(V*, A*); 
}; 
struct D : A, B { 
    virtual void f(); 
    virtual void g(); 
    D() : B((A*)this, this) { } 
}; 
B::B(V* v, A* a) { 
    f(); // calls V::f, not A::f 
    g(); // calls B::g, not D::g 
    v->g(); // v is base of B, the call is well-defined, calls B::g 

    // *** This line *** 
    a->f(); // undefined behavior, a’s type not a base of B 
    // ***************** 
} 

Мой вопрос: почему называя a->f() в CTOR Б является неопределенное поведение ? Мы можем с уверенностью предположить, что a уже выделен, прежде чем перейти к Btor ctor, так почему бы не так работать правильно?

V * v = new V(); 
A * a = new A(); 
B * b = new B(v, a); 

Answer 1

a->f() вызов не определен, при создании объекта типа D.

В вашем собственном примере a->f() в порядке, так как вы создали отдельный экземпляр A перед созданием экземпляра B.