python中修改一个不可变对象，内存位置如何变化？

Question

我们可以通过将修改后的变量的新内存位置与原始定义的变量进行比较来检查对象类型是否可变。

例如 - int()是 Python 中的不可变对象。 如果我尝试修改整数类型变量的值，我会注意到内存位置发生了变化[Code and Output below] 。 有人可以在后台提供一个简短的解释吗？

#initial variable
a = 10
# initial memory location
print(id(a))
#modified variable
a += 1
# new memory location, is it same?
print(id(a))

 OUTPUT 93285870446416 93285870446524

Answer 1

后台发生了什么？

 a = 10

1. 解释器看到一个表达式并确定结果的类型，即int
2. int的内存被保留，给出一个内存地址，将该内存标记为“正在使用”
3. 操作的结果存储在那个内存地址
4. -/-（尚不适用）

 a += 1

1. 解释器看到一个表达式并确定结果的类型，即int
2. 一个int内存被保留，给了一个新的内存地址，因为旧的还在使用中
3. 操作的结果存储在那个新的内存地址
4. 不再有指向旧地址的变量，因此标记为空闲

也许另一个

a += 1

1. 解释器看到一个表达式并确定结果的类型，即int
2. int内存被保留，提供另一个新的内存地址，或重用现在释放的内存地址（“旧”地址）
3. 操作的结果存储在那个新的内存地址
4. 不再有指向地址的变量，因此标记为空闲

等等

Answer 2

请注意，与 C 和静态类型语言相反，Python 仅在运行时进行类型检查。

在 C 中你会这样做：

int a; /* creating a memory space allowing only holding data of integer type */
a = 3; /* storing the value 3, not a character, but an integer, otherwise error is returned at compilation */

在 Python 中，a = 3 首先在某个内存空间创建一个对象 3 ，然后在赋值时将名称a链接到该对象位置。 然后通过指向其分配的内存将 a绑定到该对象。

CPython 已经为 -5 到 256 范围内的整数分配了内存空间。如果你现在写b = 3 ， b将共享相同的内存位置，因为b只是另一个指向同一对象3 的指针。

整数是不可变的，如果你做 a += 1，那么在不同的内存地址创建一个新对象 4，然后a will 指向这个新位置。 b保持绑定到对象 3。

请注意，如果一个对象不再链接到任何名称（ a 、 b等），则它可以被垃圾收集。 计数器sys.getrefcount(X)用于跟踪对给定对象“X”的所有引用。