这种奇怪的结肠行为在做什么?


104

我正在使用Python 3.6.1,遇到了一些非常奇怪的事情。我有一个简单的字典作业错字,花了很长时间才找到。

context = {}
context["a"]: 2
print(context)

输出量

{}

代码context["a"]: 2在做什么?SyntaxErrorIMO应该什么时候都没有提出。起初,我认为它正在创建一个切片。但是,键入repr(context["a"]: 2)会引发SyntaxError。我也输入context["a"]: 2了控制台,但控制台没有打印任何内容。我以为也许它回来了None,但是我不太确定。

我还认为它可能是if语句的一行,但这也不应该是正确的语法。

此外,context["a"]应提出一个KeyError

我很困惑。到底是怎么回事?


2
这个问题已经被骗了,很显然,这对于Python新手来说是很困惑的。我想这是最糟糕的情况,如果Python是您唯一的语言,通常在初始化之前进行类型提示和变量定义可能会感觉很陌生。我认为引发错误是不可能的,因为这种行为是有意的,有时会如PEP 526中所述有用,并且您不想破坏兼容性。但是,我不知道Python开发人员是否会考虑在某些情况下添加有用的警告消息。
Chris_Rands

1
这回答了你的问题了吗?什么是Python 3.6中的变量注释?
乔治

Answers:


98

您不小心编写了语法正确的变量注释。该功能是在Python 3.6中引入的(请参阅PEP 526)。

尽管将变量注释解析为带注释的赋值的一部分,但是赋值语句是可选的

annotated_assignment_stmt ::=  augtarget ":" expression ["=" expression]

因此,在 context["a"]: 2

  • context["a"] 是注释目标
  • 2 是注释本身
  • context["a"] 未初始化

PEP指出“注释的目标可以是任何有效的单个分配目标,至少在语法上(取决于类型检查器的操作)”,这意味着该密钥不需要存在带注释(因此没有KeyError)。这是原始PEP的示例:

d = {}
d['a']: int = 0  # Annotates d['a'] with int.
d['b']: int      # Annotates d['b'] with int.

通常情况下,注释表达式应该计算为Python类型-毕竟主要使用注解是类型提示,但不会强制执行。注释可以是任何有效的 Python表达式,无论结果的类型或值如何。

如您所见,此时,除非您具有诸如mypy之类的静态类型检查器,否则类型提示非常宽松,很少有用。


12
那这不应该需要=赋值运算符吗?密钥不存在。我觉得这很不对劲。
justengel '18

1
在这种情况下,: 赋值运算符。我们只是在“分配”一个类型注释,而不是一个键。我怀疑是否有任何理由允许它,只是添加注释语法的意外影响。
chepner

1
@chepner看来这不是副作用恕我直言。这正是相应的PEP设计所要做的。
Ma0

6
奇怪的是,它允许您注释尚未定义的目标。如果我的第一行是x: str紧随其后的type(x),口译员将提出要求NameError。IMO语法应强制对象是预定义的,或在现场定义的。这只会引起混乱。
r.ook

2
@Idlehands这虽然失败了。拥有x = 'i am a string'before x: str会使后一种多余。.根本不应该添加。评论很好。我从未展示过使用一种或另一种方式。
Ma0
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.