Python 如何知道两个字符串变量指向同一个对象？ [复制]

Question

我是 Python 新手，不得不说 Python 处理变量赋值和函数参数的方式非常令人困惑。这是我不明白的事情。如果我定义了两个具有明确相同内容的字符串，例如“abc”，那么它们实际上是同一个对象，如下所示。

x = 'abc'
y = 'abc'
x is y
True

这让我想到 Python 是如何知道它们是相同的。通过比较代码中的文字？如果在 x = 'abc' 和 y = 'abc' 之间发生了数百万种不同的事情，Python 是否会一直返回并说已经有一个对象 'abc' 所以我不打算创建一个新的 'abc'？

我想知道如果我这样做但使用一个非常长且复杂的字符串会发生什么。这就是发生的事情。

x = 'nao;uh gahasjhd;fjkhag;sjdgfuiwgfashksghdfaihghehwq3473fsd_@'
y = 'nao;uh gahasjhd;fjkhag;sjdgfuiwgfashksghdfaihghehwq3473fsd_@'
x is y
False
x == y
True

现在你可以明白我为什么感到困惑了。所以 Python 在创建新字符串对象时只检查“简单”字符串而不检查长字符串？那么到底有多复杂/多长才算太复杂/长呢？

Answer 1

x is y 和 x==y 存在差异
x is y 将检查 x 和 y 是否指向堆中的同一个对象。
而x == y 会检查 x 和 y 的值是否相同。

现在让我们看看为什么会得到这两个不同的结果

如果值的长度很小（最多 3 到 4 位），则 python 检查堆中是否存在具有相同值的另一个对象。如果存在则它不会创建新对象，并且如果不存在，它会创建新对象。
如果值的长度很大（超过 4 位）python 创建新对象，它不会检查具有相同值的对象是否已经存在。

当string,int,float的长度很小时

在 python 中，当 two variables 具有 same string,int or float value 和 if the length of value is small 时，两个变量都指向同一个对象，即只有一个对象被创建在堆内存中。
让我们通过这个例子自己尝试。

a=10
b=10
a is b
True     #output
a == b
True     #output  

a is b 在这里检查 a 和 b 是否引用（即指向）堆中的同一对象。
由于 10 的长度为 2 很小，python 解释器只会创建一次对象值 10，这就是为什么 a 和 b 将引用同一个对象而 output is True

a == b 将检查 a 的值是否等于 b 的值。
由于 a 的值为 10，b 的值为 10 所以output is True

您也可以尝试使用字符串值，例如

s1='abc'
s2='abc'
s1 is s2
True      #output
s1 == s2
True      #output  

当string,int,float的长度很大时

现在当string,int,float的长度很大时python解释器不会检查堆中是否存在具有相同值的对象，即使存在具有相同值的对象也会直接创建新对象

x = 'nao;uh gahasjhd;fjkhag;sjdgfuiwgfashksghdfaihghehwq3473fsd_@'
y = 'nao;uh gahasjhd;fjkhag;sjdgfuiwgfashksghdfaihghehwq3473fsd_@'
x is y
False
x == y
True

由于nao;uh gahasjhd;fjkhag;sjdgfuiwgfashksghdfaihghehwq3473fsd_@ 太长，python 解释器不会检查堆中是否存在另一个具有相同值的对象，它将创建一个对象，x 将引用该对象。
现在再次将nao;uh gahasjhd;fjkhag;sjdgfuiwgfashksghdfaihghehwq3473fsd_@ 分配给y，但由于字符串的长度很大，python 解释器将创建新对象（即使该对象已经存在也很难）
现在由于x 和y 引用不同的对象输出将是False
由于x 和y 具有相同的值输出将是True

你也可以试试这个，例如

a = 10000
b = 10000
a is b
False      #output
a == b
True      #output  

为什么 Python 会这样做

Python 这样做是为了减少解释时间（即代码的执行时间） 如果python不断检查长字符串（例如长度为10）是否已经存在于堆中。它将需要更多时间，因为它将逐个字母与所有对象进行比较。比较10位数字会耗费大量时间。
而如果字符串的长度小于 4，则比较容易比较（因为只需要比较 3 个字母）并且不会花费太多时间。