理解类对象的构造

Understanding class object construction

本文关键字：对象      更新时间：2023-10-16

我正在阅读N3797条款12.7。下面是一个例子:

struct X { int i; };
struct Y : X { Y(); };  // non-trivial
struct A { int a; };
struct B : public A { int j; Y y; }; // non-trivial
extern B bobj;
B* pb = &bobj; //1
int* p1 = &bobj.a; //2 undefined, refers to base class member
int* p2 = &bobj.y.i; //3 undefined, refers to member’s member
A* pa = &bobj;
B bobj;
extern X xobj;
int* p3 = &xobj.i;
X xobj;

这个例子必须反映规则:

对于具有非平凡构造函数的对象，引用any构造函数之前的对象的非静态成员或基类开始执行导致未定义行为。

但是我有一个疑问。如果一个实现没有对//1、//2和//3进行静态的动态初始化，那么我们在//2和//3上就没有未定义的行为，因为(3.6.2/1):

执行常量初始化:

[…)

-如果具有静态或线程存储时间的对象由构造函数初始化调用，如果初始化全表达式是一个常量初始化式的对象;

[…]

同时调用零初始化和常量初始化静态初始化;其他所有初始化都是动态的初始化。静态初始化应在 any之前执行动态初始化。

也就是说，我们在非静态和基类之前调用了构造函数。所以那个例子的结果是实现定义的。

我的推理正确吗?

"it may also invoke constexpr constructor "， Y::Y()不是constexpr constructor，所以B bobj属于动态初始化。

相关文章：