《C语言程序设计进阶教程》一2.4 可见度

2.4 可见度

本文讲的是C语言程序设计进阶教程一2.4 可见度,每当一个函数被调用的时候,一个新的栈帧就被压入调用栈。函数只能看到它自己的栈帧。考虑下面的两个例子:


这两个程序是完全相同的。把f1中的实参k和m重新命名为a和b不会起任何作用。调用栈是怎样的呢?以下是在第一个例子中当f1被调用时的调用栈:

第二个例子中的调用栈是相同的,只是栈帧f1中的实参有了不同的标志符而已。要注意地址是相同的。第二个例子强调了在f1中的a和b与f2中的a和b指代的是不同的地址–值对。下面是调用栈:

f1栈帧中的a和f2栈帧中的a没有任何关系。将a重命名为k对程序的行为不会造成什么不同。同样的规则也适用于b。要记住计算机不知道标志符。计算机只是使用地址和值。标志符只是对读代码的人有用,当程序被编译成机器可读格式的时候就被舍弃了。
这可能在学生中会造成困惑。凭直觉来看,似乎f1栈帧中的a和f2栈帧中的a是相关的。事实上,它们在栈内存中占据着不同的位置且是不相关的。下面的例子提供了进一步的解释:


下表显示的是当程序已经输入f1但是还未执行第3行时的栈内存:

在第3行被执行之后,调用栈将会像下表中那样。注意函数f1只是修改在它的栈帧中的变量a,因为一个函数只能看见它自己栈帧中的实参和变量。

下表显示了在程序运行第4行之后的栈内存:

函数f1返回a+b,即17+4=21。值21被写入在地址102(即值地址)的值。在f1返回之后,栈内存如下:
栈帧 标志符 地址 值

注意在f2中a和b的值没有改变。
虽然相同的标志符可能会出现在不同的栈帧中,但同样的名字却不能在相同的栈帧中被定义两次。下面的程序是无效的,因为a在一个函数中被同时用作实参和局部变量:

回顾一下,本章解释了栈内存的概念,它在函数被调用时会用到。栈内存为每一个函数存储返回位置、值地址、实参和局部变量。

原文标题:C语言程序设计进阶教程一2.4 可见度

时间: 2024-09-10 23:53:10

《C语言程序设计进阶教程》一2.4 可见度的相关文章

《C语言程序设计进阶教程》一导读

前 言 为什么要写这本书 本文讲的是C语言程序设计进阶教程一导读,市面上有成百上千种关于编程的书籍,其中有很多都是关于C语言编程的,那么为什么我还要写这本书呢?为什么建议你花时间读它呢?这本书跟其他书有什么不同呢?跟很多作者一样,我写这本书是因为我觉得有必要,觉得这本书中的方法比其他书中的更好. 我将现在已有的关于编程的书分为两类:入门和进阶.入门类书是给初学者写的,一般都假设读者没有编程基础,所以主要是介绍基本的概念.通常以"Hello World!"程序开始,也就是将"H

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

第2章 栈 内 存 2.1 值和地址 本文讲的是C语言程序设计进阶教程一2.1 值和地址,在计算机中,程序和数据必须保存在叫作存储器(storage)的地方.没有存储器,计算机就没有可以计算的东西.存储器可以分为易失的和非易失的.易失的存储器需要供电,它只有在计算机开机的时候才能保存数据.易失的存储器通常叫作"内存".非易失存储器可以在计算机关机或者重启的时候保存数据,例如,闪存或者硬盘.闪存也叫作固态硬盘或SSD.现在一个典型的笔记本电脑会有几个GB的内存.G代表着"gig

《C语言程序设计进阶教程》一2.3.2 函数实参

2.3.2 函数实参 本文讲的是C语言程序设计进阶教程一2.3.2 函数实参,为了理解函数实参,我们必须对目前见到的十分简单的例子进行详细叙述.首先,大多数函数引入输入实参,具有返回值.<韦氏词典>将argument(实参)定义为"可以决定一个函数的值的自变量中的一个".对于一个数学函数,例如f(x.y.z),变量x.y.z就是函数f的实参.在C程序中,函数有相似的语法.考虑下面的例子: 输入a.b.c是f1的实参.当f1被调用的时候,f2必须提供3个实参,而且这些信息被压

《C语言程序设计进阶教程》一1.2 重定向输出

