《C语言程序设计进阶教程》一2.3.4　值地址

2.3.4　值地址

本文讲的是C语言程序设计进阶教程一2.3.4　值地址,目前为止，我们所有函数的返回类型都是void，即函数什么都没有返回。函数可以返回值。考虑下面的例子：

局部变量u在f2中，所以它是在f2的栈帧中。u的值是未被定义的，因为它还未被赋值。记住C不初始化变量，所以未初始化的变量可以存储任何值（即未占用）。f2的栈帧包含值还未被定义的变量u。

u的地址是在f1被调用之前存储在调用栈的。这个地址叫作值地址，因为它是函数f1存储返回值的地址。因此，当f1的栈帧建立之后，就要为值地址再加上一行，它的值是u的地址。

当函数f1执行的时候，它把k和m的值加在一起，产生的值为9。数字9之后被写入（即代替）在地址100处的初始未占用的值。在f1结束之后，它的帧出栈，调用栈就会像下面这样：

这条规则可以合并到之前的调用栈规则中：
如果一个函数返回了一个值，这个值就会被写到调用函数栈帧的一个局部变量中。这个变量的地址（叫作值地址）存储在调用栈中。
如果函数有局部变量，那么局部变量被存储在实参之上。
如果函数有实参，那么实参是存储在返回位置上的。
实参和返回位置共同构成了被调用函数的栈帧。
当一个函数被调用时，这条调用之后的行编号就被压入调用栈。这个行编号就是“返回位置”（RL）。这是在被调用函数结束（即返回）之后程序继续执行的地方。
如果相同的函数在不同行处被调用，那么每个调用都有一个相应的返回位置（每个函数调用之后的那行）。
当一个函数结束之后，程序将从存储在调用栈顶部的行编号处继续执行。调用栈顶部的内容就会被弹出。
要注意调用函数（f2）没有被强制去存储被调用函数（f1）的返回值，上例中的第9行可以写作：

在这种情况下，函数f1被调用，但是返回值被舍弃了。因为没必要去存储返回值，值地址没有压入调用栈。
关键词return可以出于两种不同的目的被使用：
如果void位于函数名前面，此函数不返回任何值。单词return使此函数停止，程序从调用函数中的返回地址继续。
如果函数不是void型，单词return会为在调用栈中由值地址给出的变量赋值。
请记住如果一个函数执行了return声明，在return之后的任何内容都会被忽略且不会被执行。执行return声明会使函数停止，且它的栈帧会出栈。之后程序会从返回地址继续执行。

原文标题：C语言程序设计进阶教程一2.3.4　值地址