常量折叠

 #include
using  namespace  std;

void  main()

{

    const  int  a = 5;

    int *p = (int *)&a;                              //让p指向与a相同的内存空间

    cout << &a <<", " << p <


 

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

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 >::operator<< (0B1A32Ch)]

00B1156C cmp         ebx,esp

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

00B11573 push        eax

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

00B11579 add         esp,8

00B1157C mov         ecx,eax

00B1157E call        dword ptr [__imp_std::basic_ostream >::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 >::operator<< (0B1A34Ch)]

00B11593 cmp         esi,esp

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

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


你可能感兴趣的:(C++)