北航研究生课程程序语言的设计原理的教程第06章节.ppt

第6章 函数和过程;6.1 函数和过程抽象; 各种语言函数定义 (a) FORTRAN INTEGER FUNCTION FACT(N) //前缀指明返回类型 INTEGER N,I,F //参数类型在此声明 F = 1 DO 10 I = 2,N F = F*1 10 CONTINUE FACT = F //必须至少定义函数名一次 RETURN //至少有一返回语句 END (b) Pascal FUNCTION fact (n:Integer) :Integer； //参数类型在变元表中定义， BEGIN //后缀指明返回类型 fact ∶= 1； IF n = 1 OR n = 0 THEN Return ELSE Fact ∶= n*fact(n-1)； //也要定义函数名 END ;; 多重入口和指定返回; 形－实参数表中元素个数，次序，类型应一致。早期语言都严格遵此准则。近代语言提供了较多的灵活表示法。 Ada引入缺省参数，实参个数可少于形参个数；指明参数结合不考虑次序；Ada引入参数模式in,out,inout指明只读，只写，读写参数。 C语言允许任意多个参数的调用。如内定义函数printf()调用时可以写任意个输出，只是第一参数中的格式个数与参数个数对应。 过程定义与调用 过程子程序定义形式 procedure PROC (fp1,fp2,...) //过程型构 B; //子程序体包含局声明 对应的过程调用是： PROC (ap1, ap2, ...)； C语言一切过程，包括主程序都是函数过程。它以void(无值)关键字代替函数类型指明符，实施子程序过程语义 ; 无参过程;6.2 参数机制; Pascal中的传值调用 PROCEDURE test1(J2,A2:Integer;P2:list) BEGIN Writeln(J2,A2,P2↑.value); J2∶= J2 + 1; P2∶= P2↑.next; Writeln(J2,A2,P2↑.value) END. 调用程序有： test1(J1,A1[J1],P1↑.next);;6.2.2 传名调用(call-by-name);6.2.3 引用调用(call_by_reference);6.2.4 参数模式与返回调用(call-by-return);6.2.5 值-返回调用（call-by-value-and-return）;6.2.6 指针参数（call_by_point）;指针版：变换两变量的内容 TYPE int_ptr = ↑Integer; VAR jp, kp:int_ptr; PROCEDURE swap2 (a,b:int_ptr); VAR t:Integer; BEGIN t∶= a↑; a↑∶= b↑; b↑∶= t END; 相应调用程序片断： NEW (jp); jp↑= 3; NEW (kp); kp↑∶= 5; Swap2(jp,kp);;C语言的指针参数传递 void swap3(int *a, int*b) { int t; t = *a; *a = *b; *b = t; } 形参是两指针， 实参不用指针的版本： main() { int j = 3; k = 5; //声明并初始化两整数 swap3(j,k); //类型匹配吗？ } ;实参是指针的版本： main() { int j = 3, k = 5; int *jp = j, *kp = k; swap3(jp, kp); };6.3 变元求值策略 ML：fun sqr(n : int) = n*n 若p=2，q=5有调用 sqr ( p + q ) = sqr ( 2 + 5 ) = 7 * 7 = 49 急