c++ - Visual Studio 2010 - 数据段和堆栈内存相同

Question

我发现常量文字 get 被放置在程序的数据段中(来自 SO)并且是只读的，因此行“s[0] = 'a' ” 会导致错误，实际上确实如此当我取消注释该行并运行时发生。然而，当我查看 MS VS 中的内存窗口时，变量都放在内存中。我很好奇他们(编译器)如何强制对“s”进行只读访问？

#include <iostream>

int main(void)
{
      char *s = "1023";
      char s_arr[] = "4237";
      char *d = "5067";
      char s_arr_1[] = "9999";
      char *e = "6789";
      printf("%c\n", s[0]);
//      s[0] = 'a'; This line would error out since s should point to data segment of the program
      printf("%s\n", s);
      system ("pause");
}

0x002E54F4  31 30 32 33 00 00 00 00 34 32 33 37 00 00 00 00  1023....4237....
0x002E5504  35 30 36 37 00 00 00 00 39 39 39 39 00 00 00 00  5067....9999....
0x002E5514  36 37 38 39 00 00 00 00 25 63 0a 00 25 73 0a 00  6789....%c..%s..
0x002E5524  70 61 75 73 65 00 00 00 00 00 00 00 43 00 3a 00  pause.......C.:.

编辑 1:更新存储在 s_arr 中的值(应该放在堆栈空间中)以明确它被放置在与字符串常量相邻的位置。

编辑 2:因为我看到了关于基于页面的 ro/rw 访问的答案，这里地址 .. 0x...4f4 是 rw 0x...4fc 是 ro 并且 0x...504 是 rw。他们如何实现这种粒度？此外，由于每个页面可能至少为 4kb，有人可能会争辩说 0x4fb 可能是前一个 ro 页面的最后地址。但是我现在又添加了几个变量来表明它们都连续地放在内存中并且粒度是每 8 个字节。您可以说，由于您提到的页面处于 4k 级别，

Answer 1

我不知道是什么让您认为您的示例在不可修改的内存旁边显示了可修改的内存。你在说什么“粒度”？你的内存转储没有显示任何类似的东西。

字符串 "4237"您在内存转储中看到的不是您的s_arr .那"4237"您看到有一个只读 字符串文字用作s_arr 的初始化程序 .该初始化器被复制到s_arr .同时，实际 s_arr驻留在其他地方(在堆栈中)并且可以完全修改。它包含 "4237"以及(作为它的初始值)，但这是一个完全不同的 "4237" ，您在内存转储中看不到。让你的程序打印地址 s_arr你会发现它远不及你转储的内存范围。

同样，您关于“0x...4f4 是 rw 0x...4fc 是 ro 而 0x...504 是 rw”的说法是完全错误的。所有这些地址都是只读的。它们都不是可读写的。那里没有任何“粒度”。

记住这样的声明

char s_arr[] = "4237";

真的等同于

const char *unnamed = "4237";
char s_arr[5];
memcpy(s_arr, unnamed, 5);

在你的内存转储中，你正在查看 unnamed我上面示例中的地址。该内存区域是只读的。你的s_arr驻留在完全不同的内存区域，可读写。