在 Python 中，函数内变量的引用机制是理解语言行为、避免隐性 Bug、优化性能和构建可维护代码的关键基础。**Python 并不是简单的“值传递”或“引用传递”，而是基于对象引用与名称绑定的模型**。这意味着，函数参数、局部变量、可变对象与不可变对象在函数内外的表现存在本质差异。掌握这些差异，能够帮助开发者正确理解变量为何“会变”或“不会变”，并在实际工程中写出更加健壮、可预测的代码。

## 一、Python 变量与对象模型的底层逻辑

在理解函数内变量的引用之前，必须先澄清 Python 中“变量”的真实含义。**Python 的变量本质上不是存储值的容器，而是对象的名称绑定（name binding）**。当我们写下 `x = 10` 时，并不是把数值 10 放进变量 x，而是让名称 x 指向一个整数对象 10。这一设计决定了 Python 在函数作用域中处理变量的方式，也奠定了引用语义的基础。

在函数定义和调用过程中，Python 会为函数创建一个新的局部命名空间。函数内的变量名，默认只在该命名空间中有效。**当函数参数被传入时，实质上是将外部对象的引用绑定到函数内部的参数名上**，而不是复制对象本身。这一点在 Python 官方文档《Data model》中有明确说明（Python Software Foundation, 2023）。

这种对象与名称分离的机制，使 Python 能够高效地管理内存，同时也解释了为何在函数内修改某些对象会影响函数外，而有些则不会。理解这一点，是深入掌握 Python 函数内变量引用的前提。

## 二、函数参数传递的真实语义：对象引用传递

在编程语言理论中，人们常用“值传递”和“引用传递”来描述参数行为，但 **Python 官方并不采用这两种说法，而是称之为“call by object reference”**。也就是说，函数调用时，传入的是对象的引用，但这个引用本身是按值传递的。

举例来说，当一个变量作为参数传入函数时，函数内部的参数名与外部变量名最初指向同一个对象。如果该对象是不可变的，那么任何“修改”操作都会生成新对象，从而导致绑定关系改变；如果对象是可变的，那么对其内部状态的修改会反映到函数外部。

这种语义在 Python 社区被反复讨论，并在《Python Language Reference》中被正式确认（Python Software Foundation, 2023）。**因此，理解函数内变量的引用问题，关键不在于参数，而在于对象是否可变以及是否发生重新绑定**。

## 三、不可变对象在函数内的引用行为

不可变对象包括整数、浮点数、字符串、元组等。它们的共同特点是：**对象一旦创建，其内部状态不可改变**。当在函数内对这类对象“修改”时，Python 实际上会创建一个新的对象，并让局部变量指向它。

例如，将一个整数传入函数并在函数内进行加法操作，并不会改变函数外的变量。这是因为加法操作生成了新的整数对象，而函数内部的变量名被重新绑定到该新对象上，外部变量依然指向原对象。

从引用角度看，**不可变对象在函数内的变化，本质上是“重新绑定”，而不是“原地修改”**。这也是许多初学者误以为 Python 是值传递的原因之一。实际上，对象引用仍然被传入，只是由于对象不可变，变化无法传播。

这种设计保证了不可变对象在多处引用时的安全性，也是 Python 能够在多线程或复杂逻辑中保持一致性的基础。

## 四、可变对象在函数内的引用行为

与不可变对象相对，可变对象包括列表、字典、集合以及自定义类实例等。**可变对象允许在保持引用不变的情况下修改内部状态**，这使得函数内的操作可能直接影响函数外的变量。

当一个列表作为参数传入函数时，函数内部参数名与外部变量名指向同一个列表对象。如果在函数内对列表执行 `append`、`extend` 或元素赋值等操作，实际上是对同一个对象进行原地修改，因此变化会反映到函数外部。

从引用模型来看，这并不是“函数修改了外部变量”，而是**函数与外部代码共享了同一个对象引用**。Python 并没有对这种行为进行特殊限制，因为它在语义上是清晰且一致的。

然而，这种特性也容易引发副作用问题。**如果开发者没有意识到可变对象的共享引用，可能会在复杂系统中引入难以追踪的状态变化**。因此，在函数设计中，是否允许修改传入的可变对象，往往是一个重要的架构决策。

## 五、重新绑定与原地修改的关键区别

理解函数内变量引用时，最容易混淆的概念之一是“重新绑定”和“原地修改”。**重新绑定是指让变量名指向一个新对象，而原地修改是指改变对象内部状态但不改变引用**。这一区别决定了函数内操作是否会影响函数外。

例如，对列表执行 `lst = []` 是重新绑定；对列表执行 `lst.append(1)` 是原地修改。前者只影响函数内部的变量名，后者会影响所有引用该列表的变量。

从 Python 解释器的角度看，**变量名始终只是一个指针，真正的变化发生在对象层面**。只要对象本身被修改，所有指向它的引用都会感知到变化；只要只是名称重新绑定，影响范围就被限制在当前作用域。

这一机制在 Python 的字节码和内存模型中都有体现，也被广泛应用于函数式风格与命令式风格的混合编程实践中。

## 六、函数作用域与 LEGB 规则下的引用解析

