12.7/3 N3797中给出了以下示例

struct A { };
struct B : virtual A { };
struct C : B { };
struct D : virtual A { D(A*); };
struct X { X(A*); };
struct E : C, D, X {
    E() : D(this), // undefined: upcast from E* to A*
                   // might use path E* → D* → A*
                   // but D is not constructed
                   // D((C*)this), // defined:
                   // E* → C* defined because E() has started
                   // and C* → A* defined because
                   // C fully constructed
    X(this) {      // defined: upon construction of X,
                   // C/B/D/A sublattice is fully constructed
    }
};

示例的规则：
要显式或隐式地将指向类X的对象的指针（glvalue）转换为指向X的直接或间接基类B的指针（引用），X的构造以及直接或间接从B派生的所有直接或间接基类的构造应该已经开始，并且这些类的析构应该尚未完成，否则转换将导致未定义的行为。
但是考虑一下对示例的一点修改：

struct A { };
struct HD { }; // will be used as a base for D
struct B : virtual A { };
struct C : B { };
struct D : HD, virtual A { D(A*); };
struct X { X(A*); };
struct E : C, D, X {
    E() : D(this), // 1. Is there undefined behavior? 
                   // I think, there isn't.
    X(this) {
    }
};

我认为//1没有UB，因为我们有类HD的基类子对象，它是在调用D(A*)构造函数之前构造的。也就是说，在D（A*）调用时，D的构造已经开始。
我的推理正确吗？