C语言FunctionsAdvancedConcepts.pptVIP

函数：高级概念 吴清锋 2007年秋 提纲 函数的递归调用 数组作为函数参数 变量的作用域 变量的存储类别和声明修饰符 动态存储方式和静态存储方式 auto修饰符和register修饰符 static修饰符 extern修饰符 变量的定义与变量的声明 存储类别小结 内部函数和外部函数 函数的递归调用 递归定义：在调用一个函数的过程中又出现直接或间接地调用函数本身的情况,称为函数的递归调用。 如何判断递归?上述定义也是递归的判断标准! P173 为何要引进递归？简化程序设计，使程序代码简洁易读！ 两种形式的递归(模型见P171:图8-9,图8-10) 直接递归：f1中调用f1 间接递归：f1中调用f2、f2再调用f1 递归函数的编写与使用应注意：递归函数一定要有出口 示例 P172，例8.7，8.8 汉诺塔问题 递归之所以大家觉得难，主要在于不容易被理解。往往用户无法理解怎么用了“递归”，程序如此简单，结果就给算出来了 ，这么神奇！这个时候需要认真考虑递归调用的实质！ 递归编写程序的一些思考 首先要思考有哪些题目可以用递归来解决： 问题的特征：问题的解决依赖于类似问题的解决，只不过后者的复杂程度或规模较原来的问题更小，而且一旦将问题的复杂度或规模简到足够小，问题就可解。 初学者至少要掌握以下两种情形： 情形一：一些似乎也可用循环解决的问题： 例8.7，例8.8，P129：6.10 此类问题似乎有个特征，可以“归纳”成数学公式！ 情形二：一些似乎只能用递归的问题：汉诺塔问题 对于第一类问题，编程的要点：首先要获得归纳式，然后要把公式表述出来。 一般来说，有一个if语句，其条件，即使用来描述递归跳出条件 条件成立时，就是执行值确定的情况； 条件不成立时，就是执行公式的另一部分； 对于第二类问题，编程的要点：就是要把工作思路搞清楚 什么是工作思路呢？类似P175第三段 什么是工作步骤呢？类似P176第五段 一般来说，有一个if语句，其条件：即使用来描述递归跳出条件 条件成立时，就是工作的最后一步； 条件不成立时，就是工作的其他步骤； 数组作为函数参数(1) 分为三个主题： 数组元素作为函数实参 数组名作为函数实参 多维数组名作为函数参数 数组元素作为函数实参 定义与使用 数组元素可以作为函数的实参，与用变量作实参一样，是单向传递，即“值传送”方式 函数定义时，通过定义形参来接受实参的值 示例（P178，例8.7.1） 回顾下，函数的三要素 如何实现使用数组元素来调用函数的 关于数组的基本操作及在实际操作时赋初值的作用 “//”的作用 数组作为函数参数(2) 数组名作为函数的参数 定义与使用 定义时，形参数组采用： 类似数组定义的形式：float average(float array[10]) 可以不指定数组大小：float average(float array[],int n) 调用时，实参数组是相应的数组名 实参数组与形参数组的元素类型应该一致 注意 用数组名作为参数时，传递的不是数组的值，而是实参数组的首地址 实参数组和形参数组大小可以不一致，甚至可以在定义函数时候省略对形参数组长度的定义。思考,传递数组长度的必要性?! 由于传递的是地址，所以形式参数和实际参数共享同一段存储空间。其含义：在子函数中对数组元素值的改变将直接影响到主函数中的值。 示例 数组作为函数参数(3) 多维数组名作为函数的参数 定义与使用 定义时，形参数组采用： 类似数组定义的形式：float average(float array[5][6]) 可以省略第一维的大小：float average(float array[][6]) 调用时，实参数组是相应的数组名 实参数组与形参数组的元素类型应该一致 注意 用数组名作为参数时，传递的不是数组的值，而是实参数组的首地址 实参数组和形参数组大小可以不一致由于传递的是地址，所以形式参数和实际参数共享同一段存储空间。其含义：在子函数中对数组元素值的改变将直接影响到主函数中的值。 示例 P183,例8.14 强调两者用相同的一段空间！ 变量作用域（1） 变量定义的两种位置（位置决定了内外部变量） 在所有函数之外 在块内的开头部分 在块内的开头部分定义的变量称为内部变量。 内部变量只在所在块中有效，故称局部变量。 函数体是典型的块，所以在函数声明语句部分定义的变量也是局部变量。 形式参数只在函数中有效，也是局部变量。 在所有函数之外定义的变量称为外部变量。例子 外部变量的有效范围为从定义变量的位置开始到所在文件的结束，可以由其有效范围内的多个函数共用，因而也称为全局变量或全程变量。注意，这体现了全局变量的优点! 变量的有效范围称为变量的作用域。 变量作用域（2） 使用全局变量的优点(P