Python函数机制深度解析
一、函数文档与元信息
函数首行若存在未赋值的字符串字面量，该字符串即成为函数的文档说明（docstring）。此机制支撑自动化文档生成工具的运行，是代码可维护性的重要保障。
def calculate_total(price, quantity):
"""计算商品总价，返回含税金额"""
return price * quantity * 1.08
# 访问文档字符串
print(calculate_total.__doc__)
# 输出: 计算商品总价，返回含税金额
# 交互式帮助系统
help(calculate_total)
二、返回值机制
Python函数存在隐式返回行为：未显式使用return语句时，函数执行完毕自动返回None对象。此设计区别于部分编程语言的"无返回值"概念。
def silent_func():
pass # 无return语句
def explicit_none():
return None
print(silent_func() is explicit_none()) # True
三、函数作为第一类对象
函数定义创建的是可调用对象，标识符仅作为该对象的引用。此特性支持别名绑定、参数传递及动态调用。
def original():
return "executed"
alias = original # 新引用指向同一对象
print(alias()) # executed
container = [original, alias] # 存入容器
print(container[0]()) # executed
四、参数传递模式
4.1 位置参数与默认参数
默认参数须置于位置参数之后，否则触发语法错误。
# 合法定义
def configure(host, port=8080, timeout=30):
pass
# 非法定义（SyntaxError）
def invalid(a=1, b, c=2):
pass
4.2 可变参数收集
单星号*将多余位置参数聚合为元组，双星号**将多余关键字参数聚合为字典。顺序约束：**形参必须位于*形参之后。
def flexible(required, *extras, **options):
print(f"必需: {required}")
print(f"位置余量: {extras}")
print(f"关键字余量: {options}")
flexible("core", "opt1", "opt2", debug=True, retry=3)
# 输出:
# 必需: core
# 位置余量: ('opt1', 'opt2')
# 关键字余量: {'debug': True, 'retry': 3}
4.3 参数解包
调用端使用*和**对可迭代对象与映射进行解包，实现动态参数传递。
def point_distance(x, y, z):
return (x**2 + y**2 + z**2) ** 0.5
coords = [3, 4, 12]
print(point_distance(*coords)) # 13.0
settings = {"x": 1, "y": 2, "z": 2}
print(point_distance(**settings)) # 3.0
五、作用域与命名空间
5.1 变量解析规则（LEGB）
Python按局部→嵌套→全局→内置的顺序解析名称。赋值操作在函数体内创建局部变量，与外部同名变量形成遮蔽。
value = 100
def shadow_demo():
value = 50 # 创建局部变量，遮蔽全局value
print(value) # 50
shadow_demo()
print(value) # 100（全局未受影响）
5.2 跨作用域变量修改
global声明将变量绑定至全局命名空间，nonlocal则用于修改嵌套外层函数中的变量。
counter = 0
def outer():
state = 10
def inner():
global counter
counter += 1 # 修改全局变量
nonlocal state
state += 5 # 修改外层函数的变量
return state
return inner
func = outer()
print(func()) # 15（state: 10+5）
print(counter) # 1
5.3 常见作用域陷阱
函数体内对变量执行赋值操作前读取该变量，若未声明global或nonlocal，将触发UnboundLocalError。
total = 0
def accumulate(amount):
# 此处total被视为局部变量
# 但赋值前读取会导致错误
# print(total) # UnboundLocalError!
total = total + amount # 同样错误
return total
# 正确做法：先声明
def fixed_accumulate(amount):
global total
total = total + amount
return total
六、闭包与延迟绑定
嵌套函数引用外层变量时，形成闭包结构。注意Python的后期绑定特性：闭包捕获的是变量名而非值。
def create_multipliers():
return [lambda x: i * x for i in range(4)]
# 所有lambda均绑定到最终的i=3
mults = create_multipliers()
print([m(2) for m in mults]) # [6, 6, 6, 6]
# 修正：利用默认参数固化当前值
def create_correct():
return [lambda x, i=i: i * x for i in range(4)]
correct = create_correct()
print([m(2) for m in correct]) # [0, 2, 4, 6]
