你能对指向另一个对象的char*进行算术吗[重复]

Question

这是读取普通可复制对象字节的常见方法

Object obj;
auto p = reinterpret_cast<char*>(&obj);
for(size_t i = 0; i < sizeof(obj); i++)
    consume(p[i]);

问题不在于严格别名，< code>char*可以给任何东西起别名。问题在于[expr.add]中的这段话

当具有整数类型的表达式被添加到指针或从指针中减去时，结果具有指针操作数的类型。如果表达式P指向具有n元素的数组对象x的元素x[i]，则表达式P J和J P（其中J具有值j）指向（可能是假设的）元素x[i j]if0≤i j≤n；否则，行为未定义。同样，表达式P-J指向（可能是假设的）元素x[i−j]if0≤i−j≤n；否则，行为未定义。

其中假设要素是指

为此，指针经过n元素数组xn的最后一个元素时，被视为等同于指向假设元素

也就是说，只有在运算是在指向数组的指针上，并且结果还在它的范围内，才是合法的。

但是，这里显然没有< code > char[sizeof(Object)]，我们可以对那个指针做算术吗？

请注意，读取对象字节的合法解决方案是std::memcpy对象。但如果这是唯一的解决方案，那就要问了，如果你几乎不能用它做任何事情，为什么要允许char*混淆现象？

Answer 1

根据引号，指针算法应该合法。Objectinstanceobj可以视为 。因此，它是 n元素的数组（请注意， n是 sizeof（Object））。Standard允许在该数组的边界内加上一个超出该数组边界的假设元素进行指针运算。这是由于 object）]<>

0 ≤ i j ≤ n

表情。

字面上，< code >重新解释_cast

所以，答案是肯定的。

否则数组的< code>std::end将为UB。