可以从指向子对象的指针中获得指向完整对象表示元素的指针吗？

Question

让我们考虑一下这段代码：

int i;
int is[10]{};

unsigned char * p = reinterpret_cast<unsigned char*>(&i);
//p defined to point to the object-representation of the first element of array ints
unsigned char * ps = reinterpret_cast<unsigned char*>(&is[0]);

p += sizeof(int);
ps += sizeof(int);
//now ps points to the end of ints[0] and p point to the end of i;

p += sizeof(int); //Undefined behavior according to [expr.add]

ps += sizeof(int); //Undefined behavior?
unsigned char c = *ps;//Undefined behavior?

如果我们认为ps 指向is[0] 的object-representation，那么根据指针运算规则，最后两行代码的行为是未定义的。

不过，如果 ps 也是一个指向 int is 数组的object-representation 的指针，则定义了行为。

所以我的问题是：指向suboject 的object-representation 的指针是否也是指向包含的object-representation 元素的指针完整的对象？

Answer 1

一般情况

是的，指向子对象的对象表示的指针也是指向包含完整对象的部分对象表示的指针。

这可以推导出来：

1.8/1：对象是一个存储区域。

3.9/4： T 类型对象的对象表示是由 T 类型对象占用的 N 个 unsigned char 对象的序列，其中 N 等于 sizeof(T)。

5.3.3/1： sizeof 运算符产生其操作数的对象表示中的字节数。

1.8/2：对象可以包含其他对象，称为子对象。子对象可以是成员子对象、基类子对象、 或数组元素。不是子对象的对象 任何其他对象都称为完整对象。

对象是存储区域并且子对象包含在存储区域内的事实意味着子对象表示包含在对象表示中。

正如this other answer 中所解释的，指向对象表示的指针实际上是指向对象的指针。

数组的具体情况

是的，指向子对象的对象表示（即在本例中为数组元素）的指针是指向一个元素的指针包含完整对象的对象表示（即在此情况下的数组）。

8.4.3/1: (...) 数组类型的对象包含一个连续分配的非空集合，由 N 个 T 类型的子对象组成。 (. ..)

所以根据定义：

• 数组的元素是连续分配的，这意味着元素之间没有空白空间。

• 每个元素的对象表示是 sizeof(T) 个无符号字符的序列，完整数组的对象表示是生成的 N*sizeof(T) 个无符号字符。

我们可以推断：

• 正如this other answer 中所解释的，指向对象表示的指针实际上就是指向对象的指针。

• 数组中第 k 个元素的地址对应于数组对象表示中的第 k 个元素，并且是在 k*sizeof(T) 无符号字符的偏移量处构造的数组表示的地址。

所以你的代码的最后两条语句不是未定义的行为，只要你保持在is的边界内

Answer 2

没有“指向对象表示的指针”这样的东西。您有一个保存对象地址的指针，该指针可以安全或不安全地派生。

当您使用窄字符类型的左值在对象的地址范围内读取时，“对象表示”开始发挥作用，而不是在形成或转换指针时。

reinterpret_cast<unsigned char*>(p) 的规则中没有任何内容说明结果是一些特殊的“指向对象表示的指针”。它仍然只是同一对象的另一个别名。