字符串文字的地址长度

我发现在带有 GCC 的 Linux 系统上，字符串文字的地址似乎比其他变量小得多。例如，以下代码生成下面所示的 o/p。

#include <stdio.h>

int main()
{
    char *str1 = "Mesg 1";
    char *str2 = "Mesg 2";
    char str3[] = "Mesg 3";
    char str4[] = "Mesg 4";

    printf("str1 = %p\n", (void *) str1);
    printf("str2 = %p\n", (void *) str2);
    printf("&str3 = %p\n", (void *) str3);
    printf("&str4 = %p\n", (void *) str4);

    return 0;
}

Output:

str1 = 0x400668
str2 = 0x40066f
&str3 = 0x7fffcc990b10
&str4 = 0x7fffcc990b00

是否有一个单独的常量地址空间用于此类用途？

该标准没有指定字符串文字的驻留位置，但很可能位于只读数据部分。例如在 Unix 系统上使用objdump您可以像这样检查只读数据部分：

objdump -s -j .rodata a.out

并使用实例 http://coliru.stacked-crooked.com/a/494ca248fcfc1286我们可以看到类似这样的输出：

Contents of section .rodata:
 400758 01000200 4d657367 20310073 74723120  ....Mesg 1.str1 
 400768 3d202570 0a004d65 73672032 00737472  = %p..Mesg 2.str
 400778 32203d20 25700a00 26737472 33203d20  2 = %p..&str3 = 
 400788 25700a00 26737472 34203d20 25700a00  %p..&str4 = %p..

C99标准草案部分6.4.5 字符串文字第 5 段 says:

[...] 然后使用多字节字符序列来初始化数组静态存储时间并且长度足以包含序列。[...]

这意味着字符串文字的生命周期就是程序的生命周期，第6段 says:

未指定这些数组是否不同，前提是它们的元素具有 适当的值。如果程序尝试修改这样的数组，则行为是 不明确的。

所以我们不知道它们是否不同，这将是一个实现选择，但我们确实知道我们无法修改它们。否则，它不会指定如何存储它们。