常量折叠

 

#include <iostream>using namespace std;void main(){ const int a = 5; int *p = (int *)&a; //让p指向与a相同的内存空间 cout << &a << ", " << p << endl; *p = 10; // 照里说a的值也应该改变，实际却没有,这就是常量折叠. cout << a << ", " << *p << endl; // 这个"常量折叠"就是在编译器进行语法分析的时候，将常量表达式计算求值， // 并用求得的值来替换表达式，放入常量表。可以算作一种编译优化。 // 我只是改了这个地址内容,但是a还是, // 因为编译器在优化的过程中，会把碰见的const全部以内容替换掉 // （跟宏似的: #define PI 3.1415,用到PI时就用.1415代替）， // 这个出现在预编译阶段；但是在运行阶段，它的内存里存的东西确实改变了!!!} 

/* 看下面这句的反汇编代码

cout << a << ", " << *p << endl;

00B11547 mov         esi,esp

00B11549 mov         eax,dword ptr [__imp_std::endl (0B1A340h)]

00B1154E push        eax

00B1154F mov         edi,esp

00B11551 mov         ecx,dword ptr [p]

00B11554 mov         edx,dword ptr [ecx]

00B11556 push        edx

00B11557 push        offset string ", " (0B17800h)

00B1155C mov         ebx,esp

00B1155E push        1 // 关键看这一句，注意到输出打印a的值的时候传进去的并不是a

// 这个到底是哪来的，就是从我们的常量表里来的。

00B11560 mov         ecx,dword ptr [__imp_std::cout (0B1A344h)]

00B11566 call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (0B1A32Ch)]

00B1156C cmp         ebx,esp

00B1156E call        @ILT+420(__RTC_CheckEsp) (0B111A9h)

00B11573 push        eax

00B11574 call        std::operator<<<std::char_traits<char> > (0B11159h)

00B11579 add         esp,8

00B1157C mov         ecx,eax

00B1157E call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (0B1A32Ch)]

00B11584 cmp         edi,esp

00B11586 call        @ILT+420(__RTC_CheckEsp) (0B111A9h)

00B1158B mov         ecx,eax

00B1158D call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (0B1A34Ch)]

00B11593 cmp         esi,esp

00B11595 call        @ILT+420(__RTC_CheckEsp) (0B111A9h)

 

 

总结：编译器会为常量分配了地址,但是在使用常量的时,常量会被一立即数替换（保护常量，防止被破坏性修改）