C++中未在类成员说明中声明的对象能否成为类的数据成员?
结论:这个新创建的A对象不会成为B类的成员
- 你这里混淆了两个完全不同维度的概念:
- 类的成员是编译期就固定的类型定义属性,你在写
struct B {A objectA;};这段代码的时候,B类的成员列表就已经确定了,运行过程中不可能动态新增、修改类的成员。 - 成员子对象是运行期对象层面的概念,指代隶属于某个类实例的子对象,和类型层面的类成员是两回事。
- 类的成员是编译期就固定的类型定义属性,你在写
- 你代码里的placement new操作,本质是在原有
b.objectA对应的存储位置重建了一个新的A对象,完全符合你引用的ISO标准里的三个判定条件:- 宿主对象
b的生命周期已经开始且尚未结束 - 新A对象的存储完全覆盖原
objectA对应的存储区域 - 新对象和原
objectA的类型完全一致,没有cv限定符差异
所以这个新创建的A对象会成为b的成员子对象,后续你通过b.objectA访问到的就是这个新对象,功能上和原来默认构造的objectA没有任何区别。
- 宿主对象
- 但这只是对象实例层面的子对象替换,完全不会修改
struct B的类型定义,自然不可能让这个新对象变成B类的成员。
内容的提问来源于stack exchange,提问作者user15071942
相关产品推荐
相关产品推荐

