Python 3.10无需导入Optional，如何向前引用封闭类为可选返回类型？

Python 3.10引入了Foo | None作为Optional[Foo]的替代类型注解语法，但对封闭类型使用向前引用（如'Foo' | None）时会触发运行时错误。

报错代码示例：

class Foo:
    @staticmethod
    def maybe_create(arg: str) -> 'Foo' | None:
        if len(arg) < 5:
            return Foo()
        else:
            return None

if __name__ == '__main__':
    import sys
    print(Foo.maybe_create(sys.argv[1]))

报错信息：

Traceback (most recent call last):
  File "staticmethod-test.py", line 1, in <module>
    class Foo:
  File "staticmethod-test.py", line 3, in Foo
    def maybe_create(arg: str) -> 'Foo' | None:
                                  ~~~~~~^~~~~~
TypeError: unsupported operand type(s) for |: 'str' and 'NoneType'

而使用typing.Optional则可正常运行：

from typing import Optional

class Foo:
    @staticmethod
    def maybe_create(arg: str) -> Optional['Foo']:
        if len(arg) < 5:
            return Foo()
        else:
            return None

if __name__ == '__main__':
    import sys
    print(Foo.maybe_create(sys.argv[1]))

请问是否存在无需额外导入的方式来表达这种可选返回类型？

解决方法 #

1. 用字符串包裹整个联合类型 #

将Foo | None整体放在字符串中，Python运行时不会解析该表达式，仅作为类型提示供静态检查工具识别：

class Foo:
    @staticmethod
    def maybe_create(arg: str) -> 'Foo | None':
        if len(arg) < 5:
            return Foo()
        else:
            return None

这种写法无需额外导入任何模块，且能被Python 3.10+的类型检查工具（如mypy）正确识别。

2. 使用__future__.annotations推迟类型注解求值 #

导入from __future__ import annotations后，所有类型注解会被保留为字符串，直到需要时才解析，此时可直接写Foo | None而无需字符串包裹：

from __future__ import annotations

class Foo:
    @staticmethod
    def maybe_create(arg: str) -> Foo | None:
        if len(arg) < 5:
            return Foo()
        else:
            return None

__future__.annotations在Python 3.7+可用，Python 3.11及以上版本默认启用该特性，同样不需要导入typing模块的内容。

内容的提问来源于stack exchange，提问作者Tuure Laurinolli