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驻留在完全不同的内存区域,即读写.