is是身份测试，==是相等测试(请参阅Python文档)。

在大多数情况下，如果a是b，那么a == b。但也有例外，例如:

>>> nan = float('nan')
>>> nan is nan
True
>>> nan == nan
False

所以，你只能在同一性测试中使用is，而不是相等性测试。

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

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

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

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

实际上，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中，你经常会看到这样的东西:

if x is None:
    # Some clauses

这是安全的，因为保证有一个Null对象的实例(即None)。

基本概念，我们必须清楚，在处理这个问题时，是理解is和==之间的区别。

is将比较内存位置。如果id(a)==id(b)，则a是b返回true，否则返回false。

所以，我们可以说is是用来比较内存位置的。然而,

==用于相等性测试，这意味着它只比较结果值。下面显示的代码可以作为上述理论的一个例子。

Code

对于字符串字面值(未分配给变量的字符串)，内存地址将与图中所示相同。所以,id (a) (b) = = id。剩下的是不言自明的。

Is是同一性测试，==是相等性测试。在你的代码中发生的事情将在解释器中模拟，就像这样:

>>> a = 'pub'
>>> b = ''.join(['p', 'u', 'b'])
>>> a == b
True
>>> a is b
False

所以，难怪它们不一样，对吧?

换句话说，a等于b等于id(a) == id(b)