user-0 提问: c语言局部变量怎样分配存储空间

回复:
user: user-1
content: [b]引用 14 楼 Sforforforfor 的回复:非常感谢你的答案，解开了我的困惑。我可不可以这样理解：函数源代码被编译后，它的最开始会有移动栈指针的指令，效果就是在栈中分配空间，移动多少是编译器在编译期间计算好了，作为立即数存在于指令中。  就是这样子的，不过不一定是在开头，中间也可以 C语言可以在 {} 大括号内部的 语句组， --也有翻译成分程序的--内部定义变量； C++可以在随时，定义变量； 所以具体有几次移动栈指针，看编译器如何实现了； 和定义的变量大小，多少并无多少的关系。 编译器，只要保证使用变量的时候，有内存可用就行了。

user: user-1
content: 可执行文件，一般只有符号的重定位表； 还有一些操作系统，或者编译器，实现某些特别功能的专用表格、 这个符号，一般不包含函数内部的自动变量。 因为自动变量的位置，在每次函数调用过程中，是相对固定的，没有必要使用一个表格。  即便是静态变量，全局变量； 一般也只是有个初始值，需要表记录； 除非需要重定位，否则不需要额外，安排一个表，记录变量的位置。  C++函数内部的静态变量，因为需要保证，按照第一次调用的顺序初始化； 倒是可能，有个表记录一下。

user: user-1
content: 不用在可执行文件中记录。  编译器一般，至少分两步编译代码。 一步编译生成目标代码，一步链接目标代码，生成 可执行文件。  编译的时候，编译器，有个表，专门记录每个函数自动变量的空间大小。 编译成代码的时候，只是把按照表中的大小数数而已。 需要增加减小内存，则安排指令移动堆栈指针（加减对应的寄存器）  编译器，按照需要为变量，安排偏移量，则在编译器的表里，找到，算出来， 写入目标代码中的指令中，是个立即数（对应于C，C++ 就相当于常数） 立即数是指令的一部分，是指令的操作数，所以，一般不需要表来储存。  编译器最后，把各个目标代码文件，链接成可执行文件 linux,unix 目标代码是xxx.o, 缺省可执行文件，编译后为 xxx.out dos,window 目标代码是xxx.obj,缺省可执行文件，编译后为xxx.exe

user: user-0
content: 引用 12 楼 lm_whales 的回复:可执行文件，一般只有符号的重定位表； 还有一些操作系统，或者编译器，实现某些特别功能的专用表格、 这个符号，一般不包含函数内部的自动变量。 因为自动变量的位置，在每次函数调用过程中，是相对固定的，没有必要使用一个表格。  即便是静态变量，全局变量； 一般也只是有个初始值，需要表记录； 除非需要重定位，否则不需要额外，安排一个表，记录变量的位置。  C++函数内部的静态变量，因为需要保证，按照第一次调用的顺序初始化； 倒是可能，有个表记录一下。 非常感谢你的答案，解开了我的困惑。我可不可以这样理解：函数源代码被编译后，它的最开始会有移动栈指针的指令，效果就是在栈中分配空间，移动多少是编译器在编译期间计算好了，作为立即数存在于指令中。

user: user-2
content: 这个应该是编译器管理的吧

user: user-0
content: 引用 4 楼 lm_whales 的回复:[quote=引用 楼主 Sforforforfor 的回复:]        c语言的函数内的局部变量在栈中分配空间，而且是当它所在的函数被调用时才分配，这个过程是自动的还是由系统来管理的？在函数被调用的时候是根据什么来确定要分配多大的空间？  这是编译器安排好的代码，自动管理的。  分配回收，只是栈指针寄存器的加减操作。 变量在栈帧中的相对位置，基本上是固定的不变的；  只是函数调用时候，栈指针的初始化位置不同，所以变量地址不同。 每个自动变量的偏移量是固定的。   [/quote] 貌似明白一些了，不过还有个问题就是可执行文件中有个表专门记录每个函数自动变量的空间大小吗？否则栈指针怎么知道加减多少？

