高级语言比如Python和Java一般允许在函数中定义函数,前者称为父函数,后者称为子函数。下面给出了Python的一个例子:
程序打印的结果是两个25。这里有三个问题:
- 为什么子函数child()可以引用父函数parent()中的局部变量a和参数,却不能对它们赋值?
- 为什么child()打印的是25而不是5?
- 子函数与普通函数有什么本质区别?
当编译器在parent()的函数体中遇到对child()的调用时,会把子函数所要引用的所有局部变量或者参数以隐含参数的形式被保存在子函数的的运行记录中。所以子函数能够引用父函数中的局部变量和参数是可以理解的。
所以,当child()被调用时,Python会自动把当前局部变量a的值作为隐含参数压入运行堆栈。由于当前a=25,所以child()函数内打印的就是25。跟定义child()时a的值无关。
由于Python和Java都是以传值方式传递参数的(所谓传引用,实质上传的是对象的地址值),这意味着这些隐含参数在子函数体中所发生的任何变化都不会被父函数发觉。这就是为什么凡是被子函数引用的参数或者局部变量在Java中必须要用final进行修饰的原因。在Python中则规定子函数可以引用父函数的参数和局部变量,但是不能对它们进行赋值。
所以父函数在调用子函数时,会把自己的局部变量和参数作为隐含参数传递给后者,只要后者引用了它们。而子函数递归调用自己时,会把运行堆栈中自己的运行记录中的隐含参数复制到新的运行记录中。对于普通函数,Python和Java是不会做这种区分的。这就是两者的本质区别。