python - True == True != False 在 Python 中是什么意思以及如何找出?

标签 python bytecode operator-precedence

我的解决方案实际上需要 xor,但在思考它时,我开始怀疑上面的问题。 True == True != False 是什么意思?

查看文档,我想它是 True == True and True != False,但我想要一种更通用和更确定的方法。我如何快速获得此类代码的可读形式的字节码。有没有比字节码和文档更容易找到答案的方法?

最佳答案

它叫做 operator chaining .每当你有一个像 A op1 B op2 C 这样的表达式与 op1op2 比较时,它就会被“翻译”成 A op1 B 和B op2 C。 (实际上它只对 B 求值一次)。

注意:比较运算符包括innot inisis not! (例如 a is b is not None 表示 a is b and b is not None)。

如果你想查看字节码,你可以使用 dis模块:

In [1]: import dis

In [2]: dis.dis(lambda: True == True != False)
  1           0 LOAD_CONST               1 (True) 
              3 LOAD_CONST               1 (True) 
              6 DUP_TOP              
              7 ROT_THREE            
              8 COMPARE_OP               2 (==) 
             11 JUMP_IF_FALSE_OR_POP    21 
             14 LOAD_CONST               2 (False) 
             17 COMPARE_OP               3 (!=) 
             20 RETURN_VALUE         
        >>   21 ROT_TWO              
             22 POP_TOP              
             23 RETURN_VALUE 

如果您阅读字节码,您就会明白它执行运算符链接。

鉴于表达式是 True == True != False,它被“解释”为 True == True and True != False 它首先加载 <通过 LOAD_CONST 字节码为第一个运算符设置 em>两个 True 常量。 DUP_TOP 复制堆栈的顶部(这避免了为第二次比较重新评估 True)。 它执行第一次比较 (COMPARE_OP) 如果它只是字节码 21 为假,否则它弹出堆栈的顶部 (JUMP_IF_FALSE_OR_POP)。然后执行第二次比较。

要回答您的一般性问题,了解 python 某些功能的最快方法是使用 quicksearch文档的页面。 我还建议阅读 Python's tutorial了解该语言的一般介绍。

我想补充一点,因为 python 提供了一个交互式环境,通常更容易理解一些代码是如何工作的,在解释器中编写它并观察结果。几乎所有内置类型都可以通过文档字符串获得文档,所以执行 help(some_object) 应该会给你很多信息。 特别是IPython提供了一个增强的交互式解释器,具有更用户友好的帮助消息/错误格式等)

关于python - True == True != False 在 Python 中是什么意思以及如何找出?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18528431/

相关文章:

python - 通过套接字的 python 交互式控制台没有换行符

python - scrapy python 重新声明

java - javaagent jar 在 bootclasspath 中的位置

javascript - jison 规则优先不起作用?

c - 为什么这些构造使用前后递增的未定义行为?

Python Tkinter - 如何将一个类中的小部件放到另一个类中的窗口上

python - 使用 subprocess.Popen 将数据流式传输到命令中

java - 在字节码中确定 super() 方法调用的位置是所有构造函数必须在 JVM 上执行的操作

Java:哪些类不能由代理或 MBean 转换?

c - 为什么这些构造使用增量前和增量后未定义的行为?