如何定义递归可迭代类型？

如何解决如何定义递归可迭代类型？

我正在尝试定义递归可迭代类型 Iterable_of_TOIs：

# from __future__ import annotations
from typing import overload,Optional,Iterable,Union


class ToI:
    """
    ToI = Token or Iterable of ToIs
    """
    Iterable_of_ToIs = Iterable[Union[ToI,'Iterable_of_ToIs']]

    @overload
    def __init__(self,*,token: str) -> None:
        ...

    @overload
    def __init__(self,iterable: Iterable_of_ToIs) -> None:
        ...

    # actual implementation
    def __init__(
            self,token: Optional[str] = None,iterable: Optional[Iterable_of_ToIs] = None
    ) -> None:
        self.token: Optional[str] = token
        self.iterable: Optional[Iterable_of_ToIs] = iterable

但是 mypy 抱怨

• 使用 error: Name 'Iterable_of_ToIs' is not defined 或
• 与error: Cannot resolve name "Iterable_of_ToIs" (possible cyclic deFinition)
  如果我将 Iterable_of_ToIs 的定义移出类范围。

我做错了什么？

解决方法

显然，我做错的并不多。

关于error: Name 'Iterable_of_ToIs' is not defined：
在PEP 613（状态Accepted）的动机部分中，我发现：

类型别名被声明为顶级变量赋值。

哎呀！在任何其他文档中找不到适用于 Python 3.9 或之前版本的此规则，尤其是在 PEP 484 中。

但无论如何......它解释了错误。那么，好吧，让我们把这条线移到顶层。

关于error: Cannot resolve name "Iterable_of_ToIs" (possible cyclic definition)：
似乎尚不支持：https://github.com/python/mypy/issues/731