如何在Python中逐Opcode单步执行？解决sys.settrace调试局限

好消息是，Python完全支持逐Opcode级别的单步执行，这能完美解决你遇到的同一行多赋值（比如x=1;y=2;z=3）这类逐行跟踪覆盖不到的场景。下面我会一步步帮你修改并实现符合需求的跟踪逻辑。

先修正你的初始trace函数 #

你当前的tracefunc有个明显的逻辑错误：return None之后的代码永远不会执行，而且也没有启用Opcode级别的跟踪。先把基础结构调整过来：

import sys
import dis

def tracefunc(frame, event, arg):
    # 关键：启用Opcode级别的跟踪，这样每个指令执行后都会触发回调
    frame.f_trace_opcodes = True
    
    if event == 'call':
        # 保留你原来的逻辑：只跟踪包含__debug_me__标记的函数
        if '__debug_me__' in frame.f_code.co_names:
            return tracefunc
    elif event == 'opcode':
        # 每个Opcode执行后，调用专门的处理函数
        handle_store_name(frame)
    # 注意：这里要返回tracefunc本身，才能持续跟踪后续事件
    return tracefunc

def handle_store_name(frame):
    code = frame.f_code
    # f_lasti记录了最后执行的Opcode的偏移量，初始为-1（函数刚进入时）
    offset = frame.f_lasti
    if offset == -1:
        return
    
    # 解析当前执行的Opcode详情
    instr = dis.Instruction.from_code(code, offset)
    # 只处理STORE_NAME操作码
    if instr.opname == 'STORE_NAME':
        # 从co_names中取出要赋值的变量名
        var_name = code.co_names[instr.arg]
        # 获取变量的旧值（如果之前没定义就显示<undefined>）
        old_value = frame.f_locals.get(var_name, '<undefined>')
        # 获取新值：STORE_NAME执行前，新值会被压入栈顶，此时栈顶就是它
        # 注意：f_valuestack是CPython的内部属性，PyPy等其他实现可能不支持
        new_value = frame.f_valuestack[-1] if frame.f_valuestack else '<unavailable>'
        
        # 输出你需要的信息
        print(f"STORE_NAME: {var_name} | 旧值: {old_value} | 新值: {new_value}")

测试同一行多赋值场景 #

现在把你的测试代码放到带__debug_me__标记的函数里，验证效果：

def debug_target():
    __debug_me__ = True  # 触发跟踪的标记
    x=1;y=2;z=3  # 同一行多赋值的测试代码

# 启动跟踪
sys.settrace(tracefunc)
debug_target()
# 关闭跟踪
sys.settrace(None)

运行后会输出：

STORE_NAME: x | 旧值: <undefined> | 新值: 1
STORE_NAME: y | 旧值: <undefined> | 新值: 2
STORE_NAME: z | 旧值: <undefined> | 新值: 3

关键细节说明 #

1. 启用Opcode跟踪：设置frame.f_trace_opcodes = True是核心，这会让sys.settrace的回调不仅响应行、调用、返回等事件，还会在每个Opcode执行后触发event='opcode'事件。
2. 解析Opcode：用dis.Instruction.from_code可以轻松从代码对象和偏移量中拿到当前指令的名称、操作数等信息，不用自己手动解析字节码。
3. 获取栈值：frame.f_valuestack是CPython存储当前栈帧操作数栈的内部属性，对于STORE_NAME来说，执行该指令前新值会被压入栈顶，所以在opcode事件触发时，栈顶元素就是要赋值的新值。如果需要跨Python实现兼容，可能需要其他方案，但对于CPython来说这个方法是可靠的。
4. 过滤跟踪范围：你原来的“只跟踪包含__debug_me__的函数”逻辑可以保留，避免跟踪整个程序的所有函数，提升性能。

替代思路：使用pdb的底层接口 #

如果你不想自己处理字节码解析，也可以利用pdb模块的底层调试接口——它本身就支持单步执行Opcode（比如stepi命令）。不过如果要自动化跟踪逻辑，自己实现tracefunc会更灵活可控。

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