从汇编看c++中的const常量

书上说对于const类型的复杂结构，比如struct，class，数组等，一定会分配储存空间，并且不能发生常量折叠。而对于基本的数据类型，在一般情况下并不分配存储空间，只是记录到符号表里面，除非对这个变量取值或者用extern声明。下面来看这一种情况:

c++源码:

int main() {
    const int i = 3;
    int j = i;
}

对应的汇编码:

_main    PROC

; 1    : int main() {

    push    ebp
    mov    ebp, esp
    sub    esp, 8;//分配8字节的内存

; 2    :     const int i = 3;

    mov    DWORD PTR _i$[ebp], 3;将3写入变量i的存储空间

; 3    :     int j = i;

    mov    DWORD PTR _j$[ebp], 3;将3写入变量j的存储空间

; 4    : }

    xor    eax, eax
    mov    esp, ebp
    pop    ebp
    ret    0
_main    ENDP
_TEXT    ENDS

从上面的代码可以看到：作为局部变量，虽然i被声明为常量，但是这里仍然在栈上为其分配了4byte的空间，而且给局部变量j赋值的时候用了常量折叠(不是访问i的内存，而是直接赋3)。因此，作为const声明的变量与普通变量并没有什么区别，只不过是编译器确保其值不被改变，并在某些时候做优化(比如声明全局的基本类型const，编译器不会分配存储空间)。而且分配存储空间与常量折叠并没有冲突。只要编译器检测到cosnt修饰符，并且发现该变量的值能够确定，就会常量折叠。