python - 什么时候可以在定义之前使用名称？

Question

在 SLY 中有一个编写计算器的示例(转载自 calc.py here):

from sly import Lexer

class CalcLexer(Lexer):
    tokens = { NAME, NUMBER }
    ignore = ' \t'
    literals = { '=', '+', '-', '*', '/', '(', ')' }

    # Tokens
    NAME = r'[a-zA-Z_][a-zA-Z0-9_]*'

    @_(r'\d+')
    def NUMBER(self, t):
        t.value = int(t.value)
        return t

    @_(r'\n+')
    def newline(self, t):
        self.lineno += t.value.count('\n')

    def error(self, t):
        print("Illegal character '%s'" % t.value[0])
        self.index += 1

看起来它被窃听了，因为 NAME和 NUMBER在定义之前使用。但实际上，没有 NameError ，并且这段代码执行得很好。这是如何运作的？什么时候可以在名称被定义之前引用它？

Answer 1

Python知道four kinds of direct name lookup : builtins / program global 、模块全局、函数/闭包体和类体。 NAME , NUMBER在类主体中解决，因此受制于这种范围的规则。
类主体在 namespace provided by the metaclass 中进行评估，它可以实现名称查找的任意语义。具体来说，狡猾的Lexer是 LexerMeta使用 a LexerMetaDict 的类作为命名空间；此命名空间为未定义的名称创建新标记。

class LexerMetaDict(dict):
    ...
    def __getitem__(self, key):
        if key not in self and key.split('ignore_')[-1].isupper() and key[:1] != '_':
            return TokenStr(key, key, self.remap)
        else:
            return super().__getitem__(key)

LexerMeta还负责 adding the _ function to the namespace这样它就可以在没有导入的情况下使用。

class LexerMeta(type):
    '''
    Metaclass for collecting lexing rules
    '''
    @classmethod
    def __prepare__(meta, name, bases):
        d = LexerMetaDict()

        def _(pattern, *extra):
            ...

        d['_'] = _
        d['before'] = _Before
        return d