1. return 关键字
首先我们先来看这一段代码
1.1 这段代码是能打印出函数里面的内容,但是为什么呢?
1.2 为什么会打印出来随机数呢?
首先,如何理解栈帧销毁,计算机中所谓的删除数据究竟是在做什么?
然后我们再看一下内存的大致分布图:
1.3 然后继续问,计算机中,释放空间是否真的需要将我们的数据全部清为0/1?
1.a:我们拿的不是x,是x的内容,虽然函数栈帧释放了,但是并不是清空数据。
b:return x 是放在寄存器里面的,不会随着函数栈帧的销毁而销毁。
2.我们在前面已经详细了解了函数栈帧的创建和销毁,知道调用函数形成栈帧,函数返回,释放栈帧。即当show函数返回的时候,他开辟的栈帧就已经销毁了,也就是说,那一块空间不归他管,其他的函数可以随时去用,在这里,因为printf也是函数,所以在使用时也会开辟函数栈帧,即覆盖了之前字符串的数据(开辟函数栈帧的时候,会有一个初始化空间为全C的过程,不知道大家还记不记得,不记得可以去看看前面的函数栈帧的专门的一篇文章哈!),所以打印出来的时候是随机值!
3.释放空间其实本质上就是之前空间上的数据允许被别的数据直接覆盖(作者理解的哈)。
可以用下面两张图加深理解:
变乱码是覆盖了之前开辟的栈帧,因为printf也是函数。
1.4 又一个问题,在开辟函数栈帧的时候,为什么就一定会开辟刚刚好的空间呢,即里面变量再多,内容再多,也不会有什么问题:
虽然我们的函数没有真正的被调用,但是编译器在识别的时候可以通过函数里面的关键字,定义的变量的多少及其类型,去预估开辟空间的大小。
1.5 又又又一个问题:为什么临时变量具有临时性?
C语言是面向过程语言,所以充满大部分函数,又因为大部分变量是在函数内定义的,即大部分变量都是临时变量,在我们的栈上开辟,函数调用开辟函数栈帧,函数返回销毁函数栈帧,又因为开辟变量需要在函数栈帧里面开辟,当函数栈帧销毁的时候变量的空间也就销毁了,所以大部分(除static定义和动态内存开辟)变量都和函数一样是有临时性。(这里的销毁(释放)也就是允许被覆盖)
简单来说:栈帧结构在函数调用完毕,需要被释放。
返回值临时变量接收的本质
其实还是在前面函数栈帧的文章中就详细解释了的,也不过多赘述了, 通过查看汇编可以看到,对于一般内置类型,寄存器eax可以充当返回值的临时空间。
1.6 但是如果不接收函数的返回值呢?
但还是会把返回值放进eax(寄存器)
2. const关键字
2.1 const 修饰的只读变量
const修饰变量真的不能被修改吗?
直接上结论:
const修饰的变量不可以直接被修改
const放的位置可以是类型之前也可以是之后是一样的,但一般都写在前面
(这里指的是int const *p 和 const int *p 一样不要与下面的搞混了)
(int const*p int *const p ,前面是修饰*p后面是修饰p)
2.2 那const修饰的意义在哪里?
其实const是给编译器看的,简单说我告诉编译器,我const修饰后,后面如果我或者别人想直接修改的时候编译器就直接报错。
2.3 那什么地方的数据是真正的不可被修改呢?
在字符串常量区,然后访问第一个字符然后改变他,发生报错,这是真正意义上的不可被修改,不是C语言提供的,而是操作系统提供的保护。
(当然你如果还想了解为什么是真正意义上的不可修改就需要去了解操作系统关于这块的处理,不属于目前C语言的范畴哈,后期才会讲。)
所以const是在编译期间保护不可修改。所以报错都是编译报错而不是运行报错。
2.4 const修饰一般变量
比如修饰 int 类型,float 类型等,就是不可直接修改,就不过多赘述了。
2.5 const修饰数组——只读数组
和修饰常量一样的。