python源码级面试题核心是理解cpython解释器机制：字节码编译与执行、pyobject对象模型、引用计数与gc回收、gil作用及限制。
Python源码级面试题聚焦解释器内部机制，核心是理解CPython如何将代码转化为可执行指令，而非仅会写语法。关键在字节码、对象模型、内存管理、GIL和执行循环这几个层面。
字节码与pyc文件生成过程
Python源码（.py）经词法分析、语法分析生成AST，再编译为字节码（.pyc），由解释器逐条执行。字节码是平台无关的中间表示，可通过dis模块查看：
- compile()函数可手动触发编译，得到CodeObject，含co_code（字节码序列）、co_consts（常量表）、co_names（名称表）等字段
- .pyc文件结构包含魔法号（标识Python版本）、时间戳、源文件大小及序列化的CodeObject；导入时若.pyc存在且未过期，跳过编译直接加载
- 字节码指令如LOAD_NAME、BINARY_ADD、CALL_FUNCTION对应具体操作，其参数常指向co_names或co_consts索引
PyObject与对象模型的核心设计
CPython中一切皆对象，统一基类为PyObject，含ob_refcnt（引用计数）和ob_type（类型指针）。实际类型如PyLongObject、PyListObject继承并扩展字段：
- 小整数[-5, 256]被缓存于small_ints数组，因此a = 10; b = 10; a is b为True
- 列表底层是动态数组，ob_size记录当前元素数，allocated记录已分配容量；插入/删除触发realloc，扩容策略约为1.125倍
- 字典使用开放寻址法，核心是PyDictObject中的ma_table哈希表，键通过hash值定位槽位，冲突时线性探测
内存管理与垃圾回收机制
CPython采用“引用计数为主 + 循环垃圾检测为辅”策略：
立即学习“Python免费学习笔记（深入）”；
- 每个PyObject的ob_refcnt随赋值、传参、入容器增减；减至0时立即调用tp_dealloc释放内存
- 引用计数无法处理循环引用（如两个对象互相持有对方引用），此时依赖gc模块的三色标记算法，在第0代满700个对象时触发检测
- 内存池由pymalloc管理：小于512字节走私有arena（减少系统调用），大对象直连malloc；避免频繁sysmalloc/systfree开销
GIL的作用范围与真实影响
全局解释器锁（GIL）是CPython进程级互斥锁，确保同一时刻仅一个线程执行Python字节码：
- GIL在字节码指令间释放（默认每执行100条ticks或遇到I/O阻塞时），故多线程对I/O密集型任务仍有效
- C扩展中可主动释放GIL（如Py_BEGIN_ALLOW_THREADS），让计算密集型操作并行；NumPy、Pandas等库内部已做此优化
- GIL不保护用户数据，共享变量仍需threading.Lock等同步原语，否则引发竞态条件
