标准布局派生类数组能否通过基类指针合法访问与迭代？

这是个戳中C++类型系统细节的好问题，很多人会误以为标准布局类型能绕过指针算术的限制，但实际上哪怕是标准布局的派生类数组，用基类指针做迭代/指针算术也是未定义行为，咱们一步步理清楚为什么：

先看你给出的代码示例：

#include <type_traits>
struct Base { int x; };
struct Derived : Base {};
static_assert(std::is_standard_layout_v<Derived>);
static_assert(sizeof(Base[2]) == sizeof(Derived[2]));
int main() {
 Derived a[3];
 Base* b = a;
 b = b + 2; // 这一步确实是未定义行为
}

没错，b = b + 2这行代码直接触发了未定义行为，核心依据来自C++标准的几个关键条款：

1. [expr.add]的直接禁令

给指向基类子对象、成员子对象或者完整对象的指针，加上0或1之外的值，结果是未定义行为

当你把Derived*隐式转换为Base*时，这个指针指向的是Derived对象内部的基类子对象。给这个指针加2，完全违反了上述规则，直接触发未定义行为。

2. 指针类型与数组元素的相似性要求
   [expr.add]还明确规定：如果指针的类型是“指向cv T”，而T和数组元素类型不相似，那么指针算术的行为是未定义的。

而[conv.qual]中对“相似类型”的定义是：两个类型要被判定为相似，它们的底层基础类型必须完全相同。显然Base和Derived是不同的类型，因此它们不属于相似类型，这再次确认了该指针算术操作的未定义性。

接下来解答你最关心的疑问：标准布局类型有没有例外？
答案是完全没有。标准布局的设计目标主要是保证内存布局的兼容性（比如让C++结构体可以和C语言结构体无缝交互），或者允许在特定场景下安全地用reinterpret_cast在基类和派生类指针之间转换（比如当派生类没有额外成员时），但这些规则完全不会改变指针算术的类型限制。

标准布局并没有赋予你用基类指针在派生类数组上执行算术操作的权限——哪怕sizeof(Base)和sizeof(Derived)完全一致、内存布局完全重合，C++标准依然禁止这种操作，因为指针算术的规则是基于类型系统的，而非内存布局。

如果你需要通过基类接口遍历这个数组，这里有一个合规的替代方案：直接用Derived*进行迭代，在需要访问基类接口时，将每个元素转换为Base&即可，示例代码如下：

for (auto& derived_obj : a) {
  Base& base_ref = derived_obj;
  // 这里通过base_ref操作基类的接口
}

这种方式既符合C++标准的要求，又能满足你使用基类接口的需求。

内容来源于stack exchange