user: user-3
content: 计算机组成原理→DOS命令→汇编语言→C语言（不包括C++）、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言（包括C++）、架构……  对学习编程者的忠告： 眼过千遍不如手过一遍！ 书看千行不如手敲一行！ 手敲千行不如单步一行！ 单步源代码千行不如单步对应汇编一行！  VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。 （Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。）  想要从本质上理解C指针，必须学习汇编以及C和汇编的对应关系。 从汇编的角度理解和学习C语言的指针，原本看似复杂的东西就会变得非常简单！ 指针即地址。“地址又是啥？”“只能从汇编语言和计算机组成原理的角度去解释了。” 但我又不得不承认：  有那么些人喜欢或者适合用“先具体再抽象”的方法学习和理解复杂事物；  而另一些人喜欢或者适合用“先抽象再具体”的方法学习和理解复杂事物。 而我本人属前者。  不要企图依赖输出指针相关表达式的值【比如printf("%p\n",...)】来理解指针的本质， 而要依赖调试时的反汇编窗口中的C/C++代码【比如void *p=...】及其对应汇编指令以及内存窗口中的内存地址和内存值来理解指针的本质。  这辈子不看内存地址和内存值；只画链表、指针示意图，画堆栈示意图，画各种示意图，甚至自己没画过而只看过书上的图……能从本质上理解指针、理解函数参数传递吗？本人深表怀疑！ 这辈子不种麦不收麦不将麦粒拿去磨面；只吃馒头、吃面条、吃面包、……甚至从没看过别人怎么蒸馒头，压面条，烤面包，……能从本质上理解面粉、理解面食吗？本人深表怀疑！！  提醒： “学习用汇编语言写程序” 和 “VC调试(TC或BC用TD调试)时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 （Linux或Unix下可以在用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。） 想要从本质上理解C指针，必须学习C和汇编的对应关系。” 不是一回事！  不要迷信书、考题、老师、回帖； 要迷信CPU、编译器、调试器、运行结果。 并请结合“盲人摸太阳”和“驾船出海时一定只带一个指南针。”加以理解。 任何理论、权威、传说、真理、标准、解释、想象、知识……都比不上摆在眼前的事实！  有人说一套做一套，你相信他说的还是相信他做的？ 其实严格来说这个世界上古往今来所有人都是说一套做一套，不是吗？  不要写连自己也预测不了结果的代码！  电脑内存或文件内容只是一个一维二进制字节数组及其对应的二进制地址； 人脑才将电脑内存或文件内容中的这个一维二进制字节数组及其对应的二进制地址的某些部分看成是整数、有符号数/无符号数、浮点数、复数、英文字母、阿拉伯数字、中文/韩文/法文……字符/字符串、汇编指令、函数、函数参数、堆、栈、数组、指针、数组指针、指针数组、数组的数组、指针的指针、二维数组、字符点阵、字符笔画的坐标、黑白二值图片、灰度图片、彩色图片、录音、视频、指纹信息、身份证信息……  十字链表交换任意两个节点C源代码（C指针应用终极挑战）http://download.csdn.net/detail/zhao4zhong1/5532495

user: user-4
content: 这是自动管理的吧~

user: user-5
content: 看汇编结果。

user: user-6
content: 稍微学一点汇编，就不会有这种疑问了

user: user-1
content: 变量占用空间是固定的，每个变量一经定义； 在栈中占用的空间就固定了； 因为C同一类型的变量，占用相同的栈空间。

user: user-1
content: 引用 楼主 Sforforforfor 的回复:c语言的函数内的局部变量在栈中分配空间，而且是当它所在的函数被调用时才分配，这个过程是自动的还是由系统来管理的？在函数被调用的时候是根据什么来确定要分配多大的空间？  这是编译器安排好的代码，自动管理的。  分配回收，只是栈指针寄存器的加减操作。 变量在栈帧中的相对位置，基本上是固定的不变的；  只是函数调用时候，栈指针的初始化位置不同，所以变量地址不同。 每个自动变量的偏移量是固定的。

user: user-7
content: 分配的大小是由你定义时确定的，分配和回收的过程是由系统来处理的

user: user-8
content: 自动分配，大小是由局部变量决定的

user: user-9
content: 都是自动分配的啊，你分配多少个字节，是你定义决定的，退出函数自动释放。不知道你是不是要问这个，还是问函数执行的空间