Python 中声明的变量，其内容（即数据对象）存储在计算机的**内存**中。更具体地说，变量名本身作为一个**引用（标签）**，存储在程序运行时的**命名空间**里，而这个引用指向内存中实际存储数据的**对象** [ref_3]。 为了清晰地理解这个存储模型，我们可以从以下几个层面进行解构： ### 1. 核心存储模型：变量名、引用与对象 Python 的变量存储遵循“对象引用”模型，而非 C/C++ 等语言中的“变量即内存盒子”模型。 | 组成部分 | 描述 | 存储位置 | | :--- | :--- | :--- | | **变量名 (Name)** | 程序员定义的标识符，如 `x`, `name`。 | 存储在**命名空间**中，这是一个运行时维护的、类似字典的结构，用于映射变量名到其引用。 | | **引用 (Reference)** | 变量名所绑定的值，本质上是内存中某个对象的**地址**。 | 作为“值”存储在命名空间的对应条目里。 | | **对象 (Object)** | 实际的数据实体，如整数 `5`、字符串 `"hello"`、列表 `[1,2,3]`。 | 存储在**堆内存**中。 | **声明与赋值的过程** 就是建立这种绑定关系 [ref_1, ref_3]： ```python # 声明变量 `count` 并赋值为整数 10 count = 10 ``` 1. Python 解释器在内存的堆（Heap）中创建了一个整数对象 `10`。 2. 在当前作用域的命名空间（例如，如果是全局变量则在全局命名空间 `globals()` 中）中，创建一个条目，键为 `"count"`。 3. 将这个条目（变量名 `count`）的值（引用）设置为指向内存中那个整数对象 `10` 的地址。 ### 2. 关键特性与验证 **a. 动态类型与重新赋值** Python 是动态类型语言，变量的类型由它引用的对象决定，而非变量名本身 [ref_1, ref_2]。重新赋值会改变变量名所引用的对象，而非修改原对象（对于不可变类型而言）。 ```python x = 100 # x 引用一个整数对象 100 print(id(x)) # 输出对象的内存地址（引用值） x = "Python" # x 现在引用一个新的字符串对象 "Python" print(id(x)) # 地址已改变，说明引用已更新 ``` **b. 多个变量引用同一对象** 多个变量名可以引用内存中的同一个对象 [ref_3]。 ```python a = [1, 2, 3] # a 引用一个列表对象 b = a # b 引用同一个列表对象 print(a is b) # 输出 True，说明是同一个对象 b.append(4) print(a) # 输出 [1, 2, 3, 4]，通过 b 修改了 a 引用的对象 ``` **c. 作用域与命名空间** 变量的“存放”位置也取决于其作用域，这决定了它在哪个命名空间中被查找 [ref_4, ref_6]。 * **局部变量**：在函数内部声明，存储在函数的**局部命名空间**中。函数调用结束后，其局部命名空间通常被回收。 * **全局变量**：在模块顶层声明，存储在**全局命名空间**中，可通过 `globals()` 查看。 * **内置变量**：如 `print`, `len`，存储在**内置命名空间**中。 ```python global_var = "I'm global" def my_func(): local_var = "I'm local" print(locals()) # 查看局部命名空间，包含 local_var print(globals().get('global_var')) # 访问全局变量 my_func() print(globals().get('local_var')) # 输出 None，无法在全局访问局部变量 ``` ### 3. 内存管理：垃圾回收 当没有任何变量引用一个内存中的对象时，该对象就变成了“垃圾”。Python 的**垃圾回收机制**（主要是引用计数，辅以分代回收和标记清除）会自动检测并回收这些内存空间，释放给系统 [ref_3]。使用 `del` 语句可以显式删除一个变量名，从而减少其引用对象的引用计数。 ```python import sys list_obj = [1, 2, 3] ref_count = sys.getrefcount(list_obj) # 获取对象的引用计数（注意：此调用本身会增加一个临时引用） print(f"初始引用计数: {ref_count - 1}") # 减去 getrefcount 的临时引用 another_ref = list_obj print(f"新增引用后: {sys.getrefcount(list_obj) - 1}") del another_ref # 删除一个引用 print(f"删除引用后: {sys.getrefcount(list_obj) - 1}") del list_obj # 删除最后一个引用，对象可能被回收 ``` ### 总结 Python 声明变量涉及两个核心存放地： 1. **变量名**存放在**命名空间**中，这是一个按作用域（局部、全局、内置）组织的映射表。 2. **变量值（数据）**存放在**堆内存**的对象中。变量名通过**引用**（内存地址）与这些对象关联。 理解这个“**名字-引用-对象**”模型是掌握 Python 变量赋值、参数传递、可变/不可变对象行为差异以及内存管理的基础 [ref_3, ref_6]。