关于AUTOSAR规则A5-0-4非final类指针算术的疑问

规则核心要求 #

AUTOSAR规则A5-0-4明确规定：不得对指向非final类的指针进行指针算术运算。

规则底层逻辑 #

这条规则的本质是规避C++中的未定义行为：

• C++标准规定，只有当指针的指向类型与所指向数组的元素类型完全一致时，指针算术运算的行为才是明确的；一旦类型不匹配，行为就属于未定义范畴。
• 要确保这种类型一致性，只有两种可靠场景：
  • 指针指向非类基础类型（如int、char），这类类型不存在继承扩展的可能
  • 指针指向被final修饰的类，因为final类无法被继承，不会出现子类对象混入数组的情况

非合规代码分析 #

规则给出的非合规示例：

void Foo(Base *start, size_t len)
{
  // Non-Compliant: pointer arithmetic on non-final pointer type
  for (Base *iter = start; iter != start + len; ++iter)
  {
    iter->Do();
  }
}

你觉得这段代码没问题的直觉很正常——毕竟用普通C数组存储多态指针的场景确实少见，但问题出在潜在的类型一致性破坏上：
如果Base不是final类，start指向的数组完全可能混入Base的子类对象。此时Base*做指针算术时，是按照Base的内存大小来偏移的，但子类对象的内存大小大概率比Base更大，这会直接导致指针偏移错误，触发未定义行为（比如访问错误内存、调用错误的虚函数等）。
哪怕当前调用场景里数组全是Base对象，代码本身也没有强制保证这一点，后续维护时很容易不小心引入子类对象，埋下难以排查的隐患。AUTOSAR规则就是从代码安全性和可维护性出发，提前杜绝这种风险。

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