对于Python中的某些类型,is运算符似乎等同于==运算符.例如：

>>> 1 is 1
True
>>> "a spoon" is "a spoon"
True
>>> (1 == 1) is (2 == 2)
True

然而,这并非总是如此：

>>> [] == []
True
>>> [] is []
False

这对于诸如列表之类的可变类型是有意义的.但是,诸如元组之类的不可变类型似乎显示相同的行为：

>>> (1, 2) == (1, 2)
True
>>> (1, 2) is (1, 2)
False

这提出了几个问题：

> == /是否与不变性相关？
>上面列出的行为或实施细节？
>最重要的(并且基本上),我如何知道作业是否会导致正在制作的对象的副本,或者对它的引用？

更新：
如果总是通过引用分配,为什么以下不打印2？：

>>> a = 1
>>> b = a
>>> a = 2
>>> b
1

为什么这不等同于以下C片段：

int a = 1;
int *b = &a;
a = 2;
printf("%d\n", *b);

对这个问题的新见事表示歉意,但我是一个Python新手,并认为理解这一点很重要.您是否有任何阅读建议您理解这些问题？

解决方法:

is运算符测试两个对象在物理上是否相同,这意味着它们在内存中是否具有相同的地址.这也可以使用id()函数进行测试：

>>> a = 1
>>> b = 1
>>> a is b
True
>>> id(a) == id(b)
True

另一方面,==运算符测试语义相等.通过实现__eq __()函数,也可以通过自定义类覆盖它.从语义上讲,如果两个不同的列表的元素全部相等,则它们是相等的,但在物理上它们将是不同的对象.

Python实现可能会汇集不可变类型(如字符串和元组),因此两个文字字符串对象实际上是物理上相同的.但这并不意味着您可以始终使用is来比较这些类型,如以下示例所示：

>>> "foobar" is "foobar"   # The interpreter knows that the string literals are
True                       # equal and creates only one shared object.
>>> a = "foobar"
>>> b = "foobar"
>>> a is b        # "foobar" comes from the pool, so it is still the same object.
True
>>> b = "foo"     # Here, we construct another string "foobar" dynamically that is
>>> b += "bar"    # physically not the same as the pooled "foobar".
>>> a == b
True
>>> a is b
False

Python中的赋值始终将对象的引用绑定到变量名,并且永远不会隐含副本.

UPDATE

类似于C,认为Python变量始终是指针：

>>> a = 1
>>> b = a
>>> a = 2
>>> b
1

大致相当于：

const int ONE = 1;
const int TWO = 2;

int *a = &ONE;
int *b = a;  /* b points to 1 */
a = &TWO;    /* a points to 2, b still points to 1 */