指针变量只是带有一些运算符的整数还是“符号”？

编辑：最初的单词选择令人困惑。 “象征性”这个词比原来的（“神秘的”）要好得多。

在关于我之前的 C++ 问题的讨论中，我被告知指针是

• "类似于整数的简单值类型 https://stackoverflow.com/questions/32043314/overwriting-an-object-with-an-object-of-same-type/32043636#comment51987347_32043314"
• not "mystical https://stackoverflow.com/questions/32043314/overwriting-an-object-with-an-object-of-same-type/32043636#comment51988103_32043636"
• "位模式（对象表示）包含普通可复制类型的值（值表示）（第 3.9/4 节），指针就是这样的类型。 https://stackoverflow.com/questions/32043314/overwriting-an-object-with-an-object-of-same-type/32043636#comment51987714_32043636"

这确实not听起来不错！如果没有任何东西是象征性的并且指针是其表示，那么我可以执行以下操作。我可以吗？

#include <stdio.h>
#include <string.h>

int main() {
    int a[1] = { 0 }, *pa1 = &a[0] + 1, b = 1, *pb = &b;
    if (memcmp (&pa1, &pb, sizeof pa1) == 0) {
        printf ("pa1 == pb\n");
        *pa1 = 2;
    }
    else {
        printf ("pa1 != pb\n");
        pa1 = &a[0]; // ensure well defined behaviour in printf
    }
    printf ("b = %d *pa1 = %d\n", b, *pa1);
    return 0;
 }

这是一个C 和C++ 问题。

测试用在线编译和执行C http://www.tutorialspoint.com/compile_cpp_online.php使用 GNU GCC v4.8.3：gcc -O2 -Wall gives

pa1 == pb                                                                                                                                                                                       
b = 1 *pa1 = 2    

测试用在线编译和执行C++ http://www.tutorialspoint.com/compile_cpp_online.php使用 GNU GCC v4.8.3：g++ -O2 -Wall

pa1 == pb                                                                                                                                                                                       
b = 1 *pa1 = 2        

So 的修改b via (&a)[1] fails与 C 和 C++ 中的 GCC 一起使用。

当然，我想要一个基于标准报价的答案。

编辑：回应对 UB 的批评&a + 1, now a是一个包含 1 个元素的数组。

有关的：取消引用包含对象（数组的数组）地址的出界指针 https://stackoverflow.com/questions/32043795/dereferencing-an-out-of-bound-pointer-that-contains-the-address-of-an-object-ar

附加说明：我认为“神秘”一词首先由托尼·德尔罗伊使用here https://stackoverflow.com/questions/32043314/overwriting-an-object-with-an-object-of-same-type/32043636#comment51988103_32043636。我借错了。

首先要说的是，对在一种体系结构上生成代码的一个编译器进行一次测试的示例并不是对该语言的行为得出结论的基础。

c++（和 c）是为可移植性而创建的通用语言。即，在一个系统上用 C++ 编写的格式良好的程序应该在任何其他系统上运行（禁止调用特定于系统的服务）。

曾几何时，由于包括向后兼容性和成本在内的各种原因，内存映射在所有处理器上并不是连续的。

例如，我曾经在 6809 系统上编写代码，其中一半内存通过 PIA 进行分页，该 PIA 位于内存映射的非分页部分。我的 C 编译器能够处理这个问题，因为对于该编译器来说，指针是一种“神秘”类型，它知道如何写入 PIA。

80386 系列具有一种寻址模式，其中地址以 16 字节为一组进行组织。抬头FAR指针，你会看到不同的指针算术。

这就是c++中指针的发展史。并非所有芯片制造商都“表现良好”，并且该语言（通常）可以容纳所有芯片制造商，而无需重写源代码。