为什么下面的代码返回 True？ [复制]

Question

我正在做一个编译 Pascal 子集的作业，在初始程序中有这样一行代码：

if x.tp == y.tp in {Bool, Int}:
    some other code ...

这让我很困惑，因为x.tp == y.tp 返回一个布尔值True 或False，因此True/False in {Bool, Int} 将始终返回False。

Bool和Int的定义如下：

class Int: pass

class Bool: pass

然后，我在该行设置一个断点，并在 VSCode 的调试器中运行：

>> x.tp
<class 'ST.Int'>
>> y.tp
<class 'ST.Int'>
>> x.tp == y.tp
True
>> a = (x.tp == y.tp)
None
>> a
True
>> a in {Bool, Int}
False
>> x.tp == y.tp in {Bool, Int}
True       <----------------------- why does it return True?

为什么x.tp == y.tp in {Bool, Int} 在这里返回True？

Answer 1

当然，我们假设这行代码

if x.tp == y.tp in {Bool, Int}:

应该像这样工作（或解析）：

if (x.tp == y.tp) in {Bool, Int}:

但情况不是。根据this article，解析然后比较是这样完成的：

if (x.tp == y.tp) and (y.tp in {Bool, Int}) :

由于不明确，有些事情令人困惑。为了代码维护者的利益，请尽量避免类似情况。

来源：Python comparison operators chaining

Answer 2

使用括号对相等比较进行分组：

if (x.tp == y.tp) in {Bool, Int}:

您的链式比较被 Python 评估为：

if x.tp == y.tp and y.tp in {Bool, Int}:

产生True，因为y.tp 属于<class 'ST.Int'> 类，并且实际上在该集合中。

来自Reference Manual on Comparisons：

比较可以任意链接，例如，x < y <= z 等价于 x < y and y <= z，除了 y 只被评估一次（但在这两种情况下，z 根本不被评估，当 x < y 被发现时是False)。