学习C语言局部变量,经常听到这个说法。为什么局部变量默认是未初始化的?解释它需要理解程序结构和栈操作。
栈内存
- C/C++函数的局部变量保存在栈,栈可以认为是操作系统为了“加速”程序运行给线程配置了一块临时使用的内存区域,如果有临时使用的变量,直接压栈或者出栈即可。
- CPU用push和pop执行压栈和出栈,仅仅是修改的RSP或ESP的指针,没有任何一条指令在清零栈内存。
- C/C++局部变量int a或者int a[10]并不会生成初始化它们的代码,编译器只不过偷偷计算占用的空间,并修改RSP/ESP初始值,并通过它们的相对关系找到对应的临时变量,仅此而已。
- 注意,需要和申请内存清零区分开。这是申请的时刻清零,运行时操作系统不会浪费时间去清零不用的堆栈。
- 顺带介绍一下向内核申请内存的清零行为。操作系统在创建进程或线程时,Windows早期内核并不为栈(包括堆内存)初始化,Windows 10 版本 2004 之后建议用类似ExAllocatePoolZero的API申请(默认会清零内存),请参见:Windows内核申请内存清零? 值得注意的是,一般而言,通过操作系统native API向内核申请的内存,一般会被清零,这是为了安全(注意内核为了优化性能,可能用一个fake zero page代替(读内存只会返回0,未真正将page清零),等到真正写内存时重新申请创建PTE并做真正清零动作)。但内核态属于信任模式,内核使用新page可能使用非零内存。
- C#不允许使用未初始化的局部变量,否则编译错误。C#的类或结构的字段,不显式初始化,默认值为0.
- Java类似C#,不过它没有结构体。
微风不燥,阳光正好,你就像风一样经过这里,愿你停留的片刻温暖舒心。
我是程序员小迷(致力于C、C++、Java、Kotlin、Android、iOS、Shell、JavaScript、TypeScript、Python等编程技术的技巧经验分享),若作品对您有帮助,请关注、分享、点赞、收藏、在看、喜欢,您的支持是我们为您提供帮助的最大动力。
欢迎关注。助您在编程路上越走越好!