再读 Python Language Reference

https://docs.python.org/3.6/reference/ 重读笔记。

Lexical analysis

在Python源文件中，空格将代码分割成token(s)。物理换行符（UNIX下的\n）对 Python程序没有实际意义，Python程序认定的是 NEWLINE。
在Python源文件中，一个Tab键在Python解释器解释的时候会被替换成8个空格的缩进，而缩进对于Python有非常重要的意义。所以推荐在自己用的解释器里都把tab键替换成 4个空格（或者自己想要的空格数）。
```
>>> def foo():
...     print("hello")  # 1 tab here
...     print("world")  # 4 spaces here
File "<stdin>", line 3
print("world")
             ^
IndentationError: unindent does not match any outer indentation level
```
NEWLINE
- 显式join：使用\
```
>>> if True\
... and False:
...     print("False")
...
>>>
```
- 隐式join：在小括号，中括号，大括号中的行都会被合并成逻辑行（只有一个NEWLINE）
```
>>> (
... "hello"
... "world"
... )
'helloworld'
>>>
```

Data model

Python中每个对象都有自己的id，类型和值。

Python中的对象从对象的值的可变性上分为两类：
- mutable，例如 dict, list
- immutable，例如 str, tuple
从理论上来讲，副作用例如打开一个文件，当此文件没有引用时是会被Python垃圾回收的，但是由于gc无法做出保证（例如Python开启了DEBUG模式，所有的对象都会被一个双链表链着，这个时候引用计数就不为0），所以最好还是自己显式关闭。

Execution model

Python程序由 code blocks 组成，block是Python执行代码的最小单元，block分为：
- module
- function body
- class definition
- 交互模式下每次输入的命令都是一个block
- 每一个script file
- $ python -c 'print("hello")' 中的命令也是一个block
- 传递给 eval() 和 exec() 的字符串也是一个block，但是这两个函数作用域规则有些特殊，会跳过LEGB中的E，也就是闭包。

每个block都在一个 execution frame 里执行。

name binding
- 给函数传参数
- import语句
- 类和函数定义
- 赋值语句
- for语句的后面一个 for i in ...
- with语句的as后面 with open(...) as ...
- except后面的as
- from ... import * 绑定所有非下划线开头的名字到当前命名空间
- del 也是，虽然它的作用是删除绑定

只要出现了上述的binding，Python就认为这个变量名所指向的变量在当前的block里，所以：

In [1]: foo = "hello"

In [2]: def print_foo():
   ...:     print(foo)
   ...:     foo = "world"
   ...:

In [3]: print_foo()
---------------------------------------------------------------------------
UnboundLocalError                         Traceback (most recent call last)
<ipython-input-3-c80be14760b6> in <module>()
----> 1 print_foo()

<ipython-input-2-afc4cd9aff75> in print_foo()
      1 def print_foo():
----> 2     print(foo)
      3     foo = "world"
      4

UnboundLocalError: local variable 'foo' referenced before assignment

In [4]:

“The global statement has the same scope as a name binding operation in the same block. If the nearest enclosing scope for a free variable contains a global statement, the free variable is treated as a global.”

没看懂，来自：https://docs.python.org/3.6/reference/executionmodel.html

类定义的变量作用域局限于类内，而不会扩展至方法和表达式，generator里，所以：

In [1]: class Foo:
...:     hello = "hello"
...:     def foo(self):
...:         print(hello)
...:

In [2]: Foo().foo()
---------------------------------------------------------------------------
NameError                                 Traceback (most recent call last)
<ipython-input-2-6c4f5adc4d1e> in <module>()
----> 1 Foo().foo()

<ipython-input-1-029db0d572c9> in foo(self)
  2     hello = "hello"
  3     def foo(self):
----> 4         print(hello)
  5

NameError: name 'hello' is not defined

In [3]: class Foo:
...:     a = 32
...:     b = [a + i for i in range(10)]
...:
---------------------------------------------------------------------------
NameError                                 Traceback (most recent call last)
<ipython-input-3-395876c62295> in <module>()
----> 1 class Foo:
  2     a = 32
  3     b = [a + i for i in range(10)]
  4

<ipython-input-3-395876c62295> in Foo()
  1 class Foo:
  2     a = 32
----> 3     b = [a + i for i in range(10)]
  4

<ipython-input-3-395876c62295> in <listcomp>(.0)
  1 class Foo:
  2     a = 32
----> 3     b = [a + i for i in range(10)]
  4

NameError: name 'a' is not defined

In [4]:

闭包内的变量（free variables）的值是在运行时确定的：

In [1]: foo = "hello"

In [2]: def f():
...:     print(foo)
...:

In [3]: f()
hello

In [4]: foo = "world"

In [5]: f()
world

In [6]:

The import system

import 语句包含两个部分
- __import__ 搜寻指定名称的包
- 然后将 __import__ 返回值在语句所在的scope里binding成那个名字

导入的时候，会根据点号依次导入，而且会首先搜寻 sys.modules，例如：

In [1]: import sys

In [2]: sys.modules['tornado']
---------------------------------------------------------------------------
KeyError                                  Traceback (most recent call last)
<ipython-input-2-36f3d84239fe> in <module>()
----> 1 sys.modules['tornado']

KeyError: 'tornado'

In [3]: sys.modules['tornado.web']
---------------------------------------------------------------------------
KeyError                                  Traceback (most recent call last)
<ipython-input-3-f1a34b2734fb> in <module>()
----> 1 sys.modules['tornado.web']

KeyError: 'tornado.web'

In [4]: import tornado.web

In [5]: tornado
Out[5]: <module 'tornado' from '/usr/local/lib/python3.5/dist-packages/tornado/__init__.py'>

In [6]: tornado.web
Out[6]: <module 'tornado.web' from '/usr/local/lib/python3.5/dist-packages/tornado/web.py'>

In [7]: sys.modules['tornado']
Out[7]: <module 'tornado' from '/usr/local/lib/python3.5/dist-packages/tornado/__init__.py'>

In [8]: sys.modules['tornado.web']
Out[8]: <module 'tornado.web' from '/usr/local/lib/python3.5/dist-packages/tornado/web.py'>

In [9]:

再读 Python Language Reference

Lexical analysis

Data model

Execution model

The import system

更多文章