用未初始化std::array构造std::span是否会引发未定义行为？

1. Generic{this->arr} 是否违反C++标准/引发未定义行为？ #

这取决于std::array的元素类型和构造特性：

• 如果元素类型是平凡类型（比如int），std::array的默认构造函数是平凡的。根据C++标准，平凡构造的聚合对象生命周期在其存储分配完成后即开始（无需等待构造函数执行）。此时this->arr的存储已分配，调用它的data()和size()（用于构造std::span）是合法的——这两个成员函数要么是编译期常量（size()），要么仅返回内存地址（data()），不依赖数组元素的初始化状态，因此不会触发未定义行为。
• 如果元素类型是非平凡类型（比如带自定义构造函数的类），std::array的构造函数会变成非平凡类型。此时在基类Generic构造阶段，派生类的arr对象还未开始构造（生命周期未启动），直接访问this->arr的成员函数来构造std::span属于访问未进入生命周期的对象，触发未定义行为。

你遇到的复杂场景内存重叠问题，大概率不是构造std::span本身的合规性问题，而是后续代码中对std::span指向的内存操作时，与其他对象的内存布局冲突导致的，需要结合具体代码排查。

2. 标准中哪部分规定构造阶段成员地址的确定规则？ #

相关规则分散在以下标准章节：

• [class.mem]：规定了类的非静态数据成员的内存布局规则（比如成员的声明顺序、对齐要求），这意味着对象的内存布局在类定义确定时就已固定，构造阶段成员的地址不会变化。
• [class.cdtor]：明确在基类构造/析构期间，this指针指向的是正在构造的完整对象，但派生类的非静态数据成员尚未初始化（或已销毁），不过成员的地址是确定的，因为对象的存储已分配。
• [basic.life]：定义了对象生命周期的起止条件，明确存储分配完成后，即使对象未初始化，其内存地址也是有效的（只要生命周期未结束）。

3. 是否存在调用未初始化对象方法的合法场景？ #

存在，但有严格限制：

• 仅允许调用不依赖对象内部状态的平凡非虚成员函数。比如：
  • 聚合类型（如std::array<int, N>）的size()成员函数（编译期常量，无需访问对象数据）；
  • 类中仅执行独立逻辑的成员函数（比如返回固定值、做纯计算不访问成员变量）。
• 禁止调用虚函数（虚函数表在构造阶段可能未完全初始化），也禁止调用依赖未初始化成员变量的函数，否则会触发未定义行为。

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