实际上，is操作符检查是否相同，而==操作符检查是否相等。

从语言参考:

Types affect almost all aspects of object behavior. Even the importance of object identity is affected in some sense: for immutable types, operations that compute new values may actually return a reference to any existing object with the same type and value, while for mutable objects this is not allowed. E.g., after a = 1; b = 1, a and b may or may not refer to the same object with the value one, depending on the implementation, but after c = []; d = [], c and d are guaranteed to refer to two different, unique, newly created empty lists. (Note that c = d = [] assigns the same object to both c and d.)

因此，从上面的语句中，我们可以推断出字符串是不可变类型，当使用"is"检查时可能会失败，而当使用"is"检查时可能会成功。

同样适用于int和tuple，它们也是不可变类型。

我相信这就是所谓的“被拘禁的”字符串。Python做到了这一点，Java也是如此，C和c++在优化模式下编译时也是如此。

如果使用两个相同的字符串，就不会因为创建两个字符串对象而浪费内存，所有具有相同内容的合并字符串都会指向相同的内存。

这将导致Python“is”操作符返回True，因为具有相同内容的两个字符串指向同一个字符串对象。这在Java和C中也会发生。

不过，这只对节省内存有用。您不能依赖它来测试字符串是否相等，因为各种解释器、编译器和JIT引擎并不总是能做到这一点。

is关键字是测试对象身份，而==是值比较。

如果使用is，当且仅当对象是同一对象时，结果将为真。但是，当对象的值相同时，==将为真。

我认为这与这样一个事实有关，当'is'比较的结果为false时，使用了两个不同的对象。如果它的计算值为true，这意味着它在内部使用相同的对象，而不是创建一个新的对象，可能是因为你在不到2秒的时间内创建了它们，并且在优化和使用相同的对象之间没有很大的时间间隔。

这就是为什么你应该使用相等操作符==，而不是is，来比较字符串对象的值。

>>> s = 'one'
>>> s2 = 'two'
>>> s is s2
False
>>> s2 = s2.replace('two', 'one')
>>> s2
'one'
>>> s2 is s
False
>>> 

在这个例子中，我创建了s2，它是一个不同的字符串对象，之前等于'one'，但它与s不是同一个对象，因为解释器没有使用相同的对象，因为我最初没有将它赋值给'one'，如果我有的话，它会使它们成为相同的对象。

最后需要注意的是，你可以使用sys.intern函数来确保你得到的是同一个字符串的引用:

>>> from sys import intern
>>> a = intern('a')
>>> a2 = intern('a')
>>> a is a2
True

正如在前面的回答中指出的，您不应该使用is来确定字符串的相等性。但这可能有助于了解您是否有一些奇怪的要求使用is。

注意，intern函数曾经是Python 2的内置函数，但在Python 3中被移到了sys模块中。

如果你不确定你在做什么，使用'=='。 如果你对它有更多的了解，你可以用'is'来表示已知的对象，比如'None'。

否则，你最终会想知道为什么事情不管用，为什么会发生这种情况:

>>> a = 1
>>> b = 1
>>> b is a
True
>>> a = 6000
>>> b = 6000
>>> b is a
False

我甚至不确定在不同的Python版本/实现之间是否保证有一些东西保持不变。