松散后期绑定与严格后期绑定

这通常称为动态作用域和静态作用域。粗略地说，动态作用域通过调用嵌套确定作用域，静态作用域通过声明嵌套确定作用域。一般来说，对于任何具有调用堆栈的语言来说，动态作用域很容易实现——名称查找只是线性地搜索当前堆栈。相比之下，静态范围更复杂，需要几个不同的范围和自己的生命周期。然而，静态作用域通常更容易理解，因为变量的作用域永远不会改变——名称查找必须解析一次并且将始终指向相同的作用域。相比之下，动态作用域更脆弱，在调用函数时名称在不同的作用域或没有作用域被解析。Python 的作用域规则主要由引入嵌套作用域（“闭包”）的PEP 227和引入可写嵌套作用域（“闭包”）的PEP 3104nonlocal定义。这种静态作用域的主要用例是允许高阶函数（“函数生成函数”）自动参数化内部函数；这通常用于回调、装饰器或工厂函数。def adder(base=0):  # factory function returns a new, parameterised function    def add(x):        return base + x  # inner function is implicitly parameterised by base    return add两个 PEP 都将 Python 如何处理静态作用域的复杂性编纂成文。具体来说，范围在编译时解析一次——此后每个名称都严格地是全局的、非本地的或本地的。作为回报，静态作用域允许优化变量访问——从快速的局部数组、闭包单元的间接数组或慢速全局字典中读取变量。这种静态作用域的名称解析的人工制品是UnboundLocalError ：名称可能在本地作用域但尚未在本地分配。即使在某处为名称分配了一些值，静态作用域也禁止访问它。>>> some_name = 42>>> def ask():...     print("the answer is", some_name)...     some_name = 13...>>> ask()UnboundLocalError: local variable 'some_name' referenced before assignment存在各种方法来规避这一点，但它们都归结为程序员必须明确定义如何解析名称。虽然 Python 本身并不实现动态作用域，但它可以很容易地被模拟。由于动态作用域与每个调用堆栈的作用域堆栈相同，因此可以显式实现。Python 本机提供了threading.local将变量上下文化到每个调用堆栈的功能。类似地，contextvars允许明确地将变量置于上下文中——这对于例如async回避常规调用堆栈的代码很有用。线程的原始动态范围可以构建为线程本地的文字范围堆栈：import contextlibimport threadingclass DynamicScope(threading.local):  # instance data is local to each thread    """Dynamic scope that supports assignment via a context manager"""    def __init__(self):        super().__setattr__('_scopes', [])  # keep stack of scopes    @contextlib.contextmanager  # a context enforces pairs of set/unset operations    def assign(self, **names):        self._scopes.append(names)  # push new assignments to stack        yield self                  # suspend to allow calling other functions        self._scopes.pop()          # clear new assignments from stack    def __getattr__(self, item):        for sub_scope in reversed(self._scopes):  # linearly search through scopes            try:                return sub_scope[item]            except KeyError:                pass        raise NameError(f"name {item!r} not dynamically defined")    def __setattr__(self, key, value):        raise TypeError(f'{self.__class__.__name__!r} does not support assignment')assign这允许全局定义一个动态范围，可以在有限的时间内将名称编辑到该范围。分配的名称在被调用的函数中自动可见。scope = DynamicScope()def print_answer():    print(scope.answer)  # read from scope and hope something is assigneddef guess_answer():    # assign to scope before calling function that uses the scope    with scope.assign(answer=42):        print_answer()with scope.assign(answer=13):    print_answer()  # 13    guess_answer()  # 42    print_answer()  # 13print_answer()      # NameError: name 'answer' not dynamically defined

松散后期绑定与严格后期绑定

2回答