c – 指针变量只是与某些运算符整数还是“符号”？

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

>“a simple value type much like an integer”
>不是“mystical”
>“The Bit pattern (object representation) contains the value (value representation) (§3.9/4) for trivially copyable types,which a pointer is.”

这听起来不错！如果没有任何符号,并且指针是其表示,那么我可以执行以下操作.我可以吗？

#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 == pbn");
        *pa1 = 2;
    }
    else {
        printf ("pa1 != pbn");
        pa1 = &a[0]; // ensure well defined behaviour in printf
    }
    printf ("b = %d *pa1 = %dn",b,*pa1);
    return 0;
 }

这是一个C和C问题.

使用GNU GCC v4.8.3进行Compile and Execute C Online测试：gcc -O2 -Wall给出

pa1 == pb                                                                                                                                                                                       
b = 1 *pa1 = 2

使用GNU GCC v4.8.3进行Compile and Execute C++ Online测试：g -O2-Wall

pa1 == pb                                                                                                                                                                                       
b = 1 *pa1 = 2

因此,通过(& a)[1]的b修改在C和C中的GCC失败.

当然,我想根据标准报价给出答案.

编辑：为了回应关于UB on& a 1的批评,现在a是一个1元素的数组.

相关：Dereferencing an out of bound pointer that contains the address of an object (array of array)

补充说明：我认为,“神秘”一词最初是由Tony Delroy here使用的.我借用它是错误的.