在编程学习过程中遇到的一些很低级的问题，请大侠赐教！ - C语言论坛

longwu9t

等　级：小飞侠
威　望：6
帖　子：732
专家分：2468
注　册：2014-10-9

第 12 楼

得分:0

以下是引用TonyDeng在2015-1-3 12:52:14的发言：

之所以局部自动变量未初始化时的值不定，就是因为只有声明无定义，int counter只是声明在本函数中将出现counter这个名称的变量，但并没有真正开辟构建数据实体，只有在执行for()循环中counter = 0的时候，才在栈中创建数据实体，这个时候数据在什么位置是临时找到的，所以它的值不确定，这条赋值语句是把一个常数复制给新创建的数据实体，与定义时初始化马上置值不同（比较一下C++的数据定义方式int counter(0)即知本质区别）。自动变量的值不确定，就是这样来的。相反，对静态变量，编译器是会按默认机制初始化数据的，通常会置零（在C++中就是由类或结构体的构造函数决定初始值）。

谢谢回复又学习了

[ 本帖最后由 longwu9t 于 2015-1-3 13:09 编辑 ]

Only the Code Tells the Truth K.I.S.S

2015-01-03 13:07

TonyDeng

等　级：贵宾
威　望：304
帖　子：25859
专家分：48889
注　册：2011-6-22

第 14 楼

得分:0

对10楼的补充：之所以新标准引入C++的变量即用即声明（定义）语法，道理也在这里，因为本来就是这样实现的，无需再强制程序员写代码时把变量声明集中写在开始处。

授人以渔，不授人以鱼。

2015-01-03 13:13

longwu9t

等　级：小飞侠
威　望：6
帖　子：732
专家分：2468
注　册：2014-10-9

第 16 楼

得分:0

在论坛里搜了一下，是这样的么？https://bbs.bccn.net/thread-339635-1-1.html

全局变量和静态变量分两种，一种是带初始化的，一种是未初始化的。
可执行程序可以分为几个段，如代码段，主要放指令，数据段，存放已初始化的全局变量和静态变量，即那些初始化的值存放在该段中，该步骤是在链接是就做好了的。还有BSS段，存放未初始化的全局变量和静态变量，这个段在文件中不占空间，当程序加载进内存后，系统给这个段分配空间，并初始化为0，所以未初始化的全局变量和静态变量的值都是0。

Only the Code Tells the Truth K.I.S.S

2015-01-03 13:24

TonyDeng

等　级：贵宾
威　望：304
帖　子：25859
专家分：48889
注　册：2011-6-22

第 18 楼

得分:0

不要用过去旧式的执行文件格式解释全部，新式的可执行文件格式有许多，编译器和系统只保证对外的表现符合语言描述，但具体如何实现的则不在我们的研究范围之内，除非你专搞这个课题。现在Windows7以上系统中用VC2012编译的程序，到了XP下就被报告为“不是可执行文件”，就是因为两种系统可执行程序的格式是不一样的；同理，DOS时代的那些段什么的概念，也不是Windows时代仍然适用。

[ 本帖最后由 TonyDeng 于 2015-1-3 13:44 编辑 ]

授人以渔，不授人以鱼。

2015-01-03 13:30

zklhp

来　自：china
等　级：贵宾
威　望：254
帖　子：11485
专家分：33241
注　册：2007-7-10

第 20 楼

得分:5

以下是引用TonyDeng在2015-1-3 12:52:14的发言：

之所以局部自动变量未初始化时的值不定，就是因为只有声明无定义，int counter只是声明在本函数中将出现counter这个名称的变量，但并没有真正开辟构建数据实体，只有在执行for()循环中counter = 0的时候，才在栈中创建数据实体，这个时候数据在什么位置是临时找到的，所以它的值不确定，这条赋值语句是把一个常数复制给新创建的数据实体，与定义时初始化马上置值不同（比较一下C++的数据定义方式int counter(0)即知本质区别）。自动变量的值不确定，就是这样来的。相反，对静态变量，编译器是会按默认机制初始化数据的，通常会置零（在C++中就是由类或结构体的构造函数决定初始值）。

但并没有真正开辟构建数据实体，只有在执行for()循环中counter = 0的时候，才在栈中创建数据实体

在C/C++的本地代码里面这种变量会在函数入口处保留栈空间相当于开辟数据实体以楼主的程序为例函数display_line()的反汇编如下

程序代码：

(gdb) disassemble display_line
Dump of assembler code for function display_line:
   0x000000000040155e <+0>:    push   rbp
   0x000000000040155f <+1>:    mov    rbp,rsp
   0x0000000000401562 <+4>:    sub    rsp,0x30
   0x0000000000401566 <+8>:    mov    DWORD PTR [rbp-0x4],0x0
   0x000000000040156d <+15>:    jmp    0x40157d <display_line+31>
   0x000000000040156f <+17>:    mov    ecx,0x2a
   0x0000000000401574 <+22>:    call   0x402b18 <putchar>
   0x0000000000401579 <+27>:    add    DWORD PTR [rbp-0x4],0x1
   0x000000000040157d <+31>:    cmp    DWORD PTR [rbp-0x4],0x1d
   0x0000000000401581 <+35>:    jle    0x40156f <display_line+17>
   0x0000000000401583 <+37>:    add    rsp,0x30
   0x0000000000401587 <+41>:    pop    rbp
   0x0000000000401588 <+42>:    ret   
   0x0000000000401589 <+43>:    nop
   0x000000000040158a <+44>:    nop
   0x000000000040158b <+45>:    nop
   0x000000000040158c <+46>:    nop
   0x000000000040158d <+47>:    nop
   0x000000000040158e <+48>:    nop
   0x000000000040158f <+49>:    nop
End of assembler dump.

看你的描述好像赋值之前那块空间是不存在的这与事实不符啊你能举个栗子不

2015-01-03 13:50