使用在类型注释中声明但未定义的Typealias？

Question

更新：在评论中收到的答案，我修改了一个问题，强调我真正想知道的是：

（1）是否有任何深层理由 python的类型系统不允许我想完成的工作？ （例如，它是如何实现的。）

另外，如果（1）的答案为负面，我想我会对答案感兴趣：

（2）是否有其他方法（在Python中）完成我尝试的工作？

下面的原始问题（仅略有编辑）。

---

我正在使用Python＆nbsp; 3.10.4，并兴奋地尝试现在似乎是一个非常成熟的系统（至少与我上次做一些严肃的Python事情相比）。

但是，在类型注释中使用已声明但未定义的Typealias不起作用，但会出现运行时错误。为什么？从理论上讲，在我的特殊情况下，我认为没有问题，但是也许还有一些更深的原因为什么Python的类型系统这样可以使用？ （当我试图在声明后定义典型的错误时，Pyright错误时，也许有充分的理由不应该这样做。此外，这会导致Pyright不报告以后的类型违规。）

更详细地考虑以下示例，使用以下示例在评论中指出了运行时错误和职业错误。

第一个示例，说明我要做的事情：

from typing import Literal, Final, TypeAlias


# PUBLIC_INTERFACE

a_type_alias : TypeAlias

# the following gives the runtime error:
# “NameError: name 'a_type_alias' is not defined. Did you mean: 'TypeAlias'?”
A_SET : Final[set[a_type_alias]]


# IMPLEMENTATION

a_type_alias = Literal[0,1] # Pyright error: “"a_type_alias" is declared as a
                            # TypeAlias and can be assigned only once”

A_SET = {0,1,2} # Pyright reports no error, but should be a type violation per
                # lines 10 and 15?

第二个示例，演示所有有效的东西：

from typing import Literal, Final, TypeAlias

a_type_alias : TypeAlias = Literal[0,1]

A_SET : Final[set[a_type_alias]]

# Pyright correctly reports type violation on the following assignment
A_SET = {0,1,2}

Å，我的意思是，类型注释a_set：final [set [a_type_alias]]在示例中不需要a_type_alias的值直到type-checking a_set在我的示例中，当已知a_type_alias的值时。

Answer 1

以下工作是，a_type_alias的缺点未在＃＃＆nbsp; interface; interface; interface part下明确声明。我看着 pep＆nbsp; 563 最初使用___future__ import import import import import import import import import import import import import import import import import import intoctation ，但事实证明Pyright（Verison＆nbsp; 1.1.247）类型在未来导入的情况下检查以下内容。

from typing import Literal, Final, TypeAlias


# PUBLIC_INTERFACE

set_1 : Final[set['a_type_alias']]
set_2 : Final[set['a_type_alias']]


# IMPLEMENTATION

a_type_alias : TypeAlias = Literal[0,1]

set_1 = {0}   # no error from Pyright (correct)
set_2 = {0,2} # error from Pyright (correct)