3

我看到在带有 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

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

4

4 回答 4

6

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

objdump -s -j .rodata a.out

并使用Live Example我们可以看到类似于以下的输出：

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

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

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

于 2013-09-09T14:14:38.287 回答
3 
char *str1 = "Mesg 1";
char *str2 = "Mesg 2";
char str3[] = "Mesg 3";
char str4[] = "Mesg 4";

str1并且str2是指针对象，指向字符串字面量——或者更准确地说，指向与这些字符串字面量相关的匿名静态数组对象。这些数组具有静态存储持续时间，这意味着它们存在于程序的整个执行过程中。它们也是只读的，这会影响实现选择存储它们的位置。（顺便说一句，由于字符串文字是只读的，指向它们的指针应该声明为const。）

str3并且str4不是指针；它们是使用指定值初始化的数组对象。它们具有自动存储持续时间，这意味着它们仅在最近的封闭块的执行期间存在（在这种情况下，当main函数正在执行时）。对于main，除非您使用递归调用或atexit处理程序玩技巧，否则没有太大的实际区别，但对于其他函数来说，这很重要。具有自动存储持续时间的对象通常在堆栈上分配，并在函数返回时释放。

（在大多数情况下，数组表达式被隐式转换为指向数组第一个元素的指针。有关详细信息，请参阅comp.lang.c 常见问题解答的第 6 节。）

在您的系统上，显然只读静态对象被分配在 附近的低地址，而堆栈位于正下方(2 470x400000 )的更高地址。这可能因一个系统而异。0x800000000000

需要注意的是，所有这些地址都具有相同的长度。您似乎使用的是 64 位系统。0x400668不是 32 位地址；它是一个 64 位地址，恰好有一个小的数值。printffor使用的输出格式%p是实现定义的；它可以打印：

str1 = 0x0000000000400668
str2 = 0x000000000040066f
&str3 = 0x00007fffcc990b10
&str4 = 0x00007fffcc990b00
于 2013-09-09T14:52:27.833 回答
2

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

不，这完全取决于实现。唯一可以保证的是：

  • 字符串文字在您的程序的整个生命周期中保持活动状态，并且
  • 如果无论如何修改字符串文字，您会得到未定义的行为。
于 2013-09-09T14:09:36.677 回答
1

一些实现将字符串文字放在只读数据段中，这可能与常规数据有显着不同的地址。但是，这因实现而异，因此不要假设它是通用的。

于 2013-09-09T15:00:48.110 回答