Python 函数缺省参数陷阱：可变对象与闭包机制解析

Python 缺省参数概述

本文详细解析 Python 函数中缺省参数（默认参数）的使用细节与潜在风险，旨在帮助开发者避免常见错误，提升代码质量。

Python 函数支持四种参数形式：必选参数、缺省参数、可变长参数以及关键字参数。这些参数的书写顺序有严格规定，必须遵循特定规范。

def fun(param, default_params, arbitrary_params, keyword_param)

接下来，我们将重点分析缺省参数在实际应用中的关键注意事项。

首先定义如下函数示例：

def test_fun(a=[]):
   a.append('a')
   print a
if __name__ == '__main__':
  test_fun()
  test_fun()

根据函数定义的初衷，预期的输出结果应当是：

['a'] ['a']

然而，实际运行得到的结果却是：

['a'] ['a', 'a']

缺省参数陷阱解析

为何会出现结果叠加的现象？问题根源在于缺省值的处理机制。

当为函数定义缺省参数时，Python 在函数定义阶段就会创建一个对象。关键在于，这个对象仅在第一次调用时进行初始化，而后续的每次调用都指向同一个已存在的变量对象，而非重新创建。

因此，在首次调用 test_fun() 时，系统定义了一个空列表 []，该列表在逻辑上与函数绑定。当第二次调用 test_fun() 时，系统不再创建新列表，而是直接引用第一次定义的那个缺省对象，导致追加操作作用于同一对象，从而使得第二次打印结果包含了第一次的累积值。

最佳实践与解决方案

为避免这种违背预期的行为，在构造缺省参数时，建议优先使用不可变对象（因为 [] 是可变对象），以防止缺省对象在多次调用中被意外修改，确保每次调用时缺省值保持初始状态。

现在，我们重新定义两个独立的函数：

def test_fun_1(a=[]):
   a.append('a')
   print a
def test_fun_2(a=[]):
  a.append('a')
  print a
if __name__ == '__main__':
  test_fun_1()
  test_fun_1()
  test_fun_2()
  test_fun_2()

此时的运行结果将是：

['a'] ['a', 'a'] ['a'] ['a', 'a']

为什么 test_fun_1 和 test_fun_2 的对象没有相互叠加？这是因为缺省对象是与具体函数绑定的。test_fun_1 的缺省值 [] 和 test_fun_2 的缺省值 [] 是两个完全独立、互不干扰的对象，分别存储在各自的函数命名空间中。

如果您对 Python 相关内容感兴趣，可查看本站专题：《Python 函数使用技巧总结》、《Python 面向对象程序设计入门与进阶教程》、《Python 数据结构与算法教程》、《Python 字符串操作技巧汇总》、《Python 编码操作技巧总结》及《Python 入门与进阶经典教程》。

希望本文的阐述能对您的 Python 程序设计工作有所帮助。