Python 赋值机制

水深无声 2022-05-17 11:22 145阅读 0赞

先看一个例子：

![70][]

改变变量`x`的值，变量`y`的值也随着改变，这与**Python**内部的赋值机制有关

## 简单类型 ##

先来看这一段代码在**Python**中的执行过程。

x = 500
    y = x
    y = 'foo'

*  `x = 500`

**Python**分配了一个 `PyInt` 大小的内存 `pos1` 用来储存对象 `500` ，然后，Python在命名空间中让变量 `x` 指向了这一块内存，注意，整数是不可变类型，所以这块内存的内容是不可变的。

<table> 
 <thead> 
  <tr> 
   <th>内存</th> 
   <th>命名空间</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><code>pos1 : PyInt(500)</code> (不可变)</td> 
   <td><code>x : pos1</code></td> 
  </tr> 
 </tbody> 
</table>

*  `y = x`

**Python**并没有使用新的内存来储存变量 `y` 的值，而是在命名空间中，让变量 `y` 与变量 `x` 指向了同一块内存空间。

<table> 
 <thead> 
  <tr> 
   <th>内存</th> 
   <th>命名空间</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><code>pos1 : PyInt(500)</code> (不可变)</td> 
   <td><code>x : pos1</code><br><code>y : pos1</code></td> 
  </tr> 
 </tbody> 
</table>

*  `y = 'foo'`

**Python**此时分配一个 `PyStr` 大小的内存 `pos2` 来储存对象 `foo` ，然后改变变量 `y` 所指的对象。

<table> 
 <thead> 
  <tr> 
   <th>内存</th> 
   <th>命名空间</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><code>pos1 : PyInt(500)</code> (不可变)<br><code>pos2 : PyStr('foo')</code> (不可变)</td> 
   <td><code>x : pos1</code><br><code>y : pos2</code></td> 
  </tr> 
 </tbody> 
</table>

对这一过程进行验证，可以使用 `id` 函数。

id(x)

返回变量 `x` 的内存地址。

![70 1][]

**Python**会为每个出现的对象进行赋值，哪怕它们的值是一样的，例如：

![70 2][]

不过，为了提高内存利用效率，对于一些简单的对象，如一些数值较小的int对象，**Python**采用了重用对象内存的办法：

![70 3][]

## 容器类型 ##

现在来看另一段代码：

x = [500, 501, 502]
    y = x
    y[1] = 600
    y = [700, 800]

*  `x = [500, 501, 502]`

Python为3个PyInt分配内存 `pos1` ， `pos2` ， `pos3` （不可变），然后为列表分配一段内存 `pos4` ，它包含3个位置，分别指向这3个内存，最后再让变量 `x` 指向这个列表。

<table> 
 <thead> 
  <tr> 
   <th>内存</th> 
   <th>命名空间</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><code>pos1 : PyInt(500)</code> (不可变)<br><code>pos2 : PyInt(501)</code> (不可变)<br><code>pos3 : PyInt(502)</code> (不可变)<br><code>pos4 : PyList(pos1, pos2, pos3)</code> (可变)</td> 
   <td><code>x : pos4</code></td> 
  </tr> 
 </tbody> 
</table>

*  `y = x`

并没有创建新的对象，只需要将 `y` 指向 `pos4` 即可。

*  `y[1] = 600`

原来 `y[1]` 这个位置指向的是 `pos2` ，由于不能修改 `pos2` 的值，所以首先为 `600` 分配新内存 `pos5` 。

再把 `y[1]` 指向的位置修改为 `pos5` 。此时，由于 `pos2` 位置的对象已经没有用了，**Python**会自动调用垃圾处理机制将它回收。

<table> 
 <thead> 
  <tr> 
   <th>内存</th> 
   <th>命名空间</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><code>pos1 : PyInt(500)</code> (不可变)<br><code>pos2 :</code> 垃圾回收<br><code>pos3 : PyInt(502)</code> (不可变)<br><code>pos4 : PyList(pos1, pos5, pos3)</code> (可变)<br><code>pos5 : PyInt(600)</code> (不可变)</td> 
   <td><code>x : pos4</code><br><code>y : pos4</code></td> 
  </tr> 
 </tbody> 
</table>

*  `y = [700, 800]`

首先创建这个列表，然后将变量 `y` 指向它。

<table> 
 <thead> 
  <tr> 
   <th>内存</th> 
   <th>命名空间</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><code>pos1 : PyInt(500)</code> (不可变)<br><code>pos3 : PyInt(502)</code> (不可变)<br><code>pos4 : PyList(pos1, pos5, pos3)</code> (可变)<br><code>pos5 : PyInt(600)</code> (不可变)<br><code>pos6 : PyInt(700)</code> (不可变)<br><code>pos7 : PyInt(800)</code> (不可变)<br><code>pos8 : PyList(pos6, pos7)</code> (可变)</td> 
   <td><code>x : pos4</code><br><code>y : pos8</code></td> 
  </tr> 
 </tbody> 
</table>

对这一过程进行验证：

![70 4][]

赋值，`id(y)` 与 `id(x)` 相同。

![70 5][] ![70 6][]

[70]: /images/20220517/614f82d4426048be93cb3b3d01b8e1d9.png
[70 1]: /images/20220517/e71affa42f2f4ce98c2abae073f5f4c1.png
[70 2]: /images/20220517/0894b8ca6674459295e8f1fc3ef8f6a2.png
[70 3]: /images/20220517/d89fdeeade84416bab9f7a935055ec15.png
[70 4]: /images/20220517/e2983649ca8642aa8d46f5c6c08ff1e0.png
[70 5]: https://img-blog.csdn.net/20180810164618713?watermark/2/text/aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzg4NzI0OA==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70
[70 6]: /images/20220517/339cfd595e8240f58237b8baba17a81d.png