当我在由GCC编译的Linux x86_64计算机上编译并运行以下C程序时：

#include <stdio.h>

int main(void)
{
    char *p1 = "hello";               // Pointers to strings
    char *p2 = "hello";               // Pointers to strings
    if (p1 == p2) {                   // They are equal
    printf("equal %p %p\n", p1, p2);  // equal 0x40064c 0x40064c
                                      // This is always the output on my machine
    }
    else {
    printf("NotEqual %p %p\n", p1, p2);
    }
}

我总是得到的输出为：

等于0x40064c 0x40064c

我知道字符串存储在常量表中，但是与动态分配的内存相比，地址太低了。

与以下程序比较：

#include <stdio.h>

int main(void)
{
    char p1[] = "hello";                // char arrar
    char p2[] = "hello";                // char array
    if (p1 == p2) {
    printf("equal %p %p\n", p1, p2);
    }
    else {                              // Never equal
    printf("NotEqual %p %p\n", p1, p2); // NotEqual 0x7fff4b25f720 0x7fff4b25f710
                                        // Different pointers every time
                                        // Pointer values too large
    }
}

两个指针不相等，因为这是两个可以独立操作的数组。

我想知道GCC如何为这两个程序生成代码，以及它们在执行过程中如何映射到内存。由于已经将其记录在文档中，因此很多时候都欢迎使用任何指向文档的链接。