在Python3.6中，该语言引入了新的Variable Annotations.
但是，当一种类型不存在时，可能会发生两种不同的情况:
>>> def test():
... a: something = 0
...
>>> test()
>>>
>>> a: something = 0
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
NameError: name 'something' is not defined
为什么不存在的类型处理行为不同？这难道不会导致人们忽略函数中未定义的类型吗？
Notes
在Python3.6 RC1和RC2上都try 过——行为相同.
PyCharm在函数内部和外部都突出显示something为"未解析引用".
局部变量(即函数内部)的行为至少记录在第Runtime Effects of Type Annotations节:
注释局部变量会导致解释器将其视为局部变量，即使它从未被赋值.不计算局部变量的注释:
def f():
x: NonexistentName # No error.
接着解释了全局变量的差异:
但是，如果是在模块或类级别，则将判断该类型:
x: NonexistentName # Error!
class X:
var: NonexistentName # Error!
这种行为对我来说似乎很奇怪，所以我只能猜测其原因:如果我们将代码放在一个模块中，那么Python希望存储注释.
# typething.py
def test():
a: something = 0
test()
something = ...
a: something = 0
然后导入它:
>>> import typething
>>> typething.__annotations__
{'a': Ellipsis}
>>> typething.test.__annotations__
{}
为什么有必要将其存储在模块对象上，而不是函数对象上——我还没有一个好的答案.可能是出于性能原因，因为注释是通过静态代码分析生成的，这些名称可能会动态更改:
...注释在本地可用的价值并不能抵消每次函数调用时创建和填充注释字典的成本.因此，不会计算和存储函数级别的注释.