Python函数嵌套-作用域-闭包-LEGB-函数销毁

1 函数嵌套

一个函数中存在另外一个函数(定义/调用)，这种方式我们称之为函数嵌套。所以：函数的嵌套主要分为嵌套调用，以及嵌套定义。

注意：在函数的内部定义函数，只能在函数内部进行调用，在其他地方是无法进行调用，强行调用就会提示NameError异常，所以说函数是有可见范围的，这就涉及到了作用域了

2 作用域

一个标识符的可见范围，叫做标识符的作用域。一般常说的是变量的作用域。根据作用的范围主要分为全局作用域和局部作用域。

全局作用域：在整个程序运行环境中都可见

局部作用域：在函数、类的内部可见，并且使用范围不能超过所在的局部作用域(比如在函数内部定义了一个变量x，我在全局使用变量x是不行的。)

全局变量x在全局生效，所以内部函数inner是可以打印x的

局部变量y只在inner内部生效，所以在全局print(y) 是无法调用局部变量y的

观察下面的例子：

代码是从上到下执行的，所欲这样写也没什么毛病，但是这里这个例子是无法执行的，为什么呢？

x作为全局变量，在inner内部是可见的

在定义函数的阶段，Python的函数是作为一个整体一起被解释的。

inner函数在解释时，解释器发现在inner内部对x进行了定义(x += 1)，那么它就不会在调用全局变量x，而是标识x是局部定义的变量

而在执行x+=1的时候，inner内部的x还没有被定义，所以会提示x在定义前被执行了。(x += 1 --> x = x + 1 ,预先求 x + 1 时提示的)。

如何解决呢？有两种方法：更换变量名称、声明当前变量非本地变量(global)

2.1 global关键字

我们通过在函数内部使用global关键字来声明一个变量不是局部变量，而是一个全局变量。

虽然全局变量x，在全局没有被定义，但是由于在函数内部使用了global关键字，所以x就变成了全局变量了。使用了global关键字，那么之前的例子就可以进行如下修改了

针对global的总结：

外部作用域变量在内部作用域是可见的，但是不要在内部函数中直接使用或者修改，因为函数的目的就是为了封装，尽量与外界隔离。

如果函数需要使用外部全局变量，请尽量使用函数的形参定义，在调用时传递实参来使用

建议不要使用global。

3 闭包

在很多编程语言中都存在闭包的概念，那什么是闭包呢？闭包其实就是一个概念，出现在嵌套函数中，指的是：内层函数引用到了外层函数的自由变量，就形成了闭包

自由变量：未在本地作用域中定义的变量，比如在嵌套函数的外层定义的变量(非全局变量)，对内层来说，这个变量就叫做自由变量。

注意：上面这个例子比较特殊，首先它是一个闭包，在inner函数内引用了外层函数的自由变量C。因为这里的c是一个引用类型，我们可以直接通过c来操作c中的元素，但是没办法对c本身进行修改，即c += [1,3]。看似是列表拼接，但是它会重新对c进行声明，这就引发了之前的问题，内部函数inner没有定义c，所以会报错！所以当c不是引用类型的话，我们就没办法修改了吗？当然不是，可以使用global把c声明为全局变量，但是这就不是闭包了，所以这里就需要使用nonlocal了(python 3 特有)。

疑问？我们都说函数执行完毕后，函数的内部变量将会被回收，这里的outer执行完毕后，那么变量c应该会被回收啊，为什么还能被内层的inner找到呢？这是因为在定义阶段，解释器解释到inner函数时，由于函数是作为一个整体被解析的，所以解释器知道在inner内部引用了外部的变量，所以在执行函数outer时，并不会回收已被内部函数inner引用的自由变量c。

3.1 nonlocal关键字

使用了nonlocal关键字，将变量标记为不在本地作用域定义，而在上一级局部作用域中定义，但不能是全局作用域中定义。

nonlocal只能用在嵌套函数的内部

4 默认值的作用域

在Python中，一切皆对象，函数也不列外，当我们给函数定义默认值时，Python会把它存放在函数的属性中，这个属性值就伴随这个函数对象的整个生命周期。

foo.__defaults__属性查看函数的默认值属性

仔细查看输出结果，发现函数地址没有变，也就是说函数这个对象没有变，但是我们发现每次它的__default__属性都会发生变化，这是为什么呢？这是因为sed和list的默认值都是引用类型，它们引用的都是函数在定义时定义的默认值中。 虽然函数执行完就释放了内存空间，也是由于引用类型，指向默认空间的指针没了，但是已经在调用时改变了默认值空间的对象中的元素，所以在下一次再次调用时此时默认值空间的元素已经被改变了。所以当函数的默认值为引用类型时，这点要特别的注意了

解决办法：

在定义时使用引用类型时，在函数内部使用前先进行copy。

在定义函数时默认使用None值，在函数内判断如果是None则开辟一个引用类型。

5 变量名解析原则LEGB

变量的解析原则，也可以理解为变量的查找顺序：

L(Local): 本地作用域、局部作用域的local命名空间。函数调用是创建，调用结束消亡

E(Enclosing): Python 2.2时引入嵌套函数，实现了闭包，这个就是嵌套函数的外部函数的命名空间

G(Global): 全局作用域，即一个模块的命名空间。模块被import时创建，解释器退出时消亡

B(Build-in): 内置模块的命名空间，生命周期从Python解释器启动时创建到解释器退出时消亡。例如print函数、open函数等。

变量查找的规则为 L > E > G > B，即：先本地后嵌套再全局最后是内置函数中

6 函数的销毁

全局函数：

重新定义同名函数

del 语句删除函数名称，函数对象引用计数减1

程序结束时

局部函数：

重新在上级作用域定义同名函数

del 语句删除函数名称，函数对象的引用计数减1

上级作用域销毁时