为什么包含类的名称不能被识别为返回值函数注释？[重复]

Question

我打算使用Python函数注释来指定静态工厂方法返回值的类型。我知道这是注释所需的用例之一。

class Trie:
    @staticmethod
    def from_mapping(mapping) -> Trie:
        # docstrings and initialization ommitted
        trie = Trie()
        return trie

PEP 3107规定：

函数注释只不过是在编译时将任意Python表达式与函数的各个部分关联起来的一种方式。

Trie是Python中有效的表达式，不是吗？Python不同意，或者更确切地说，找不到名字：

def from_映射（映射）-

值得注意的是，如果指定了基本类型（如object或int）或标准库类型（如collections.deque），则不会发生此错误。

导致此错误的原因是什么？如何修复？




Answer 1

PEP 484以前向引用的形式提供了对此的官方解决方案。

当类型提示包含尚未定义的名称时，该定义可以表示为字符串文字，稍后解析。

对于问题代码：

class Trie:
    @staticmethod
    def from_mapping(mapping) -> Trie:
        # docstrings and initialization ommitted
        trie = Trie()
        return trie

变成：

class Trie:
    @staticmethod
    def from_mapping(mapping) -> 'Trie':
        # docstrings and initialization ommitted
        trie = Trie()
        return trie

Answer 2

Trie是有效的表达式，计算结果为与名称Trie关联的当前值。但是这个名称还没有定义——类对象只有在类主体运行到completion之后才绑定到它的名称。在这个简单得多的示例中，您将注意到相同的行为：

class C:
    myself = C
    # or even just
    C

通常，解决方法是在类定义后在类主体之外设置类属性。这不是一个非常好的选择，尽管它很有效。或者，您可以在初始定义中使用任何占位符值，然后在__annotations__中替换它（这是合法的，因为它是一个常规字典）：

class C:
    def f() -> ...: pass
print(C.f.__annotations__)
C.f.__annotations__['return'] = C
print(C.f.__annotations__)

但它确实让人觉得有点不舒服。根据您的用例，可能会使用sentinel对象（例如包含_CLASS=object（））并将其解释留给实际处理注释的任何人。