局部变量在编译时就确定地址吗

captivated

1. 全局变量在编译期就确定了地址这句话并非完全准确. 一般的程序是这样. 动态库里面的全局变量能在编译期确定地址吗？答案是不行.
   而且 -- 不是“编译时”，而是“编译期”，事实上确定地址的事情是在链接阶段才确定的。

2. 局部变量的地址, 其在函数栈帧内的布局是由编译器确定的. 而其地址当然只有运行起来之后才能确定. 因为程序开始运行时栈才开始存在。局部变量的地址分配是运行时由函数中的指令分配的.

captivated

回复 4# cljj0322


    当然. 比如在x86_32构架上, 分配函数局部变量空间就是esp减个值的事情是吧. 那么当函数里面写

    int a;

    a = expr(...);

    这种东西的时候, 很显然编译器要知道a放在函数栈帧内的什么地方. 也就是说, 函数栈帧内, 变量的布局是由编译器确定的, 这一点毫无疑问.
    实际上, 一般C语言函数编译为汇编代码时, 其函数开头都是如下指令:
    push %ebp
    mov  %esp, %ebp

    根据这两条指令, 该函数栈帧的起始地址(%esp)就存放在寄存器%ebp中. 所以%ebp被称为栈基指针.
    然后通常分配空间的指令不过是(举个例子):
    sub $-24, %esp
    -24就是说从栈基指针开始向下24个字节就是这个函数局部变量存放的地方。
    之后要访问, 只需要以%ebp为基本, 减个偏移值就得到局部变量的地址, 减多少，编译器确定。