第2章 子程序.pptVIP

* * * * * * 基本概念—作用域与生存期 生存期是时间属性 作用域是空间属性 程序中变量的作用域是变量为可见的一个语句的范围; 如果一条语句中的一个变量可以被引用，这个变量即在这条语句中为可见的。 作用域规则 决定如何将一个名字的出现与一个变量相关联。 ① 静态作用域 基于程序单元的嵌套结构（作用域规则在编译时决定） ② 动态作用域 基于调用序列（作用域必须在运行时决定） 子程序及其实现 第四章 - * 基本概念—作用域与生存期 program MAIN; var a : integer; procedure P1; begin print a; end; {of P1} procedure P2; var a : integer; begin a := 0; P1; end; {of P2} begin a := 7; P2; end. {of MAIN} 名字、绑定、类型检测和作用域 第三章 - * 如果是静态作用域： 根据程序单元的结构将名字绑定于非局部变量 输出结果：7 如果是动态作用域： 根据子程的调用序列将名字绑定于非局部变量 输出结果：0 子程序及其实现 第四章 - * 3.子程序作为参数传递 【例】当调用sub4时，sub2的引用环境是什么？ 浅绑定： 深绑定： = sub2, sub4, sub3, sub1 = sub2, sub1 子程序及其实现 第四章 - * 3.子程序作为参数传递 结论： 对于静态作用域语言：一般使用深绑定 对于动态作用域语言：一般使用浅绑定 习题 考虑下面用C语言编写的程序, 对于下面每一种参数传递方法分别写出程序的输出值。 (a) 按值传递 (b) 按引用传递 (c) 按值结果传递 (d) 按名传递 Program Main; var A, B : integer; procedure P(x, y, z); begin y : =y+1; z : =z+x; end; begin A : = 2; B : = 3; P(A+B, A, A); write(A); end * * * * * * * * * * * * * * * * * * * * * * * * * * * * 程序设计语言范型Programming Languages Paradigms 教师： 张荣华 华北电力大学计算机系软件教研室（保定）   子程序 引言 抽象(程序设计语言）= 数据抽象 + 控制抽象 子程序及其实现 第二章 - * 抽象(程序设计语言）= 数据抽象 + 控制抽象 数据抽象 控制抽象 基本数据类型 字符串类型 用户定义的序数类型 数组类型 记录类型 表达式层次 语句层次 程序单元层次 抽象数据类型 引言 子程序及其实现 第二章 - * 数据抽象 + 控制抽象 不同的程序设计语言范型语义 程序设计语言范型纵向教学模式 引言 子程序及其实现 第二章 - * 数据抽象 + 控制抽象 不同的程序设计语言范型语义 程序设计语言范型横向教学模式 内容 1. 简介 2. 参数传递方法 3. 子程序作为参数传递 子程序及其实现 第二章 - * 子程序及其实现 第二章 - * 1.简介 程序控制流的层次分类 表达式中的控制流程 语句的控制流程 程序单元的控制流程 程序单元的控制流程 基本抽象 （第七章） 结构抽象 （第八章） 单元抽象 （第九、十章） 程序设计语言原理（原书第8版） 1.简介 子程序的共同特征: ①每一个子程序只有一个入口 ②在被调用子程序执行期间，调用程序单元被停止， 即在任何时刻只有一个子程序执行 ③当子程序执行结束，控制总是被返回到调用程序 子程序及其实现 第二章 - * 1.简介 子程序设计问题: 使用什么样的参数传递方法？ 实参的类型要按照形参的类型进行检测吗？ 局部变量是被静态绑定还是动态绑定？ 如果子程序可以被作为参数传递，该子程序的引用环境是什么？ 子程序的定义是否可以出现在其他子程序的定义之中？ 子程序可以重载吗？ …… 子程序及其实现 第二章 - * 内容 1. 简介 2. 参数传递方法 2.1 参数传递的语义模型 2.2 参数传递的实现模型 3. 子程序作为参数传递 子程序及其实现 第二章 - * 子程序及其实现 第四章 - * 2.1 参数传递的语义