1.2 重定向输出 本文讲的是C语言程序设计进阶教程一1.2 重定向输出,printf函数可能是人们写C程序时最先了解的几个函数之一.著名的"Hello World!"程序经常被用作给初学者的例子.在这个计算机程序中,文本被打印至终端.然而在一些场合中,从程序中重定向信息并将其保存至一个文件中是很有用的.下面是几个可能用到的情境:一个程序打印得过多过快,电脑屏幕不能显示出打印的所有内容.你不想在程序运行时等待着,相反,你想稍后再去看上面的信息.有时,检查程序再次运行时的输出是否与之前相

《C语言程序设计进阶教程》一3.2 常见错误

3.2 常见错误 本文讲的是C语言程序设计进阶教程一3.2 常见错误,这里是一系列我所见过我的学生编写程序中的常见错误(有时甚至是我自己也会犯的).很多学生向我保证他们再也不会犯这些错误.事实上是人们还是会犯这些错误,而且比他们想象中的要更经常.这一节只考虑编程错误,而非设计错误.设计上的错误需要一本另外的关于设计软件方面的书来讲述. 原文标题:C语言程序设计进阶教程一3.2 常见错误

《C语言程序设计进阶教程》一2.5 习题

2.5 习题 本文讲的是C语言程序设计进阶教程一2.5 习题,本书有两种类型的作业:习题和编程作业.习题是不需要编写程序的问题--它们是"在纸上写"的问题.编程作业,显然是需要在电脑上完成的. 理解栈内存对于程序员而言是最必需的技能之一.如果你想要理解C程序(和许多其他编程语言),那么对栈内存的扎实理解是必要的. 原文标题:C语言程序设计进阶教程一2.5 习题

《C语言程序设计进阶教程》一3.2.2 错误数组下标

3.2.2 错误数组下标 本文讲的是C语言程序设计进阶教程一3.2.2 错误数组下标,对于一个有n个元素的数组,有效的下标是0,1,2, -, n-1,而n是一个无效的下标.当一个程序有着错误的下标时,这个程序就可能在一些情况下工作,而在其他的情况下崩溃.你不会想去编写一个靠运气工作的程序. 3.2.3 错误数据类型 你能骑自行车.你也可以用钢笔写字.你却不能骑钢笔,也不能用自行车写字.在程序中,类型指定功能.你需要理解并正确地使用类型.编程语言的趋势是让数据类型更有限制性,防止程序员犯意外的错

《C语言程序设计进阶教程》一3.1.3 编程后

3.1.3 编程后 本文讲的是C语言程序设计进阶教程一3.1.3 编程后,在你认为已经完成编程之后,读一读你的程序.检查有没有下面说的那些常见的错误.不要依赖测试:测试只会告诉你程序没有正常工作,它不会告诉你程序真的在正常运行.很可能测试用例并没有涵盖所有可能的方案.想要设计出涵盖所有可能方案的测试用例通常是很困难的.对于一个复杂的程序来说,涵盖所有可能方案一般是不可能的. 原文标题:C语言程序设计进阶教程一3.1.3 编程后

《C语言程序设计进阶教程》一3.2.1 未初始化变量

3.2.1 未初始化变量 本文讲的是C语言程序设计进阶教程一3.2.1 未初始化变量,一个常见的错误就是未初始化变量.一些学生认为所有的变量都会自动地初始化为0,这是错误的.未初始化的变量会储存着未占用值.这个值可能是0,但这是不一定的.这个类型的错误是很难通过测试来发现的.有时,这个值可能碰巧是0,这会让你认为程序是正确的.当值不为0时,程序就会有问题.一些学生认为初始化变量会使程序变慢--然而,这些纳秒级的延迟是可以忽略的.让你的程序慢几纳秒总比花几个小时去调试要好. 原文标题:C语言程序设

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

2.3.4 值地址 本文讲的是C语言程序设计进阶教程一2.3.4 值地址,目前为止,我们所有函数的返回类型都是void,即函数什么都没有返回.函数可以返回值.考虑下面的例子: 局部变量u在f2中,所以它是在f2的栈帧中.u的值是未被定义的,因为它还未被赋值.记住C不初始化变量,所以未初始化的变量可以存储任何值(即未占用).f2的栈帧包含值还未被定义的变量u. u的地址是在f1被调用之前存储在调用栈的.这个地址叫作值地址,因为它是函数f1存储返回值的地址.因此,当f1的栈帧建立之后,就要为值地址再