Python内部函数（闭包）运行原理详解：C/C++背景开发者常见疑问解答

示例代码 #

你提供的示例代码如下：
工厂函数定义：

def prefix_factory(prefix):
    def prefix_printer(text):
        print(f"{prefix}: {text}")
    return prefix_printer

执行代码：

# 第一次执行
debug = prefix_factory('DEBUG') 

# 第二次执行
debug('Hello world')

疑问解答 #

1. 第一次执行prefix_factory('DEBUG')为什么没有报text未定义的错误？ #

Python中函数是一等公民，和整数、字符串等普通变量一样，可以直接被定义、传递、返回，你有C/C++背景可以直接类比为返回函数指针的逻辑：返回函数指针本身的时候，并不会执行该函数的内部代码，自然也不会校验参数是否传入。
你调用prefix_factory('DEBUG')时，仅执行了以下三个步骤：

• 将入参'DEBUG'赋值给prefix_factory的形参prefix
• 定义内部函数prefix_printer，这里仅完成函数定义的语法检查，不会触发函数执行，所以不会校验text参数是否传入
• 将prefix_printer这个函数对象作为返回值返回，赋值给debug变量
  整个过程prefix_printer从未被调用，所以不会触发参数缺失的报错。
  你可以参考这段等效的C代码逻辑，和Python的行为完全一致：

#include <stdio.h>
const char* global_prefix;
void prefix_printer(const char* text) {
    printf("%s: %s\n", global_prefix, text);
}
// 工厂函数返回函数指针
void (*prefix_factory(const char* prefix))(const char*) {
    global_prefix = prefix;
    // 仅返回函数指针，不执行prefix_printer，不需要传text参数
    return prefix_printer;
}

int main() {
    void (*debug)(const char*) = prefix_factory("DEBUG");
    // 调用debug时才会执行prefix_printer，才需要传入text参数
    debug("Hello world");
    return 0;
}

注：C没有原生闭包支持，这里用全局变量模拟闭包的变量捕获效果，Python的闭包会自动持有外层变量，不需要手动定义全局变量。

2. 第二次执行debug('Hello world')为什么参数不是传给prefix？ #

debug变量存储的是第一次调用prefix_factory返回的prefix_printer函数对象，不是prefix_factory本身。
你调用debug('Hello world')等价于直接调用prefix_printer('Hello world')，传入的参数自然会赋值给prefix_printer的形参text，和外层的prefix参数没有关系。prefix的值在第一次调用prefix_factory的时候就已经被闭包捕获固定为'DEBUG'，不会被后续的调用修改，最终输出结果为DEBUG: Hello world。

核心运行机制总结 #

• 函数定义和函数执行是完全独立的两个流程：定义阶段仅做语法校验，不会执行内部代码，也不会检查实参是否传入，只有调用阶段才会执行内部逻辑、校验参数
• 函数是一等对象，可以被直接返回、赋值、作为参数传递
• 内部函数如果引用了外层函数的变量，会形成闭包：外层函数执行结束后，被引用的变量会被内部函数持有，生命周期和内部函数绑定，不会随着外层函数的栈帧销毁而消失

内容的提问来源于stack exchange，提问作者indianwebdevil