在pyhon3.10中，我可以运行此代码片段而不会引发任何错误:
{}[0]:1
它创建一个空字典，然后访问0键.然而，我认为下面的:1是无效的语法.事实上，如果我试图确定结果的类型:
type({}[0]:1)
出现语法错误.每当我try 处理结果(例如print({}[0]:1))时，都会出现类似的行为.
为什么会发生这种情况？我假设解释器识别出该表达没有被分配并且不会编译它.因此您可以在存在{}[0]:1行的情况下运行您的代码.然而，这与不同语法无效代码引发的其他语法错误(例如引发错误的1:1)不一致.
{}[0]:1作为陈述不是语法错误.
这是一个注释，其中{}[0]是被注释的内容，1是注释.通常，你会写类似x: int的东西.
{}[0]不是错误，因为它就像在任务的左侧执行一样.
我们可以通过使用dis.dis(这是Python 3.11.2)看到这一点:
>>> dis.dis("{}[0]:1")
0 0 RESUME 0
1 2 SETUP_ANNOTATIONS
4 BUILD_MAP 0
6 POP_TOP
8 LOAD_CONST 0 (0)
10 POP_TOP
12 LOAD_CONST 1 (1)
14 POP_TOP
16 LOAD_CONST 2 (None)
18 RETURN_VALUE
只有当使用{}[0]:1作为表达时，它才是无效的语法.
巧合的是，您在:的左侧 Select 了{}[0]，但这并不总是有效:
>>> print(x):1
File "<stdin>", line 1
print(x):1
^^^^^^^^
SyntaxError: illegal target for annotation
(对于1:1个，您应该得到同样的错误.)
语言参考中的相应部分在这里:https://docs.python.org/3/reference/simple_stmts.html#annotated-assignment-statements