为什么“is”运算符对于 Python 中函数内部和外部的大整数表现不同？

函数中的大整数是否是运算符的意外行为

在使用 Python 解释器进行实验时，发现了关于 is 的奇怪差异

当在函数内执行计算时，返回 True，但在外部执行时，结果为 False。

<br>def func():</p>
<pre class="brush:php;toolbar:false">a = 1000
b = 1000
return a is b

a = 1000
b = 1000
a 是 b, func()
>(False, True)

由于 is 运算符评估对象的 id，这表明在 func 函数内，a 和 b 引用相同的整数实例，而在 func 函数之外函数，它们引用不同的对象。

说明

如参考手册所述：

块是作为一个单元执行的一段 Python 程序文本。
以下是块：模块、函数体和类定义。
每个交互输入的命令都是一个块。

因此，在函数中，一个单个 代码块包含一个 单个 数字文字对象，例如 1000，导致 id(a) == id(b) 为 True。

< p>在第二个实例中，存在单独的代码对象，每个对象的数字文字均为 1000，导致 id(a) != id(b)。

< ;p>重要的是，这种行为并不只限于整数文字。使用浮点文字观察到可比较的结果（参见此处）。

请记住使用相等运算符 (==) 来比较对象，而不是恒等运算符 (is)。

_{这些知识与 CPython（Python 的主要实现）有关。替代实现可能会表现出不同的行为。}

代码分析

为了便于理解，让我们使用代码验证此行为对象分析。

函数 func:

函数对象有一个 code 属性，用于显示编译后的字节码。 dis.code_info 简洁地呈现了这些数据：

<br>print(dis.code_info(func))<br>名称：func<br>文件名：<stdin><br>参数计数：0<br>仅限 Kw 的参数：0 <br>本地数：2<br>堆栈大小：2<br>标志：OPTIMIZED、NEWLOCALS、NOFREE<br>常量：<br> 0：无<br> 1：1000<br>变量名称：<br> 0: a<br> 1: b<br>

Constants 条目显示常量为 None（始终存在）和 1000。因此，有 one int 实例代表 1000。a 和 b 引用这一个对象。

交互式命令：

每个命令都是独立解析、编译和评估的代码块：

<br>com1 =compile("a=1000", filename="", mode="single ")<br>com2 = compile("b=1000", filename="", mode="single")</p>

关键

，com1 和 com2 有单独的 int 实例（1000），导致 id(com1.co_consts[0]) == id(com2.co_consts[0]). p>

不同的代码对象，不同的内容。

注意事项

链式语句：评估 a = 1000; b = 1000 产生 True
恒等式，因为这些链式赋值编译成一个代码块，生成 1000 的一个实例。

模块级别:
由于单个代码对象，在模块级别执行（如参考手册所示）也会产生 True。

可变对象：

除非显式初始化为同一对象（例如，a = b = []），否则可变对象的身份检查将失败。

以上是为什么“is”运算符对于 Python 中函数内部和外部的大整数表现不同？的详细内容。更多信息请关注PHP中文网其他相关文章！