17370845950

本文详解装饰器中inner函数为何能正确接收并使用num参数——关键在于装饰器返回的是一个新函数（inner），而实际调用时传入的参数直接抵达该函数，其本质是闭包作用域与函数调用链的自然结合。

在你的代码中，@facto_decorator 并非“修改”原函数 facto，而是完全替换它：装饰器 facto_decorator 接收 facto 作为参数，返回一个新的可调用对象——即 inner 函数。因此，后续所有对 facto(a) 的调用，实际上都是在调用 inner(a)。

我们来逐步展开等价转换：

@facto_decorator
def facto(num):
    if num == 1:
        return 1
    else:
        return num * facto(num-1)

等价于：

def facto(num):
    if num == 1:
        return 1
    else:
        return num * facto(num-1)

facto = facto_decorator(facto)  # ← 关键：facto 现在指向 inner！

而 facto_decorator(facto) 的返回值正是 inner 函数（未执行，仅返回函数对象）。此时 inner 的定义为：

def inner(num):  # ✅ 参数 num 明确声明，由外部调用传入
    if num not in memory:
        memory[num] = func(num)  # func 是原 facto，闭包捕获
        print('result saved in memory')
    else:
        print('returning result from saved memory')
    return memory[num]

⚠️ 注意：inner 能访问 num，不是因为“继承”了外层 facto_decorator 的参数（facto_decorator 本身根本没定义 num 参数！），而是因为：

• inner 是一个独立函数，自身显式声明了 num 形参；
• 当你写 facto(a)，Python 实际执行的是 inner(a)，a 作为实参被传给 inner 的 num；
• 同时，inner 通过闭包（closure） 捕获了定义时所在作用域的变量：func（即原始 facto 函数）和 memory（全局字典，也可视为闭包引用）。

✅ 正确理解要点：

• facto_decorator 的职责是「接收函数 → 返回新函数」，不参与参数传递；
• inner 是真正响应调用的函数，它的参数列表决定了它接收什么；
• 闭包让 inner 在无显式传入的情况下，仍能安全使用 func 和 memory ——但 num 始终来自调用时的传参，而非闭包。

? 小实验验证：
你可以打印 facto.__name__，会输出 'inner'；再检查 facto.__code__.co_varnames，将看到 ('num',) ——这明确证实：当前 facto 就是 inner，且只接受一个名为 num 的参数。

总结：装饰器的魔法不在“穿透访问”，而在“函数替换 + 闭包绑定”。掌握这一机制，是写出健壮、可调试装饰器的基础。