1. 理解问题：获取函数调用前一行的行号
在Python开发中，我们有时需要获取特定函数被调用时，其调用点上一条实际执行的语句的行号。例如，考虑以下代码片段：
Line 1: if True:
Line 2: print("This is the line we want to capture.")
Line 3: else:
Line 4: pass
Line 5: log() # 假设这是一个需要获取其上一行执行语句行号的函数如果我们在 log() 函数内部尝试使用 inspect.currentframe().f_back.f_lineno 来获取调用者的行号，它将返回 Line 5。然而，我们的目标是获取在调用 log() 之前，实际执行的最后一条语句的行号，即 Line 2。标准 inspect 模块无法直接提供这种“上一条执行语句”的信息，因为它通常关注的是调用栈中的直接调用关系。
2. 解决方案核心：利用 sys.settrace 进行代码追踪
Python的 sys 模块提供了一个强大的底层调试接口 sys.settrace()。通过注册一个追踪函数，我们可以在程序执行的每个关键事件（如行执行、函数调用、返回、异常）发生时得到通知。这使得我们能够精细地监控代码的执行流程，从而实现获取“上一条执行语句行号”的需求。
sys.settrace() 接受一个追踪函数作为参数，该函数的签名为 trace_func(frame, event, arg)：
立即学习“Python免费学习笔记（深入）”；
- frame: 当前执行的栈帧对象，包含当前执行位置（如 f_lineno）、局部变量等信息。
- event: 一个字符串，表示发生的事件类型。常见的事件类型包括：
- 'line': 代码执行到新的一行。
- 'call': 函数被调用。
- 'return': 函数返回。
- 'exception': 异常发生。
- arg: 与事件相关的参数。
追踪函数必须返回自身或另一个追踪函数，以继续进行追踪。
3. 设计自定义追踪逻辑
为了实现我们的目标，我们需要设计一个追踪函数，它能够：
- 监控行执行事件： 只关注 'line' 事件，因为我们关心的是代码行的执行顺序。
- 维护行号历史： 使用一个固定大小的队列来存储最近执行的行号。由于我们只需要前一条行号，一个大小为2的队列（collections.deque(maxlen=2)）是理想选择。当新行号加入时，最旧的行号会自动被移除。
- 过滤无关行号： 确保追踪函数不会记录我们目标函数（例如 log()）内部的行号，因为这些行号不属于调用链前的执行。
我们将这些逻辑封装在一个 Tracer 类中，使其更具模块化和可维护性。
import sys
from collections import deque
class Tracer:
def __init__(self):
# 初始化一个最大长度为2的双端队列，用于存储最近执行的两个行号
self.linenos = deque(maxlen=2)
# 存储log方法的代码对象，用于在追踪时排除log方法自身的行
self.log_code = None
def trace(self, frame, event, arg):
"""
自定义追踪函数，在代码执行的特定事件发生时被调用。
"""
# 确保log_code已被设置，通常在Tracer实例化后、log方法首次被引用时设置
# 或者在log方法内部首次调用时设置，这里选择在log方法中获取
if self.log_code is None and hasattr(self, 'log'):
self.log_code = self.log.__code__
# 仅当事件类型为'line'时才处理
if event == 'line':
# 排除log方法自身内部的行号，避免污染历史记录
# 比较frame.f_code（当前执行代码对象的code object）与self.log_code
if self.log_code is not None and frame.f_code is self.log_code:
# 如果当前执行的行属于log方法，则不记录
pass
else:
# 记录当前行的行号
self.linenos.append(frame.f_lineno)
# 返回自身，以继续追踪
return self.trace
def log(self):
"""
我们的目标函数，用于获取调用前上一条执行语句的行号。
"""
# 确保log_code已被设置，如果尚未设置，则在这里获取
if self.log_code is None:
self.log_code = self.log.__code__
# 当log方法被调用时，linenos队列的第一个元素即为我们需要的“上一条执行语句的行号”
# 因为maxlen=2，linenos[0]是倒数第二条执行的行，linenos[1]是倒数第一条执行的行
# 而倒数第一条执行的行就是调用log()的那一行，所以我们需要linenos[0]
if len(self.linenos) > 0:
print(f"上一条执行语句的行号: {self.linenos[0]}")
else:
print("无法获取上一条执行语句的行号，可能追踪未启动或历史记录不足。")
4. 完整代码示例与解析
将上述 Tracer 类与实际使用结合，我们可以观察其效果。
import sys
from collections import deque
class Tracer:
def __init__(self):
self.linenos = deque(maxlen=2)
self.log_code = None
def trace(self, frame, event, arg):
if self.log_code is None and hasattr(self, 'log'):
self.log_code = self.log.__code__
if event == 'line':
if self.log_code is not None and frame.f_code is self.log_code:
pass # 忽略log方法内部的行
else:
self.linenos.append(frame.f_lineno)
return self.trace
def log(self):
if self.log_code is None:
self.log_code = self.log.__code__
if len(self.linenos) > 0:
print(f"上一条执行语句的行号: {self.linenos[0]}")
else:
print("无法获取上一条执行语句的行号，可能追踪未启动或历史记录不足。")
# 实例化Tracer
tracer = Tracer()
# 设置追踪函数
# sys._getframe().f_trace = tracer.trace 针对当前帧设置追踪，确保从当前点开始追踪
# sys.settrace(tracer.trace) 设置全局追踪，对后续创建的所有新帧生效
sys._getframe().f_trace = tracer.trace
sys.settrace(tracer.trace)
# 示例代码块
# 假设此处的行号从1开始计算，实际行号取决于文件内容和位置
# 以下是模拟用户问题中的场景
# 注意：在实际运行中，行号取决于代码在文件中的具体位置
# 为方便理解，我们假设以下代码从文件某一行开始
# 比如，如果此文件从第1行开始，那么if True: 可能是第20行，assert True是第21行
# 这里的输出会是程序运行时的实际行号。
if True: # 假设此行在文件中的实际行号为 L_if_true
assert True # 假设此行在文件中的实际行号为 L_assert_true
else: # 假设此行在文件中的实际行号为 L_else
pass # 假设此行在文件中的实际行号为 L_pass
# 调用log函数
tracer.log() # 假设此行在文件中的实际行号为 L_log_call
# 停止全局追踪，避免影响后续代码执行
sys.settrace(None)
sys._getframe().f_trace = None
运行结果分析：
当上述代码运行时，tracer.log() 将输出 assert True 语句的实际行号。例如，如果 assert True 在文件中的行号是 21，则输出为 上一条执行语句的行号: 21。这精确地满足了我们的需求，即获取调用 log() 函数前，最后一条执行语句的行号。
sys._getframe().f_trace = tracer.trace 和 sys.settrace(tracer.trace) 的区别在于：
- sys.settrace(tracer.trace)：设置当前线程的全局追踪函数。它对所有新创建的函数帧生效。
- sys._getframe().f_trace = tracer.trace：设置当前正在执行的函数帧的追踪函数。这确保了从设置点开始，当前代码路径上的行也被追踪到。在脚本的顶层（全局作用域）使用时，它会追踪全局代码块的执行。
通常，为了确保从设置点开始的全面追踪，同时设置两者是稳健的做法。
5. 注意事项与潜在问题
使用 sys.settrace 是一种强大的底层技术，但同时也伴随着一些重要的注意事项：
- 性能开销： sys.settrace 会在每一行代码执行时都调用追踪函数，这会引入显著的性能开销。因此，它不适合在生产环境中长期开启，或用于对性能敏感的场景。它更适用于调试、代码覆盖率分析或性能剖析等特定工具的开发。
- 全局性影响： sys.settrace 是全局性的（针对当前线程），一旦设置，它将影响该线程中所有后续代码的执行。如果不及时关闭（通过 sys.settrace(None)），可能会干扰其他模块或库的正常运行。
- 线程安全： 如果在多线程应用程序中使用，需要特别注意线程间的追踪状态隔离和同步问题。sys.settrace 是基于线程的，每个线程可以有自己的追踪函数。
- 复杂性： 追踪函数的编写需要对Python的执行模型有较深入的理解。不恰当的逻辑可能导致无限循环或不正确的行为。
- 替代方案： 对于一般的调试需求，IDE提供的断点功能通常是更简单、更高效的选择。日志记录也是一种常用的调试手段。sys.settrace 适用于需要深入控制或分析代码执行流的特定高级场景。
6. 总结
通过巧妙地利用 sys.settrace 机制，并结合 collections.deque 维护执行历史，我们能够精确地获取到函数调用前上一条执行语句的行号。这种方法克服了标准 inspect 模块在此类特定场景下的局限性，为高级调试、代码分析和自定义工具的开发提供了可能。然而，鉴于其潜在的性能影响和全局性，开发者在使用时务必谨慎，并在完成任务后及时清理追踪状态。
