从汇编看c++的extern关键字

在c++中，extern关键字用来声明变量和函数，在声明函数的时候，有和没有extern的效果一样，即下面两条语句具有同样的效果:

extern void fun();
void fun();

　　但是对于变量，有和没有extern就有区别，当有extern时，只是告知编译器存在这个变量，编译器并不为该变量分配存储空间，即真正的声明；若没有extern，则在声明的同时，编译器也为该变量分配存储空间。

下面是有extern的情形时的c++源码:

 

int main() {
    extern int i;
}

 

下面是对应的汇编码:

; 1    : int main() {

    push    ebp
    mov    ebp, esp;esp为指向栈顶的一个寄存器，始终指向栈顶 ebp也是一个寄存器，用来在给main函数分配的栈空间上寻访局部变量，因此常常作为基址
                ;上面两句的作用是将前一个栈的基址保存(压栈),然后让ebp指向当前函数的栈空间，再次作为基址

; 2    :     extern int i;
; 3    : }

    xor    eax, eax
    pop    ebp
    ret    0;这三句是用来退栈用，以及函数的返回

从上面的汇编码可以看出，并没有为变量i在站上分配任何存储空间

下面是没有extern的情形的c++源码:

int main() {
    int i;
}

下面是对应的汇编码:

; 1    : int main() {

    push    ebp
    mov    ebp, esp
    push    ecx;与有extern时的最大的不同就是这一句
               ;ecx也是一个寄存器，这里讲ecx的值压栈，等同于为变量i在栈上分配了存储空间
               ;由于ecx中的值不确定，因此，如果我们访问没有初始化的局部变量，常常得到一个奇怪的值

; 2    :     int i;
; 3    : }

    xor    eax, eax
    mov    esp, ebp
    pop    ebp
    ret    0

可以看出，没有extern关键字时，确实为变量i在栈上分配了存储空间

上面的汇编使用cl指令在命令行产生的，如果用vs2010来产生汇编码，汇编码可能不一样，但意思是一样的。