常量、指针和变量的实现机制

无论是硬件设计还是软件设计，计算机领域都有一条设计法则-----那就是把不变化的和变化的东西分离出来，这样做的好处是稳定性提高了，而且方便维护。

按照一般的PE文件结构来说，常量存储在数据区块，变量存储在堆栈，一般程序的编译器也很乐意按照这种方式编译和生成PE文件。

在内存中，一般数据是从低地址往高地址存放，而在堆栈中数据是从内存高的地址往内存低的地址存放。

int a=3,*pa=&a; int main() { int b=4; int *pb=&b; *pb=*pa; return 0; }

反汇编形式如下：

int a=3,*pa=&a; int main() { 00E013A0 push ebp ；保护EBX寄存器的值 00E013A1 mov ebp,esp ；ebp指向当前堆栈指针 00E013A3 sub esp,0D8h ；为局部变量预留D8h字节空间 00E013A9 push ebx ；保护ebx寄存器的值 00E013AA push esi ；保护esi寄存器的值 00E013AB push edi ；保护edi寄存器的值 00E013AC lea edi,[ebp-0D8h] ；edi指向局部变量缓冲区 00E013B2 mov ecx,36h ；ecx作为计数器下面循环复制36h*4字节数据 00E013B7 mov eax,0CCCCCCCCh ；要复制的源数据放入eax中 00E013BC rep stos dword ptr es:[edi] ；循环复制数据到局部变量缓冲区中 int b=4; 00E013BE mov dword ptr [b],4 ；[b]=变量b int *pb=&b; 00E013C5 lea eax,[b] ；eax寄存器保存变量b的指针 00E013C8 mov dword ptr [pb],eax ；[pb]=指针pb *pb=*pa; 00E013CB mov eax,dword ptr [pb] ；eax=指针pb 00E013CE mov ecx,dword ptr [pa (0E07008h)] ；ecx寄存器保存指针pa 00E013D4 mov edx,dword ptr [ecx] ；edx寄存器的值=a 00E013D6 mov dword ptr [eax],edx ；pb指向的值被赋值为a,也就是b=a return 0; 00E013D8 xor eax,eax ；eax清零 } 00E013DA push edx ；下call面干啥的不知道, _CheckStackVars? 00E013DB mov ecx,ebp 00E013DD push eax 00E013DE lea edx,[ (0E013F4h)] 00E013E4 call @ILT+130(@_RTC_CheckStackVars@8) (0E01087h) 00E013E9 pop eax 00E013EA pop edx 00E013EB pop edi ；恢复edi寄存器的值 00E013EC pop esi 00E013ED pop ebx 00E013EE mov esp,ebp ；恢复调用前的堆栈指针 00E013F0 pop ebp ；恢复ebp寄存器的值 00E013F1 ret ；函数返回