Python 在解析函数内变量时，遵循著名的 **LEGB 规则（Local、Enclosing、Global、Built-in）**。这一规则决定了变量名在不同作用域中的查找顺序，也影响了变量引用的最终指向。

在函数内部，如果对一个变量名进行赋值操作，Python 默认会将其视为局部变量，并在局部命名空间中进行绑定。这意味着，即使函数外存在同名变量，函数内的赋值也不会修改外部变量的引用，除非显式使用 `global` 或 `nonlocal` 关键字。

从引用角度看，**LEGB 规则并不会改变对象的引用模型，而是影响名称绑定发生的位置**。理解这一点，有助于区分“找不到变量”和“变量未被修改”这两类常见问题。

在实际工程中，合理利用函数作用域与引用规则，可以有效避免命名冲突，并提升代码的可读性与可维护性。

## 七、默认参数与引用陷阱

Python 函数的默认参数是函数内变量引用中最著名的“陷阱”之一。**默认参数只在函数定义时求值一次，而不是在每次函数调用时重新创建**。如果默认参数是可变对象，那么所有调用将共享同一个对象引用。

这意味着，在函数内对默认参数进行原地修改，会导致后续调用看到累积后的状态。这并不是 Python 的 Bug，而是其对象模型与函数定义机制共同作用的结果。

从引用语义来看，**默认参数的对象引用被绑定在函数对象上，而非调用栈上**。因此，它的生命周期与函数本身一致。这一行为在 Python 官方文档中被明确说明，并被视为语言特性而非缺陷（Python Software Foundation, 2023）。

理解这一点后，开发者通常会采用 `None` 作为默认参数，并在函数内部创建新的可变对象，以避免不必要的引用共享。

## 八、函数返回值与引用关系的延续

函数返回值在 Python 中同样遵循对象引用模型。**函数返回的并不是对象的副本，而是对象的引用**。这意味着，调用方接收到的变量名将指向与函数内部相同的对象。

如果函数返回的是一个可变对象，那么调用方对该对象的修改会影响所有持有该引用的代码路径。这种行为在设计 API 时尤为重要，因为它直接关系到函数的“副作用边界”。

在大型系统中，是否返回可变对象、是否允许调用方修改返回值，通常需要在文档或接口设计中明确说明。**清晰的引用语义，是构建稳定接口和模块化系统的基础**。

## 九、实践建议与未来趋势

综合来看，Python 中函数内变量的引用机制并不复杂，但其影响深远。**理解对象、引用、可变性和作用域之间的关系，是从“会写 Python”走向“写好 Python”的关键一步**。在实践中，开发者应有意识地区分原地修改与重新绑定，谨慎处理可变对象的共享引用，并在函数设计中明确副作用边界。

从语言发展趋势看，Python 社区正在通过类型注解、不可变数据结构和函数式编程理念，进一步引导开发者写出引用关系更清晰的代码。未来，随着静态分析工具和类型系统的成熟，**函数内变量引用问题将更多在开发阶段被发现和规避，而非在运行时暴露**。

### 可变对象与不可变对象在函数内行为对比

| 对象类型 | 是否可变 | 函数内修改方式 | 是否影响函数外 |
|--------|--------|--------------|----------------|
| 整数、字符串 | 否 | 重新绑定 | 否 |
| 元组 | 否 | 无法原地修改 | 否 |
| 列表、字典 | 是 | 原地修改 | 是 |
| 自定义对象 | 视实现而定 | 修改属性 | 是 |

### 常见操作与引用结果对比

| 操作场景 | 行为类型 | 引用是否变化 | 外部是否受影响 |
|--------|--------|-------------|----------------|
| 参数重新赋值 | 重新绑定 | 是 | 否 |
| 修改列表元素 | 原地修改 | 否 | 是 |
| 返回对象 | 传递引用 | 否 | 视后续操作而定 |

参考与资料来源  
Python Software Foundation. (2023). *The Python Language Reference*.  
Lutz, M. (2013). *Learning Python*. O’Reilly Media.

在Python中，函数内部定义的变量属于局部变量，其作用范围仅限于函数内部，无法在函数外部直接访问。每次调用函数时，这些局部变量都会重新创建。

函数内部变量的作用域

在Python函数中定义的变量能否在函数外部访问？

函数内部变量的作用范围是什么？

如果需要在函数内部修改全局变量，必须使用global关键字声明该变量，告诉解释器这是一个全局变量，而不是创建新的局部变量。

使用global关键字修改全局变量

如果想要在函数中改变外部定义的全局变量，应该怎样操作？

如何在函数内修改全局变量吗？

当函数内引用变量时，如果没有赋值操作，Python会从外层作用域查找该变量。赋值操作会让变量成为局部变量，除非使用global或nonlocal声明。

引用与赋值的区别

在函数内引用变量和给变量赋值时，Python是如何处理的？

函数内变量的引用和赋值有什么不同？

PingCodeDocs

本文系统解析了 Python 中函数内变量的引用机制，指出 Python 采用基于对象和名称绑定的引用模型，而非传统的值传递或引用传递。通过区分可变与不可变对象、重新绑定与原地修改、以及函数作用域和默认参数的行为，文章解释了函数内操作何时会影响函数外变量。理解这些规则有助于避免隐性副作用、设计清晰接口，并编写更加可维护和可预测的 Python 代码。

Python中函数内的变量的引用