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

cljj0322

1 全局变量等是在编译时就确定了逻辑地址。
2 局部变量的逻辑地址呢？在编译时确定，还是在运行时由内核确定？
  函数栈的地址呢？什么时候确定？
  

cljj0322

回复 5# captivated


    很全面，理解了！谢谢！

cljj0322

程序运行时在执行函数时即会给这个函数分配1个栈，栈起始地址这时确定；在加上编译期确定的变量的相对地址就可以访问这个地址(注意:程序在编译完后，所有变量名就都被替换为地址了)。
貌似是这样的哦

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为基本, 减个偏移值就得到局部变量的地址, 减多少，编译器确定。

cljj0322

回复 3# captivated
函数栈帧是在运行时分配的，但是函数内的局部变量是否在编译期就确定了其相对地址呢？
这样，函数栈帧的地址确定了，其内部局部变量的地址自然也确定了。


   

captivated

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

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

cljj0322

追加问题：
全局变量为何在编译时确定地址呢，是为了能在整个进程间共享这个变量；
从这个角度讲，函数的局部变量不必在编译时确定逻辑地址，或许只需确定相对地址即可。
不知道我的理解有没有出入？敬请指教