Python函数参数传递机制：值、引用还是传对象？

Python参数传递机制概述

在C/C++等语言中，函数参数传递通常分为传值和传引用两种模式。那么，Python是如何处理参数传递的呢？在给出结论之前，我们先通过两段简单的代码示例来观察其实际行为。

代码段1：

def foo(arg):
arg = 2
print(arg)
a = 1
foo(a) # 输出：2
print(a) # 输出：1

阅读代码段1后，部分读者可能会认为Python采用的是传值机制。

代码段2：

def bar(args):
args.append(1)
b = []
print(b)#　输出：[]
print(id(b)) # 输出：4324106952
bar(b)
print(b) ＃　输出：[1]
print(id(b)) # 输出：4324106952

然而，观察代码段2的结果，又有人可能觉得这是传引用。这引发了一个核心问题：Python的参数传递究竟属于传值、传引用，还是其他机制？为了解答这一疑问，我们需要先厘清Python中变量与对象之间的底层关系。

变量与对象的绑定关系

变量与对象的关系

Python的设计哲学是“一切皆对象”，无论是数字、列表还是函数，所有数据实体均为对象。变量并非存储数据的内存容器，而是指向对象的引用（也可理解为名字或标签）。所有的对象操作均通过引用完成。例如，`[]`代表一个空列表对象，变量`a`则是该对象的一个引用标签。

a = []
a.append(1)

在Python语境下，“变量”更准确的称呼是“名字”。赋值操作符`=`的本质，是将一个名字绑定到一个具体的对象上，这类似于给对象贴上一个标签。

a = 1

例如，将整数`1`赋值给变量`a`，相当于在整数`1`这个对象上贴上了名为`a`的标签。

a = 2

若随后将整数`2`赋值给变量`a`，Python并不会修改整数`1`，而是将`a`这个标签从整数`1`上移除，并重新绑定到整数`2`上。

b = a

当执行将变量`a`赋值给另一个变量`b`的操作时，相当于在同一个对象（如整数`2`）上同时贴上了`a`和`b`两个标签。此时，通过`a`或`b`均可访问并操作该对象。

需要特别注意的是，变量本身不包含类型信息，类型信息存储在对象内部。这一机制与C/C++中变量作为特定内存区域的定义有本质区别。

函数参数传递的本质分析

函数参数传递机制

Python函数中的参数传递，本质上是一种赋值操作。既然赋值是名字到对象的绑定过程，那么参数传递也是将形式参数名绑定到实际参数所指向的对象上。基于这一本质，我们重新审视前文的两个代码示例。

def foo(arg):
arg = 2
print(arg)
a = 1
foo(a) # 输出：2
print(a) # 输出：1

在代码段1中，变量`a`绑定到整数`1`。调用`foo(a)`时，形式参数`arg`被绑定到同一个整数`1`对象。在函数内部，将`arg`重新赋值为`2`，意味着将`arg`这个标签从整数`1`上撕下，贴到整数`2`上。而变量`a`上的标签依然指向整数`1`，因此`print(a)`的输出仍为`1`。

再看代码段2的情况：

def bar(args):
args.append(1)
b = []
print(b)#　输出：[]
print(id(b)) # 输出：4324106952
bar(b)
print(b) ＃　输出：[1]
print(id(b)) # 输出：4324106952

在调用`append`方法前，变量`b`和参数`arg`均绑定到同一个列表对象。执行`append`方法时，并没有发生重新赋值（即没有新的绑定过程），而是直接修改了列表对象内部的内容。由于`b`和`arg`指向同一个对象，无论通过`b.append`还是`arg.append`操作，修改的都是同一个对象。因此，函数调用结束后，变量`b`的内容发生了变化（但对象的ID保持不变，仍指向原对象）。

传对象机制与常见陷阱

回到最初的问题：Python是传值还是传引用？严格来说，这两种说法都不准确。学术界和业界更倾向于使用“传对象”（Call by Object）这一术语来描述Python的参数传递机制。如果面试官试图考察候选人对Python参数传递的理解，与其纠结字面定义，不如通过实际代码案例来验证。

Show me the code：常见陷阱与解决方案

def bad_append(new_item, a_list=[]):
a_list.append(new_item)
return a_list

这段代码展示了初学者常犯的一个错误：将可变对象（如列表）作为函数的默认参数。在函数定义时，默认参数`a_list`就已经绑定到一个空列表对象上。每次调用函数时，若未提供该参数，都会复用这个已存在的列表对象并进行`append`操作。这会导致相同的调用方式产生不同的结果，从而引发潜在的Bug。

>>> print bad_append('one')
['one']
>>> print bad_append('one')
['one', 'one']

正确的做法是将默认参数设置为`None`，并在函数体内进行判断和初始化：

def good_append(new_item, a_list=None):
if a_list is None:
a_list = []
a_list.append(new_item)
return a_list

以上即为对Python函数参数传递机制的详细解析，希望能为您的学习提供参考，也欢迎继续支持本站获取更多技术内容。