malloc 初始化_在C语言中,请一定记得初始化局部变量!
C语言中,未初始化的局部变量到底是多少?
答案往往是:
与编译器有关。
可能但不保证初始化为0。
未确定。
总之,全部都是些一本正经的形而上答案,这很令人讨厌。
但凡一些人给你滔滔不绝地扯编译器,C库,处理器体系结构却给不出一个实际场景复现问题的时候,这人大概率在扯淡。
其实,这个问题本身就是错误的问法,说全了能讲10万字,我们只要能在特定场景下确定其特定行为就OK了,当然,这就需要设计一个比较OK的实验。
在演示一个实际代码行为之前,先给出一个知识,CPU不认识变量,更无法识别变量的名字,CPU只会从特定的内存位置取值或者将值存到特定的内存位置,因此当问一个变量的值是多少的时候,必须要知道这个变量对应的值被保存在什么地方。
来看下面的代码:
#include void func1(){ int a; printf("func1:%d\n", a); a = 12345;}void func2(){ int b; printf("func2:%d\n", b);}void func4(){ int d; printf("func3:%d\n", d);}void func3(){ int c; printf("func3:%d\n", c); c = 54321; func4();}void test_call(){ func3();}int main(int argc, char **argv){ func1(); func2(); test_call();}
我们有func1~func4一共4个函数,其内部均有一个未初始化的局部变量,它们的值到底是多少呢?
对于这种局部变量,它们的值取决于:
变量在栈中的位置。
变量对应的栈位置在 之前 有没有被store过。
可以看到,上述第一点标记了一个内存位置,第二点则是代码的行为,也就是说,只要有代码去store对应的位置, 且后续的代码没有reset该位置的值的话,该位置就会保留着原先被store后的值。
验证非常简单,试一下就知道了:
[root@localhost test]# ./a.outfunc1:0func2:12345func3:0func3:0
按照函数调用栈帧的变化,func1的局部变量a和func2的局部变量b显然是位于同一个位置的,在func1被调用时,这是一块新的内存(可能在进入main之前有栈帧到达过这个位置),a的值取决于调入内存该位置的页面对应偏移的初始值,这取决于操作系统:
操作系统在分配给程序页面时可能会将页面clear为零页。
栈的分配不会涉及C库,这里显然并不涉及C库的行为,但类似malloc分配的内存则涉及C库了。
打印结果,a的值为0,我们认为操作系统返回给了应用程序零页。接下来在func1中将其赋值12345之后函数返回,接下来调用func2的时候,在之前func1已经退出的栈帧位置重建栈帧,对应位置依然还是12345。
我没有看到func1的ret操作后面有stack清0的代码指令。效率考虑,也不该有这样的指令。
再看test_call函数,很明显,func3和func4调用使用的并不是同一个栈帧,因此即便是在func3中对c赋值了54321,也不会影响在其栈帧之上的func4的栈帧对应位置的值d。因此c和d的初始值均保持为0。
那么,初始化一个局部变量和不初始化一个局部变量,在指令层面上,区别在哪里呢?
很简单,亲眼看一下就知道,先看未初始化局部变量的func1:
// int a;00000000004005ad : 4005ad: 55 push %rbp 4005ae: 48 89 e5 mov %rsp,%rbp 4005b1: 48 83 ec 10 sub $0x10,%rsp 4005b5: 8b 45 fc mov -0x4(%rbp),%eax 4005b8: 89 c6 mov %eax,%esi 4005ba: bf 90 07 40 00 mov $0x400790,%edi 4005bf: b8 00 00 00 00 mov $0x0,%eax 4005c4: e8 b7 fe ff ff callq 400480 4005c9: c7 45 fc 39 30 00 00 movl $0x3039,-0x4(%rbp) 4005d0: c9 leaveq 4005d1: c3 retq
再看初始化局部变量a为2222的版本:
// int a = 2222;00000000004005ad : 4005ad: 55 push %rbp 4005ae: 48 89 e5 mov %rsp,%rbp 4005b1: 48 83 ec 10 sub $0x10,%rsp 4005b5: c7 45 fc 00 00 00 00 movl $0x0,-0x4(%rbp) 4005bc: 8b 45 fc mov -0x4(%rbp),%eax 4005bf: 89 c6 mov %eax,%esi 4005c1: bf 90 07 40 00 mov $0x400790,%edi 4005c6: b8 00 00 00 00 mov $0x0,%eax 4005cb: e8 b0 fe ff ff callq 400480 4005d0: c7 45 fc 39 30 00 00 movl $0x3039,-0x4(%rbp) 4005d7: c9 leaveq 4005d8: c3 retq
仅仅差了一条指令:
4005b5: c7 45 fc 00 00 00 00 movl $0x0,-0x4(%rbp)
初始化的操作是依靠实实在在的指令完成的。
总结一句, 函数返回在pop出当前栈帧的时候,并不会清理它遗留在栈帧里的数据,下个函数调用再次重用到该栈帧的内存时,未初始化的局部变量将会被遗留数据影响,从而变得不确定!
所以,记得初始化你的局部变量。
malloc 初始化_在C语言中,请一定记得初始化局部变量!相关推荐
- Go语言中的struct的初始化。
Go语言中的struct的初始化. GO语言不比其他语言,在struct中,它没有构造函数,不必赋值也能不报错. 比如: type Student struct {name stringage int ...
- 在C 语言中,请一定记得初始化局部变量!
点击上方"大鱼机器人",选择"置顶/星标公众号" 福利干货,第一时间送达! C语言中,未初始化的局部变量到底是多少? 答案往往是: 与编译器有关. 可能但不保证 ...
- c语言中extern关键字_了解C语言中的extern关键字
c语言中extern关键字 In this article, we'll take a look at understanding the extern keyword in C. 在本文中,我们将了 ...
- java去哪导包_在Java语言中,哪一个包中的类是自动导入的?( )java.applet
包括,语言中标的详细评审核心是评,标书性审进行查是对实质. 对一的某栋厂行评企业估房进,包中在资估中产评,属于. 完成修正总概算,类动导现工目的会发和数化可能建设.类动导结规模构.程项类型量有设备所变 ...
- 下列表达式在python中是非法的_在Python语言中,以下非法的表达式是( )
[单选题]6.9 下列各式避雷器放电电压的说法错误的是( ) [单选题]下列哪种数据类型是整型() [判断题]修剪的快捷命令键是rt [单选题]已知x,y=" ",-1:则 ...
- 在python语言中可作为源文件后缀名的是_在Python语言中,可以作为源文件后缀名的是( )_学小易找答案...
[多选题]在2013清单计价中,其他项目界面,包括( ) [多选题]在分部分项工程清单下,添加一项定额的方法有( ) [单选题]下列各项中,关于企业无法查明原因的现金溢余,经批准后应贷记的会计科目是( ...
- c语言中什么是指针初始化,C语言中的“char指针初始化”是什么意思?
满意答案 gqtywh 推荐于 2019.10.06 采纳率:53% 等级:8 已帮助:60人 char 指针,也就是char *类型. 其初始化本质上与其它变量初始化没有什么区别,就是赋予其一 ...
- java if和else if的区别_关于C语言中if,elseif和else的区别在哪里
关于C语言中if,elseif和else的区别在哪里以下文字资料是由(历史新知网www.lishixinzhi.com)小编为大家搜集整理后发布的内容,让我们赶快一起来看一下吧! 关于C语言中if,e ...
- c语言 单词变复数_关于C语言中的Complex(复数类型)和imaginary(虚数类型)
关于C语言中的Complex(复数类型)和imaginary(虚数类型) 其实这里的复数complex就是数学里的复数,包含实部和虚部两个部分,比如:x=2.1+6i,下面进行详细介绍. C99 新增 ...
最新文章
- 最近工作好忙,自己的软件又得落下很长一段时间了~
- JSON简介以及用法汇总
- python applymap_Python pandas.DataFrame.applymap函数方法的使用
- C 语言编程 — uint8_t / uint16_t / uint32_t /uint64_t
- vsFTPd 服务器初学者指南
- spring的自生一个bug
- angular ajax get post 参数,Angular的Post 传递参数问题及解决方法
- python变量自加一_Python个人练习项目 2-1
- facebook快捷登录 pc_华为发布首款商用台式机,商用PC布局更进一步
- itextdef将动态html转为pdf,[C#]使用第三方开源库iText7.pdfHtml,将Html转换成Pdf,以及如何以Html作为打印模板...
- MyCat分片规则之程序指定分片
- 超好用的Redis管理及监控工具:TreeNMS
- linux邮件报警命令,linux 邮件报警,监控内存cup
- RecyclerView的 overScrollMode,scrollbars属性含义
- 在activity之间传递数据
- 百度收录-如何使用API提交
- FL Studio 21中文版支持主题随心换,FL Studio 21Mac版新增对苹果M2/1家族芯片原生支持。
- 图书馆机器人索书号识别
- VBS操作文件:File对象和Files集合
- Ubuntu下使用GCC开发STM32的环境的搭建
热门文章
- windows安装gnvm安装教程,node多版本解决方案
- c++ 异常处理(1)
- Android Retrofit+RxJava 优雅的处理服务器返回异常、错误
- 解决jenkins控制台中文乱码问题
- Andriod Studio 解决问题 Failed to resolve: com.android.support:appcompat-v7:28.+
- 将java.time.LocalDate转换为java.util.Date类型
- 错误 - 无法访问IIS元数据库
- 《2018-2019全球IPv6支持度白皮书》发布,江北新区IPv6示范区建设正式启动
- path cp mv cat more less tail
- Ambient occlusion