地址长度的字符串文字

Question

我看到在使用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;
}

输出:

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

这种用法是否有一个独立的地址空间？

Answer 1

该标准没有指定字符串文字将驻留在何处,但很可能它将在只读数据部分中.例如,在使用的Unix系统上,objdump您可以像这样检查只读数据部分:

objdump -s -j .rodata a.out

并使用实例我们可以看到类似于此的输出:

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段说:

[...]多字节字符序列然后用于初始化静态存储持续时间和长度的数组,足以包含序列.[...]

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

如果这些数组的元素具有适当的值,则这些数组是否不同是未指定的.如果程序试图修改此类数组,则行为未定义.

所以我们不知道它们是否是不同的,这将是一个实现选择,但我们知道我们无法修改它们.否则它没有指定它们应该如何存储.