跨数组对象的指针比较：结果未指定还是等价？

首先明确核心事实：new int[8]返回的指针指向的是整个数组这个完整对象（complete object），而非数组内的单个元素——数组元素是数组的子对象，而数组本身是独立的完整对象（没有包含它的上级对象）。

回到你的代码场景：

• x指向一个int[8]类型的完整对象，x_ptr = x+8是该完整对象的尾后指针（落在数组最后一个元素的下一个位置）。
• y指向另一个独立的int[8]完整对象，&y[0]的地址与y指向的数组对象地址完全重合（数组的首地址即第一个元素的地址）。

根据C++标准[expr.eq] p3的规则：

• 若一个指针指向某一完整对象，另一个指针指向另一不同完整对象的尾后位置，则比较结果未指定。
• 除此之外，两个指针若均为空、指向同一函数，或代表同一地址，则比较相等。

你的场景完全符合第一条例外：&y[0]指向一个完整对象（y对应的数组），x_ptr指向另一个不同完整对象（x对应的数组）的尾后位置。哪怕二者内存地址完全相同，这种跨对象的尾后指针与另一对象指针的比较结果是未指定的，不能保证一定为true。

你之前的错误在于误将数组元素当作完整对象，实际上数组本身才是new操作分配的完整对象，元素只是它的子对象。因此第一条规则完全适用，你的结论并不正确。

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