运行时存储空间的组织和管理课件.ppt

6.3 非局部名字的访问 program param(input, output);（过程作为参数） procedure b(function h(… begin writeln(h(2)) end ; procedure c; var m: integer; function f(n: integer)… begin f := m+n end {f}; begin m := 0; b(f) end {c}; begin c end. 从b的访问链难以建立f的访问链 访 问 链 访 问 链 param c m b f 6.3 非局部名字的访问 program param(input, output);（过程作为参数） procedure b(function h(… begin writeln(h(2)) end ; procedure c; var m: integer; function f(n: integer)… begin f := m+n end {f}; begin m := 0; b(f) end {c}; begin c end. f作为参数传递时，它的起始地址连同它的访问链一起传递 访 问 链 访 问 链 param c m b f, 6.3 非局部名字的访问 program param(input, output);（过程作为参数） procedure b(function h(… begin writeln(h(2)) end ; procedure c; var m: integer; function f(n: integer)… begin f := m+n end {f}; begin m := 0; b(f) end {c}; begin c end. b调用f时，用传递过来的访问链来建立f的访问链 访 问 链 访 问 链 param c m b f, 访 问 链 b 6.3 非局部名字的访问 program ret (input, output);（过程作为返回值） var f: function (integer): integer; function a: function (integer): integer; var m: integer; function addm (n: integer): integer; begin return m+n end; begin m:= 0; return addm end; procedure b (g: function (integer): integer); begin writeln (g(2)) end; begin f := a; b(f) end. a ret b addm 6.3 非局部名字的访问 program ret (input, output);（过程作为返回值） var f: function (integer): integer; function a: function (integer): integer; var m: integer; function addm (n: integer): integer; begin return m+n end; begin m:= 0; return addm end; procedure b (g: function (integer): integer); begin writeln (g(2)) end; begin f := a; b(f) end. a ret b addm 执行addm时，a的活动记录已不存在，取不到m的值 6.3 非局部名字的访问 C语言的函数声明不能嵌套，函数不论在什么情况下激活，要访问的数据分成两种情况 非静态局部变量（包括形式参数），它们分配在活动记录栈顶的那个活动记录中 外部变量（包括定义在其它源文件之中的外部变量）和静态的局部变量，它们都分配在静态数据区 因此C语言允许函数（的指针）作为返回值 6.3 非局部名字的访问 6.3.3 动态作用域 被调用过程的非局部名字a和它在调用过程中引用的是同样的存储单元 基于运行时的