c++ - sizeof(T) 增量中的字节智能指针算法 : Undefined Behaviour?

Question

以 sizeof(int) 为增量对 char * 类型的指针(指向 int 数组)执行指针算术是否为未定义行为 然后取消引用？例如。考虑下面的代码。它会调用未定义的行为吗？

我觉得/*1*/这行应该是合法的，/*2*/肯定是合法的，但是我不确定/* 3*/.

有一个prior question问了类似的问题，但没有公认的答案。

int foo() {
  int arr[10] = {0};
  int i = 4;
  int s = sizeof(int);
  /*1*/ const char * cmem = reinterpret_cast<const char*>(&arr[0]);
  /*2*/ cmem += i * s;
  /*3*/ return *reinterpret_cast<const int*>(cmem);
}

Answer 1

这段代码没问题。允许在对象的边界内(或结束后的边界)进行指针运算，并且严格的别名规则允许使用仅在 const-ness 上与实际对象不同的左值来访问该对象对象。