C++标准中对象生存期外访问限制的规则矛盾解析

你觉得两条规则矛盾，核心是没注意到[basic.life]/7本身包含例外条款，这正是二者互补的关键所在。

1. [basic.life]/7的完整规则 #

根据C++标准n4868的[basic.life]/7：

对象生存期开始前但存储空间已分配，或生存期结束后存储空间未释放时，使用glvalue访问对象的行为通常是未定义的。但存在例外：当glvalue用于访问对象的非静态数据成员或基类子对象，且对象的类型是平凡类型（拥有平凡构造、平凡析构、平凡拷贝/移动等特性）时，这种访问是合法的，不属于未定义行为。

这条是针对所有对象的通用约束：既划定了生存期外访问的禁区，也给平凡类型开了特例——因为平凡类型的对象在生存期前后，内存布局和成员的可访问性没有本质变化。

2. [class.cdtor]的针对性约束 #

[class.cdtor]是专门针对非平凡构造/析构对象的细化规则：

对于拥有非平凡构造函数的对象，构造函数执行前引用其非静态成员或基类子对象会导致未定义行为；对于拥有非平凡析构函数的对象，析构函数执行完成后引用其非静态成员或基类子对象会导致未定义行为。

这部分规则没有和[basic.life]/7冲突，反而是对后者的补充：非平凡类型不满足[basic.life]/7的例外条件，所以生存期外访问成员必然触发UB，[class.cdtor]只是把这个场景单独明确出来，避免开发者误解非平凡类型也能像平凡类型那样操作。

3. 两者的本质关系 #

• [basic.life]/7是顶层通用规则，覆盖所有对象类型，明确了生存期外访问的一般禁止情况和平凡类型的例外
• [class.cdtor]是针对非平凡构造/析构对象的特殊约束，是[basic.life]/7规则的具体化——它把非平凡类型在构造前/析构后的成员访问UB明确列出来，和[basic.life]/7的通用规则完全一致，不存在矛盾。

举个实际例子：

• 对于平凡类型struct Trivial { int val; };，用malloc分配内存后，直接通过指针访问((Trivial*)ptr)->val是合法的，符合[basic.life]/7的例外。
• 对于非平凡类型struct NonTrivial { NonTrivial() {} int val; };，同样用malloc分配内存后，构造函数执行前访问((NonTrivial*)ptr)->val就是未定义行为，同时符合[basic.life]/7的一般规则和[class.cdtor]的约束。

内容的提问来源于stack exchange，提问作者klezki