其中函数名是标识符,命名必须符合 Python 标识符的规定;形式参数是用逗号分隔的变量名序列(可以为空)。函数体是语句序列,左端必须缩进一些空白。 一旦定义了一个函数,就可以在程序的任何地方调用这个函数。函数调用的语法如下:

    其中实际参数可以是表达式,个数必须和形式参数相同。注意,这里列出的函数调用语法实 际上适用于没有返回值的函数,即 4.1.3 节中提到的“过程”。4.2.6 小节会讨论具有返回值 的函数。

    当 Python 遇到一个函数调用时,将通过四个步骤来处理这个调用。假设程序 P 现在执 行到了一个函数调用 f(a),则这四个步骤是:

    (1)调用者 P 在调用点暂停执行(术语也称为 P 挂起);

    (2)函数 f 的形式参数被赋予实际参数 a 的值;

    (3)执行 f 的函数体;

    (4)f 执行完毕后,控制返回到 P 中调用点的下一条语句。

    下面我们以程序 4.6 为例,具体描述函数调用过程。为了方便阅读,将程序 4.6 的主函 数 main 罗列在下面,整个程序从 main 开始执行。

    1. def main():
    2. star_treetop()
    3. treetrunk()
    4. print
    5. caret_treetop()
    6. treetrunk()

    当 Python 执行到 star_treetop()时,main 暂停执行,控制转到 star_treetop。 因为没有参数传递问题,所以直接执行 star_treetop 的函数体。图 4.1 描述了这个函数 调用的控制转移情况。

    图 4.1 控制从 main 转移到 star_treetop

    参数传递后开始执行 treetop 的函数体。图 4.2 展现了这时的状态,注意 treetop内部的变量 ch 已经被赋值为”*“。

    4.2.4 小结:函数的定义与调用 - 图2

    图 4.2 控制从 star_treetop 转移到 treetop

    由于 treetop()的函数体是一系列 print 语句,没有更多函数调用,于是 Python 顺 序执行这些语句,结束后将控制返回到 treetop 调用点的下一条语句,即 star_treetop 中的第二条 treetop(“*“)语句,这时的情形参看图 4.3。注意,当函数执行完毕,函数的 变量所占用的存储空间将被 Python 收回,任何变量都不可能将数据保持到下一次执行函数, 故图 4.3 中 ch 显示为未赋值状态。

    图 4.3 控制从 treetop 返回 star_treetop

    接下来执行 star_treetop 的第二条 treetop(“*“),其过程和前面一条完全一样, 我们就不作图演示了。现在,当控制从 treetop 再次返回 star_treetop 时,此函数也 执行完毕,故控制又返回到 main 函数中调用点的下一条语句。如图 4.4 所示。

    4.2.4 小结:函数的定义与调用 - 图4

    图 4.4 控制从 star_treetop 返回 main

    控制返回 main 后执行的是第二条语句 treetrunk(),这又是一个函数调用。于是 main 再次暂停执行,控制转移到函数 treetrunk。treetrunk 执行完毕控制返回 main, 执行第三条语句 print,输出一个空行后执行函数调用 caret_treetop()。这和前面 star_treetop()的执行过程是类似的,控制转移到 caret_treetop 的函数体后遇到的 是 treetop(“^”),这次传递给形式参数 ch 的值是字符”^”,图 4.5 表示了此时的状态。

    此后的执行过程与上述类似,我们不再逐一说明。当程序最后一行的调用 treetrunk 执行完毕,控制返回到 main 时到达程序末尾,于是整个程序结束。其实,main 本身也是一个函数,程序 4.6 的最后一行就是对 main 的调用。由于 main 是顶层模块,调用并执行 main 后控制只能返回给 Python——所以整个程序执行完毕后我们看到的是熟悉的“>>>”。

    以上我们通过例子描述了 Python 的函数定义和调用。还要说明一点,函数定义中提到 形式参数可以是用逗号分隔的变量名序列。对于有多个形式参数的函数,调用时一定要注意 形式参数与实际参数的匹配。简单的做法是按位置匹配,即调用时提供的第一个实际参数赋 值给第一个形式参数,第二个实际参数赋值给第二个形式参数,依此类推。

    作为例子,我们再来研究用字符画树冠的问题。树冠是由两个三角形图案组成的,程序 4.2 或程序 4.6 中,函数 treetop 的功能就是用字符画三角形图案,只不过程序 4.2 固定用 字符”“画画,程序 4.6 可以用任意字符画画。观察 treetop 的函数体,可见图案是由多 条 print 语句所打印的字符串拼成的,并且每条 print 所打印的字符串很有规律:每行中 ““的个数是自顶向下分别是 1、3、5、7,而左边留的空格数自顶向下分别是 3、2、1、0。 对这些数字做一点分析,很容易得出规律:设树冠最宽处有 w 个”“字符,则当某一行上要 画 c 个”“时,该行左边留的空格数就是(w - c) / 2。根据这个规律,我们定义一个新的 treetop 函数,它具有两个参数:一个是画图所用字符 ch,另一个是树冠宽度 width(为 对称起见应该用奇数,此前例子都固定为 7)。显然这个新的 treetop 函数更加通用化,可 以用任意字符画任意宽度的树冠。

    1. def treetop(ch,width):
    2. for c in range(1,width+1,2):
    3. print ((widthc)/2) * " " + c * ch

    下面我们在 Python 交互环境下定义这个函数,然后做一些测试。结果如下:

    1. >>> treetop("*",7)
    2. *
    3. *******
    4. >>> treetop("@",9)
    5. @
    6. @@@
    7. @@@@@
    8. @@@@@@@
    9. @@@@@@@@@
    10. >>> treetop(11,"A")
    11. Traceback (most recent call last):
    12. File "<pyshell#9>", line 1, in <module> treetop(11,"A")
    13. File "<pyshell#2>", line 2, in treetop for c in range(1,width+1,2):

    从上例可知,由于函数 treetop 有两个形式参数,因此调用该函数时必须传递两个实 际参数与之匹配。参数传递的效果相当于在 treetop 的函数体前面执行了两条赋值语句:

    如果实际参数与形式参数不匹配,函数执行就可能出错,如上例中的 treetop(11,”A”)。 更严重的是函数执行似乎没有出错,但参数的错误匹配实际上导致计算结果完全没有意义。

    例如我们定义一个显示身高体重信息的函数,然后调用之:

    1. print "Height:",height
    2. print "Weight:",weight
    3. >>> printInfo(80,1.80)
    4. Height: 80
    5. Weight: 1.8

    可见,由于调用时参数传递不匹配,函数虽然能够执行,但结果无意义。

    关键字参数

    函数调用时的参数传递通常采用上述“按位置匹配”的方式,但 Python 还提供另一种 参数传递方式——关键字参数。关键字参数形如“<形参名> = <实参值>”,即通过形式参数 的名字来指示为哪个形参传递什么值。例如:

    1. >>> treetop(width = 11,ch = "A")
    2. A
    3. AAA
    4. AAAAA
    5. AAAAAAA
    6. AAAAAAAAA

    关键字参数在某些场合用起来更方便。例如,如果一个函数有很多参数,但是调用时只 想为个别参数传递值,而其他参数采用缺省值,这是采用关键字参数就是必然的选择。下面 是一个简单的例子: