traceback —— 打印或读取栈回溯信息

源代码: Lib/traceback.py


该模块提供了一个标准接口来提取、格式化和打印 Python 程序的栈跟踪结果。它完全模仿Python 解释器在打印栈跟踪结果时的行为。当您想要在程序控制下打印栈跟踪结果时,例如在“封装”解释器时,这是非常有用的。

本模块使用 回溯对象 --- 它们是类型为 types.TracebackType 的对象,它们将被赋值给 BaseException 实例的 __traceback__ 字段。

参见

模块 faulthandler

用于在发生错误、超时或用户信号时显式地转储 Python 回溯信息。

模块 pdb

用于 Python 程序的交互式源代码调试器。

这个模块定义了以下函数:

traceback.print_tb(tb, limit=None, file=None)

如果 limit 为正值则打印来自 回溯对象 tb 的至多 limit 个栈回溯条目(从调用方的帧开始)。 否则,打印最后 abs(limit) 个条目。 如果 limit 被省略或为 None,则打印所有条目。 如果 file 被省略或为 None,则会输出到 sys.stderr;在其他情况下它应当是一个打开的 文件file-like object 用来接受输出。

在 3.5 版本发生变更: 添加了对负数值 limit 的支持

traceback.print_exception(exc, /, [value, tb, ]limit=None, file=None, chain=True)

将来自 回溯对象 tb 的异常信息与栈跟踪条目打印到 file。 这与 print_tb() 相比有以下几方面的区别:

  • 如果 tb 不为 None,它将打印头部 Traceback (most recent call last):

  • 它将在栈回溯之后打印异常类型和 value

  • 如果 type(value)SyntaxErrorvalue 具有适当的格式,它会打印发生语法错误的行并用一个圆点来指明错误的大致位置。

从 Python 3.10 开始,可以不再传递 valuetb,而是传递一个异常对象作为第一个参数。 如果提供了 valuetb,则第一个参数会被忽略以便提供向下兼容性。

可选的 limit 参数的含义与 print_tb() 的相同。 如果 chain 为真值(默认),则链式异常(异常的 __cause____context__ 属性)也将被打印出来,就像解释器本身在打印未处理的异常时一样。

在 3.5 版本发生变更: etype 参数会被忽略并根据 value 推断出来。

在 3.10 版本发生变更: etype 形参已被重命名为 exc 并且现在是仅限位置形参。

traceback.print_exc(limit=None, file=None, chain=True)

这是 print_exception(sys.exception(), limit, file, chain) 的快捷操作。

traceback.print_last(limit=None, file=None, chain=True)

这是 print_exception(sys.last_exc, limit, file, chain) 的一个快捷方式。 通常它将只在异常到达交互提示符之后才会起作用 (参见 sys.last_exc)。

traceback.print_stack(f=None, limit=None, file=None)

如果 limit 为正数则打印至多 limit 个栈跟踪条目(从发起调用点开始)。 在其他情况下,则打印最后 abs(limit) 个条目。 如果 limit 被省略或为 None,则会打印所有条目。 可选的 f 参数可被用来指定一个替代 栈帧 作为开始位置。 可选的 file 参数的含义与 print_tb() 的相同。

在 3.5 版本发生变更: 添加了对负数值 limit 的支持

traceback.extract_tb(tb, limit=None)

返回一个 StackSummary 对象来代表从 回溯对象 tb 提取的“预处理”栈跟踪条目列表。 它可用作栈跟踪的另一种格式化形式。 可选的 limit 参数的含义与 print_tb() 的相同。 “预处理”栈跟踪条目是一个 FrameSummary 对象,其中包含代表通常针对栈跟踪打印的信息的 filename, lineno, nameline 等属性。

traceback.extract_stack(f=None, limit=None)

从当前的 栈帧 提取原始回溯。 返回值的格式与 extract_tb() 的相同。 可选的 flimit 参数的含义与 print_stack() 的相同。

traceback.format_list(extracted_list)

给定一个由元组或如 extract_tb()extract_stack() 所返回的 FrameSummary 对象组成的列表,返回一个可打印的字符串列表。 结果列表中的每个字符串都对应于参数列表中具有相同索引号的条目。 每个字符串以一个换行符结束;对于那些源文本行不为 None 的条目,字符串也可能包含内部换行符。

traceback.format_exception_only(exc, /[, value])

使用 sys.last_value 等给出的异常值来格式化回溯的异常部分。 返回值是一个字符串列表,其中每一项都以换行符结束。 该列表包含异常消息,它通常是一个字符串;但是,对于 SyntaxError 异常,它将包含多行并且(当打印时)会显示语法错误发生位置的详细信息。 在异常消息之后,该列表还包含了异常的 注释

从 Python 3.10 开始,可以不传入 value,而是传入一个异常对象作为第一个参数。 如果提供了 value,则第一个参数将被忽略以便提供向下兼容性。

在 3.10 版本发生变更: etype 形参已被重命名为 exc 并且现在是仅限位置形参。

在 3.11 版本发生变更: 返回的列表现在将包括关联到异常的任何 注释

traceback.format_exception(exc, /, [value, tb, ]limit=None, chain=True)

格式化一个栈跟踪和异常信息。 参数的含义与传给 print_exception() 的相应参数相同。 返回值是一个字符串列表,每个字符串都以一个换行符结束且有些还包含内部换行符。 当这些行被拼接并打印时,打印的文本与 print_exception() 的完全相同。

在 3.5 版本发生变更: etype 参数会被忽略并根据 value 推断出来。

在 3.10 版本发生变更: 此函数的行为和签名已被修改以与 print_exception() 相匹配。

traceback.format_exc(limit=None, chain=True)

这类似于 print_exc(limit) 但会返回一个字符串而不是打印到一个文件。

traceback.format_tb(tb, limit=None)

format_list(extract_tb(tb, limit)) 的简写形式。

traceback.format_stack(f=None, limit=None)

format_list(extract_stack(f, limit)) 的简写形式。

traceback.clear_frames(tb)

通过调用每个 帧对象clear() 方法来清除 回溯 tb 中所有栈帧的局部变量。

在 3.4 版本加入.

traceback.walk_stack(f)

从给定的帧开始访问 f.f_back 之后的栈内容,产生每一个帧和帧对应的行号。 如果 fNone,则会使用当前栈。 这个辅助函数要与 StackSummary.extract() 一起使用。

在 3.5 版本加入.

traceback.walk_tb(tb)

访问 tb_next 之后的回溯并产生每一个帧和帧对应的行号。 这个辅助函数要与 StackSummary.extract() 一起使用。

在 3.5 版本加入.

此模块还定义了以下的类:

TracebackException 对象

在 3.5 版本加入.

TracebackException 对象基于实际的异常创建通过轻量的方式捕获数据以便随后打印。

class traceback.TracebackException(exc_type, exc_value, exc_traceback, *, limit=None, lookup_lines=True, capture_locals=False, compact=False, max_group_width=15, max_group_depth=10)

捕获一个异常以便随后渲染。 limit, lookup_linescapture_locals 的含义与 StackSummary 类的相同。

如果 compact 为真值,则只有 TracebackExceptionformat() 方法所需要的数据会被保存在类属性性。 特别地,__context__ 字段只有在 __cause__None__suppress_context__ 为假值时才会被计算。

请注意当局部变量被捕获时,它们也会被显示在回溯中。

max_group_widthmax_group_depth 控制异常组的格式化 (参见 BaseExceptionGroup)。 depth 是指分组的嵌套层级,而 width 是指一个异常组的异常数组的大小。 格式化的输出在达到某个限制时将被截断。

在 3.10 版本发生变更: 增加了 compact 形参。

在 3.11 版本发生变更: 添加了 max_group_widthmax_group_depth 形参。parameters.

__cause__

原始 __cause__TracebackException

__context__

原始 __context__TracebackException

exceptions

如果 self 代表一个 ExceptionGroup,此字段将保存一个由代表被嵌套异常的 TracebackException 实例组成的列表。 否则它将为 None

在 3.11 版本加入.

__suppress_context__

来自原始异常的 __suppress_context__ 值。

__notes__

来自原始异常的 __notes__ 值,或者如果异常没有任何注释则为 None。 如果它不为 None 则会在异常字符串之后的回溯中进行格式化。

在 3.11 版本加入.

stack

代表回溯的 StackSummary

exc_type

原始回溯的类。

filename

针对语法错误 —— 错误发生所在的文件名。

lineno

针对语法错误 —— 错误发生所在的行号。

end_lineno

针对语法错误 —— 错误发生所在的末尾行号。 如不存在则可以为 None

在 3.10 版本加入.

text

针对语法错误 —— 错误发生所在的文本。

offset

针对语法错误 —— 错误发生所在的文本内部的偏移量。

end_offset

针对语法错误 —— 错误发生所在的文本末尾偏移量。 如不存在则可以为 None

在 3.10 版本加入.

msg

针对语法错误 —— 编译器错误消息。

classmethod from_exception(exc, *, limit=None, lookup_lines=True, capture_locals=False)

捕获一个异常以便随后渲染。 limit, lookup_linescapture_locals 的含义与 StackSummary 类的相同。

请注意当局部变量被捕获时,它们也会被显示在回溯中。

print(*, file=None, chain=True)

format() 所返回的异常信息打印至 file (默认为 sys.stderr)。

在 3.11 版本加入.

format(*, chain=True)

格式化异常。

如果 chain 不为 True,则 __cause____context__ 将不会被格式化。

返回值是一个字符串的生成器,其中每个字符串都以换行符结束并且有些还会包含内部换行符。 print_exception() 是此方法的一个包装器,它只是将这些行打印到一个文件。

format_exception_only()

格式化回溯的异常部分。

返回值是一个字符串的生成器,每个字符串都以一个换行符结束。

生成器会发出异常消息并附带其注释(如果有注释的话)。 异常消息通常是一个字符串;但是,对于 SyntaxError 异常,它将包含多行并且(当打印时)会显示语法错误发生位置的详细信息。

在 3.11 版本发生变更: 异常的 注释 现在将被包括在输出中。

StackSummary 对象

在 3.5 版本加入.

StackSummary 对象代表一个可被格式化的调用栈。

class traceback.StackSummary
classmethod extract(frame_gen, *, limit=None, lookup_lines=True, capture_locals=False)

根据一个帧生成器(例如由 walk_stack()walk_tb() 所返回的对象)构造 StackSummary 对象。

如果提供了 limit,则只从 frame_gen 提取该参数所指定数量的帧。 如果 lookup_linesFalse,则返回的 FrameSummary 对象将不会读入它们的行,这使得创建 StackSummary 的开销更低(如果它不会被实际格式化这就很有价值)。 如果 capture_localsTrue 则每个 FrameSummary 中的局部变量会被捕获为对象表示形式。

在 3.12 版本发生变更: 在局部变量的 repr() 上被引发的异常(当 capture_localsTrue 时)不会再被传播给调用方。

classmethod from_list(a_list)

从所提供的 FrameSummary 对象列表或旧式的元组列表构造一个 StackSummary 对象。 每个元组都应当是以 文件名, 行号, 名称, 为元素的 4 元组。

format()

返回一个可打印的字符串列表。 结果列表中的每个字符串各自对应来自栈的单独的 。 每个字符串都以一个换行符结束;对于带有源文本行的条目来说,字符串还可能包含内部换行符。

对于同一帧与行的长序列,将显示前几个重复项,后面跟一个指明之后的实际重复次数的摘要行。

在 3.6 版本发生变更: 重复帧的长序列现在将被缩减。

format_frame_summary(frame_summary)

返回用于打印栈中涉及的某一个 的字符串。 此方法会为每个要用 StackSummary.format() 来打印的 FrameSummary 对象进行调用。 如果它返回 None,该帧将从输出中被省略。

在 3.11 版本加入.

FrameSummary 对象

在 3.5 版本加入.

FrameSummary 对象表示 回溯 中的某一个

class traceback.FrameSummary(filename, lineno, name, lookup_line=True, locals=None, line=None)

代表 回溯 或栈中被格式化或打印的一个单独 。 它有时还可能带有包括在其中的帧局部变量的字符串化版本。 如果 lookup_lineFalse,则源代码不会被查找直到 FrameSummaryline 属性已经被访问(这还会在将其转换为 tuple 时发生)。 line 可能会被直接提供,并将完全阻止行查找的发生。 locals 是一个可选的局部变量字典,如果有提供的话这些变量的表示形式将被存储在概要中以便随后显示。

FrameSummary 实例具有以下属性:

filename

对应于该帧的源代码的文件名。 等价于访问 帧对象 f 上的 f.f_code.co_filename

lineno

对应于该帧的源代码的行号。

name

等价于访问 帧对象 f 上的 f.f_code.co_name

line

代表该帧的源代码的字符串,开头和末尾的空白将被去除。 如果源代码不可用,它将为 None

回溯示例

这个简单示例是一个基本的读取-求值-打印循环,类似于(但实用性小于)标准 Python 交互式解释器循环。 对于解释器循环的更完整实现,请参阅 code 模块。

import sys, traceback

def run_user_code(envdir):
    source = input(">>> ")
    try:
        exec(source, envdir)
    except Exception:
        print("Exception in user code:")
        print("-"*60)
        traceback.print_exc(file=sys.stdout)
        print("-"*60)

envdir = {}
while True:
    run_user_code(envdir)

下面的例子演示了打印和格式化异常与回溯的不同方式:

import sys, traceback

def lumberjack():
    bright_side_of_life()

def bright_side_of_life():
    return tuple()[0]

try:
    lumberjack()
except IndexError:
    exc = sys.exception()
    print("*** print_tb:")
    traceback.print_tb(exc.__traceback__, limit=1, file=sys.stdout)
    print("*** print_exception:")
    traceback.print_exception(exc, limit=2, file=sys.stdout)
    print("*** print_exc:")
    traceback.print_exc(limit=2, file=sys.stdout)
    print("*** format_exc, first and last line:")
    formatted_lines = traceback.format_exc().splitlines()
    print(formatted_lines[0])
    print(formatted_lines[-1])
    print("*** format_exception:")
    print(repr(traceback.format_exception(exc)))
    print("*** extract_tb:")
    print(repr(traceback.extract_tb(exc.__traceback__)))
    print("*** format_tb:")
    print(repr(traceback.format_tb(exc.__traceback__)))
    print("*** tb_lineno:", exc.__traceback__.tb_lineno)

该示例的输出看起来像是这样的:

*** print_tb:
  File "<doctest...>", line 10, in <module>
    lumberjack()
*** print_exception:
Traceback (most recent call last):
  File "<doctest...>", line 10, in <module>
    lumberjack()
  File "<doctest...>", line 4, in lumberjack
    bright_side_of_life()
IndexError: tuple index out of range
*** print_exc:
Traceback (most recent call last):
  File "<doctest...>", line 10, in <module>
    lumberjack()
  File "<doctest...>", line 4, in lumberjack
    bright_side_of_life()
IndexError: tuple index out of range
*** format_exc, first and last line:
Traceback (most recent call last):
IndexError: tuple index out of range
*** format_exception:
['Traceback (most recent call last):\n',
 '  File "<doctest default[0]>", line 10, in <module>\n    lumberjack()\n',
 '  File "<doctest default[0]>", line 4, in lumberjack\n    bright_side_of_life()\n',
 '  File "<doctest default[0]>", line 7, in bright_side_of_life\n    return tuple()[0]\n           ~~~~~~~^^^\n',
 'IndexError: tuple index out of range\n']
*** extract_tb:
[<FrameSummary file <doctest...>, line 10 in <module>>,
 <FrameSummary file <doctest...>, line 4 in lumberjack>,
 <FrameSummary file <doctest...>, line 7 in bright_side_of_life>]
*** format_tb:
['  File "<doctest default[0]>", line 10, in <module>\n    lumberjack()\n',
 '  File "<doctest default[0]>", line 4, in lumberjack\n    bright_side_of_life()\n',
 '  File "<doctest default[0]>", line 7, in bright_side_of_life\n    return tuple()[0]\n           ~~~~~~~^^^\n']
*** tb_lineno: 10

下面的例子演示了打印和格式化栈的不同方式:

>>> import traceback
>>> def another_function():
...     lumberstack()
...
>>> def lumberstack():
...     traceback.print_stack()
...     print(repr(traceback.extract_stack()))
...     print(repr(traceback.format_stack()))
...
>>> another_function()
  File "<doctest>", line 10, in <module>
    another_function()
  File "<doctest>", line 3, in another_function
    lumberstack()
  File "<doctest>", line 6, in lumberstack
    traceback.print_stack()
[('<doctest>', 10, '<module>', 'another_function()'),
 ('<doctest>', 3, 'another_function', 'lumberstack()'),
 ('<doctest>', 7, 'lumberstack', 'print(repr(traceback.extract_stack()))')]
['  File "<doctest>", line 10, in <module>\n    another_function()\n',
 '  File "<doctest>", line 3, in another_function\n    lumberstack()\n',
 '  File "<doctest>", line 8, in lumberstack\n    print(repr(traceback.format_stack()))\n']

最后这个例子演示了最后几个格式化函数:

>>> import traceback
>>> traceback.format_list([('spam.py', 3, '<module>', 'spam.eggs()'),
...                        ('eggs.py', 42, 'eggs', 'return "bacon"')])
['  File "spam.py", line 3, in <module>\n    spam.eggs()\n',
 '  File "eggs.py", line 42, in eggs\n    return "bacon"\n']
>>> an_error = IndexError('tuple index out of range')
>>> traceback.format_exception_only(type(an_error), an_error)
['IndexError: tuple index out of range\n']