字符串常量在指针和数组中的表现形式

最近看到一道这样的题目，这里记录一下。

 char a1[] = "HelloWorld!";
 char a2[] = "HelloWorld!";
 char *p1 = "HelloWorld!";
 char *p2 = "HelloWorld!";

请问a1 a2 p1 p2之间的关系如何？

这里直接先看答案：

可以看到，结果是：&"HelloWorld!" = p1 = p2  ≠ a1 ≠ a2

        我们知道，字符串常量位于全局区中划分出来的一小块内存中，内存由程序结束后释放。而指针变量定义时指向的是一块内存，这里指向的是同一块内存地址的字符串常量，也就是“HelloWorld!”的地址。

        对于数组变量来说，a1和a2定义时，是不同的两个变量，由系统在堆中或者栈中分配一块内存，然后用字符串"HelloWorld!"去填充，而数组名则是这块内存的首地址，因而不会一样。