异常处理¶
本章描述的函数将让你处理和触发 Python 异常。了解一些 Python 异常处理的基本知识是很重要的。 它的工作原理有点像 POSIX 的 errno 变量:(每个线程)有一个全局指示器显示最近发生的错误。 大多数 C API 函数不会在成功时理会它,但会在失败时设置它来指示错误的原因。 多数 C API 函数也返回一个错误指示器,如果它们应该返回一个指针,通常返回 NULL,如果返回一个整数,则返回 -1 (例外: PyArg_*() 函数成功时返回 1 而失败时返回 0)。
具体地说,错误指示器由三个对象指针组成:异常的类型,异常的值,和回溯对象。如果没有错误被设置,这些指针都可以是 NULL (尽管一些组合使禁止的,例如,如果异常类型是 NULL,你不能有一个非 NULL 的回溯)。
当一个函数由于它调用的某个函数失败而必须失败时,通常不会设置错误指示器;它调用的那个函数已经设置了它。而它负责处理错误和清理异常,或在清除其拥有的所有资源后返回(如对象应用或内存分配)。如果不准备处理异常,则 不 应该正常地继续。如果是由于一个错误返回,那么一定要向调用者表明已经设置了错误。如果错误没有得到处理或小心传播,对 Python/C API的其它调用可能不会有预期的行为,并且可能会以某种神秘的方式失败。
注解
错误指示器 不是 sys.exc_info() 的执行结果。前者对应尚未捕获的异常(异常还在传播),而后者在捕获异常后返回这个异常(异常已经停止传播)。
打印和清理¶
- 
void PyErr_Clear()¶
- 清除错误指示器。如果没有设置错误指示器,则不会有作用。 
- 
void PyErr_PrintEx(int set_sys_last_vars)¶
- 将标准回溯打印到 - sys.stderr并清除错误指示器。除非 错误是- SystemExit,这种情况下不会打印回溯进程,且会退出 Python 进程,并显示- SystemExit实例指定的错误代码。- 只有在错误指示器被设置时才需要调用这个函数,否则这会导致错误! - 如果 set_sys_last_vars 非零,则变量 - sys.last_type,- sys.last_value和- sys.last_traceback将分别设置为打印异常的类型,值和回溯。
- 
void PyErr_Print()¶
- PyErr_PrintEx(1)的别名。
- 
void PyErr_WriteUnraisable(PyObject *obj)¶
- 使用当前异常和 obj 参数调用 - sys.unraisablehook()。- 当设置了异常,但解释器不可能实际地触发异常时,这个实用函数向 - sys.stderr打印一个警告信息。例如,当- __del__()方法中发生异常时使用这个函数。- 该函数使用单个参数 obj 进行调用,该参数标识发生不可触发异常的上下文。如果可能,obj 的报告将打印在警告消息中。 - 调用此函数时必须设置一个异常。 
抛出异常¶
这些函数可帮助你设置当前线程的错误指示器。为了方便起见,一些函数将始终返回 NULL 指针,以便用于 return 语句。
- 
void PyErr_SetString(PyObject *type, const char *message)¶
- 这是设置错误标记最常用的方式。 第一个参数指定异常类型;它通常为某个标准异常,例如 - PyExc_RuntimeError。 你不需要增加它的引用计数。 第二个参数是错误消息;它是用- 'utf-8'解码的。
- 
void PyErr_SetObject(PyObject *type, PyObject *value)¶
- 此函数类似于 - PyErr_SetString(),但是允许你为异常的“值”指定任意一个 Python 对象。
- 
PyObject* PyErr_Format(PyObject *exception, const char *format, ...)¶
- Return value: Always NULL.这个函数设置了一个错误指示器并且返回了 NULL,exception 应当是一个 Python 中的异常类。format 和随后的形参会帮助格式化这个错误的信息;它们与PyUnicode_FromFormat()有着相同的含义和值。format 是一个ASCII编码的字符串。
- 
PyObject* PyErr_FormatV(PyObject *exception, const char *format, va_list vargs)¶
- Return value: Always NULL.和 PyErr_Format()相同,但它接受一个va_list类型的参数而不是可变数量的参数集。3.5 新版功能. 
- 
int PyErr_BadArgument()¶
- 这是 - PyErr_SetString(PyExc_TypeError, message)的简写,其中 message 指出使用了非法参数调用内置操作。它主要用于内部使用。
- 
PyObject* PyErr_NoMemory()¶
- Return value: Always NULL.这是 PyErr_SetNone(PyExc_MemoryError)的简写;它返回NULL,以便当内存耗尽时,对象分配函数可以写return PyErr_NoMemory();。
- 
PyObject* PyErr_SetFromErrno(PyObject *type)¶
- Return value: Always NULL.这是个便捷函数,当 C 库函数返回错误并设置 errno时,这个函数会触发异常。它构造一个元组对象,其第一项是整数值errno,第二项是相应的错误消息(从strerror()获取),然后调用PyErr_SetObject(type, object)。在 Unix 上,当errno值是EINTR,即中断的系统调用时,这个函数会调用PyErr_CheckSignals(),如果设置了错误指示器,则将其设置为该值。该函数永远返回NULL,因此当系统调用返回错误时,围绕系统调用的包装函数可以写成return PyErr_SetFromErrno(type);。
- 
PyObject* PyErr_SetFromErrnoWithFilenameObject(PyObject *type, PyObject *filenameObject)¶
- Return value: Always NULL.类似于 PyErr_SetFromErrno(),附加的行为是如果 filenameObject 不为NULL,它将作为第三个参数传递给 type 的构造函数。举个例子,在OSError异常中,filenameObject 将用来定义异常实例的filename属性。
- 
PyObject* PyErr_SetFromErrnoWithFilenameObjects(PyObject *type, PyObject *filenameObject, PyObject *filenameObject2)¶
- Return value: Always NULL.类似于 PyErr_SetFromErrnoWithFilenameObject(),但接受第二个 filename 对象,用于当一个接受两个 filename 的函数失败时触发错误。3.4 新版功能. 
- 
PyObject* PyErr_SetFromErrnoWithFilename(PyObject *type, const char *filename)¶
- Return value: Always NULL.类似于 PyErr_SetFromErrnoWithFilenameObject(),但文件名以 C 字符串形式给出。 filename 是从文件系统编码(os.fsdecode())解码出来的。
- 
PyObject* PyErr_SetFromWindowsErr(int ierr)¶
- Return value: Always NULL.这是触发 WindowsError的便捷函数。如果 lerr 为0,则改用调用GetLastError()返回的错误代码。它调用 Win32 函数FormatMessage()来检索 ierr 或GetLastError()给定的错误代码的 Windows 描述,然后构造一个元组对象,其第一项是 ierr 值,第二项是相应的错误信息(从FormatMessage()获取),然后调用PyErr_SetObject(PyExc_WindowsError, object)。该函数永远返回NULL。可用性: Windows。 
- 
PyObject* PyErr_SetExcFromWindowsErr(PyObject *type, int ierr)¶
- Return value: Always NULL.类似于 PyErr_SetFromWindowsErr(),额外的参数指定要触发的异常类型。可用性: Windows。 
- 
PyObject* PyErr_SetFromWindowsErrWithFilename(int ierr, const char *filename)¶
- Return value: Always NULL.类似于 PyErr_SetFromWindowsErrWithFilenameObject(),但是 filename 是以 C 字符串形式给出的。 filename 是从文件系统编码(os.fsdecode())解码出来的。可用性: Windows。 
- 
PyObject* PyErr_SetExcFromWindowsErrWithFilenameObject(PyObject *type, int ierr, PyObject *filename)¶
- Return value: Always NULL.类似于 PyErr_SetFromWindowsErrWithFilenameObject(),额外参数指定要触发的异常类型。可用性: Windows。 
- 
PyObject* PyErr_SetExcFromWindowsErrWithFilenameObjects(PyObject *type, int ierr, PyObject *filename, PyObject *filename2)¶
- Return value: Always NULL.类似于 PyErr_SetExcFromWindowsErrWithFilenameObject(),但是接受第二个 filename 对象。可用性: Windows。 3.4 新版功能. 
- 
PyObject* PyErr_SetExcFromWindowsErrWithFilename(PyObject *type, int ierr, const char *filename)¶
- Return value: Always NULL.类似于 PyErr_SetFromWindowsErrWithFilename(),额外参数指定要触发的异常类型。可用性: Windows。 
- 
PyObject* PyErr_SetImportError(PyObject *msg, PyObject *name, PyObject *path)¶
- Return value: Always NULL.这是触发 ImportError的便捷函数。 msg 将被设为异常的消息字符串。 name 和 path ,(都可以为NULL),将用来被设置ImportError对应的属性name和path。3.3 新版功能. 
- 
PyObject* PyErr_SetImportErrorSubclass(PyObject *exception, PyObject *msg, PyObject *name, PyObject *path)¶
- Return value: Always NULL.和 PyErr_SetImportError()很类似,但这个函数允许指定一个ImportError的子类来触发。3.6 新版功能. 
- 
void PyErr_SyntaxLocationObject(PyObject *filename, int lineno, int col_offset)¶
- 设置当前异常的文件,行和偏移信息。如果当前异常不是 - SyntaxError,则它设置额外的属性,使异常打印子系统认为异常是- SyntaxError。- 3.4 新版功能. 
- 
void PyErr_SyntaxLocationEx(const char *filename, int lineno, int col_offset)¶
- 与 - PyErr_SyntaxLocationObject()类似,只是 filename 是从文件系统编码(- os.fsdecode())解码出的一个字节字符串。- 3.2 新版功能. 
- 
void PyErr_SyntaxLocation(const char *filename, int lineno)¶
- 类似于 - PyErr_SyntaxLocationEx(),但省略了 col_offset parameter 形参。
- 
void PyErr_BadInternalCall()¶
- 这是 - PyErr_SetString(PyExc_SystemError, message)的缩写,其中 message 表示使用了非法参数调用内部操作(例如,Python/C API 函数)。它主要用于内部使用。
发出警告¶
这些函数可以从 C 代码中发出警告。它们仿照了由 Python 模块 warnings 导出的那些函数。它们通常向 sys.stderr 打印一条警告信息;当然,用户也有可能已经指定将警告转换为错误,在这种情况下,它们将触发异常。也有可能由于警告机制出现问题,使得函数触发异常。如果没有触发异常,返回值为 0 ;如果触发异常,返回值为 -1。(无法确定是否实际打印了警告信息,也无法确定异常触发的原因。这是故意为之)。如果触发了异常,调用者应该进行正常的异常处理(例如,Py_DECREF() 持有引用并返回一个错误值)。
- 
int PyErr_WarnEx(PyObject *category, const char *message, Py_ssize_t stack_level)¶
- 发出一个警告信息。参数 category 是一个警告类别(见下面)或 - NULL; message 是一个 UTF-8 编码的字符串。 stack_level 是一个给出栈帧数量的正数;警告将从该栈帧中当前正在执行的代码行发出。 stack_level 为 1 的是调用- PyErr_WarnEx()的函数,2 是在此之上的函数,以此类推。- 警告类别必须是 - PyExc_Warning的子类,- PyExc_Warning是- PyExc_Exception的子类;默认警告类别是- PyExc_RuntimeWarning。标准 Python 警告类别作为全局变量可用,所有其名称见 标准警告类别 。
- 
int PyErr_WarnExplicitObject(PyObject *category, PyObject *message, PyObject *filename, int lineno, PyObject *module, PyObject *registry)¶
- 发出一个对所有警告属性进行显式控制的警告消息。 这是位于 Python 函数 - warnings.warn_explicit()外层的直接包装;请查看其文档了解详情。 module 和 registry 参数可被设为- NULL以得到相关文档所描述的默认效果。- 3.4 新版功能. 
- 
int PyErr_WarnExplicit(PyObject *category, const char *message, const char *filename, int lineno, const char *module, PyObject *registry)¶
- Similar to - PyErr_WarnExplicitObject()except that message and module are UTF-8 encoded strings, and filename is decoded from the filesystem encoding (- os.fsdecode()).
- 
int PyErr_WarnFormat(PyObject *category, Py_ssize_t stack_level, const char *format, ...)¶
- 类似于 - PyErr_WarnEx()的函数,但使用- PyUnicode_FromFormat()来格式化警告消息。 format 是使用 ASCII 编码的字符串。- 3.2 新版功能. 
- 
int PyErr_ResourceWarning(PyObject *source, Py_ssize_t stack_level, const char *format, ...)¶
- 类似于 - PyErr_WarnFormat()的函数,但 category 是- ResourceWarning并且它会将 source 传给- warnings.WarningMessage()。- 3.6 新版功能. 
查询错误指示器¶
- 
PyObject* PyErr_Occurred()¶
- Return value: Borrowed reference.检测是否设置了错误指示器。 如已设置,则返回异常 type (传给最近一次对某个 PyErr_Set*()函数或PyErr_Restore()的调用的第一个参数)。 如未设置,则返回NULL。 你并不拥有对返回值的引用,因此你不需要对它执行Py_DECREF()。调用时必须携带GIL。 注解 不要将返回值与特定的异常进行比较;请改为使用 PyErr_ExceptionMatches(),如下所示。 (比较很容易失败因为对于类异常来说,异常可能是一个实例而不是类,或者它可能是预期的异常的一个子类。)
- 
int PyErr_ExceptionMatches(PyObject *exc)¶
- 等价于 - PyErr_GivenExceptionMatches(PyErr_Occurred(), exc)。 此函数应当只在实际设置了异常时才被调用;如果没有任何异常被引发则将发生非法内存访问。
- 
int PyErr_GivenExceptionMatches(PyObject *given, PyObject *exc)¶
- 如果 given 异常与 exc 中的异常类型相匹配则返回真值。 如果 exc 是一个类对象,则当 given 是一个子类的实例时也将返回真值。 如果 exc 是一个元组,则该元组(以及递归的子元组)中的所有异常类型都将被搜索进行匹配。 
- 
void PyErr_Fetch(PyObject **ptype, PyObject **pvalue, PyObject **ptraceback)¶
- 将错误指示符提取到三个变量中并传递其地址。 如果未设置错误指示符,则将三个变量都设为 - NULL。 如果已设置,则将其清除并且你将得到对所提取的每个对象的引用。 值和回溯对象可以为- NULL即使类型对象不为空。- 注解 - 此函数通常只被需要捕获异常的代码或需要临时保存和恢复错误指示符的代码所使用,例如: - { PyObject *type, *value, *traceback; PyErr_Fetch(&type, &value, &traceback); /* ... code that might produce other errors ... */ PyErr_Restore(type, value, traceback); } 
- 
void PyErr_Restore(PyObject *type, PyObject *value, PyObject *traceback)¶
- 基于三个对象设置错误指示符。 如果错误指示符已设置,它将首先被清除。 如果三个对象均为 - NULL,错误指示器将被清除。 请不要传入- NULL类型和非- NULL值或回溯。 异常类型应当是一个类。 请不要传入无效的异常类型或值。 (违反这些规则将导致微妙的后续问题。) 此调用会带走对每个对象的引用:你必须在调用之前拥有对每个对象的引用且在调用之后你将不再拥有这些引用。 (如果你不理解这一点,就不要使用此函数。 勿谓言之不预。)- 注解 - 此函数通常只被需要临时保存和恢复错误指示符的代码所使用。 请使用 - PyErr_Fetch()来保存当前的错误指示符。
- 
void PyErr_NormalizeException(PyObject **exc, PyObject **val, PyObject **tb)¶
- 在特定情况下,下面 - PyErr_Fetch()所返回的值可以是“非正规化的”,即- *exc是一个类对象而- *val不是同一个类的实例。 在这种情况下此函数可以被用来实例化类。 如果值已经是正规化的,则不做任何操作。 实现这种延迟正规化是为了提升性能。- 注解 - 此函数 不会 显式地在异常值上设置 - __traceback__属性。 如果想要适当地设置回溯,还需要以下附加代码片段:- if (tb != NULL) { PyException_SetTraceback(val, tb); } 
- 
void PyErr_GetExcInfo(PyObject **ptype, PyObject **pvalue, PyObject **ptraceback)¶
- 提取异常信息,即从 - sys.exc_info()所得到的。 这是指一个 已被捕获 的异常,而不是刚被引发的异常。 返回分别指向三个对象的新引用,其中任何一个均可以为- NULL。 不会修改异常信息的状态。- 注解 - 此函数通常不会被需要处理异常的代码所使用。 它被使用的场合是在代码需要临时保存并恢复异常状态的时候。 请使用 - PyErr_SetExcInfo()来恢复或清除异常状态。- 3.3 新版功能. 
- 
void PyErr_SetExcInfo(PyObject *type, PyObject *value, PyObject *traceback)¶
- 设置异常信息,即从 - sys.exc_info()所得到的。 这是指一个 已被捕获 的异常,而不是刚被引发的异常。 此函数会偷取对参数的引用。 要清空异常状态,请为所有三个参数传入- NULL。 对于有关三个参数的一般规则,请参阅- PyErr_Restore()。- 注解 - 此函数通常不会被需要处理异常的代码所使用。 它被使用的场合是在代码需要临时保存并恢复异常状态的情况。 请使用 - PyErr_GetExcInfo()来读取异常状态。- 3.3 新版功能. 
信号处理¶
- 
int PyErr_CheckSignals()¶
- This function interacts with Python's signal handling. It checks whether a signal has been sent to the processes and if so, invokes the corresponding signal handler. If the - signalmodule is supported, this can invoke a signal handler written in Python. In all cases, the default effect for- SIGINTis to raise the- KeyboardInterruptexception. If an exception is raised the error indicator is set and the function returns- -1; otherwise the function returns- 0. The error indicator may or may not be cleared if it was previously set.
- 
void PyErr_SetInterrupt()¶
- Simulate the effect of a - SIGINTsignal arriving. The next time- PyErr_CheckSignals()is called, the Python signal handler for- SIGINTwill be called.- 如果 Python 没有处理 - signal.SIGINT(将它设为- signal.SIG_DFL或- signal.SIG_IGN),此函数将不做任何事。
- 
int PySignal_SetWakeupFd(int fd)¶
- 这个工具函数指定了一个每当收到信号时将被作为以单个字节的形式写入信号编号的目标的文件描述符。 fd 必须是非阻塞的。 它将返回前一个这样的文件描述符。 - 设置值 - -1将禁用该特性;这是初始状态。 这等价于 Python 中的- signal.set_wakeup_fd(),但是没有任何错误检查。 fd 应当是一个有效的文件描述符。 此函数应当只从主线程来调用。- 在 3.5 版更改: 在 Windows 上,此函数现在也支持套接字处理。 
Exception 类¶
- 
PyObject* PyErr_NewException(const char *name, PyObject *base, PyObject *dict)¶
- Return value: New reference.这个工具函数会创建并返回一个新的异常类。 name 参数必须为新异常的名称,是 module.classname形式的 C 字符串。 base 和 dict 参数通常为NULL。 这将创建一个派生自Exception的类对象(在 C 中可以通过PyExc_Exception访问)。新类的 __module__属性将被设为 name 参数的前半部分(最后一个点号之前),而类名将被设为后半部分(最后一个点号之后)。 base 参数可被用来指定替代基类;它可以是一个类或是一个由类组成的元组。 dict 参数可被用来指定一个由类变量和方法组成的字典。
- 
PyObject* PyErr_NewExceptionWithDoc(const char *name, const char *doc, PyObject *base, PyObject *dict)¶
- Return value: New reference.和 PyErr_NewException()一样,除了可以轻松地给新的异常类一个文档字符串:如果 doc 属性非空,它将用作异常类的文档字符串。3.2 新版功能. 
异常对象¶
- 
PyObject* PyException_GetTraceback(PyObject *ex)¶
- Return value: New reference.将与异常相关联的回溯作为一个新引用返回,可以通过 __traceback__在 Python 中访问。 如果没有已关联的回溯,则返回NULL。
- 
PyObject* PyException_GetContext(PyObject *ex)¶
- Return value: New reference.将与异常相关联的上下文(在处理 ex 的过程中引发的另一个异常实例)作为一个新引用返回,可以通过 __context__在 Python 中访问。 如果没有已关联的上下文,则返回NULL。
- 
void PyException_SetContext(PyObject *ex, PyObject *ctx)¶
- 将与异常相关联的上下文设置为 ctx。 使用 - NULL来清空它。 没有用来确保 ctx 是一个异常实例的类型检查。 这将窃取一个指向 ctx 的引用。
Unicode 异常对象¶
下列函数被用于创建和修改来自 C 的 Unicode 异常。
- 
PyObject* PyUnicodeDecodeError_Create(const char *encoding, const char *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)¶
- Return value: New reference.创建一个 UnicodeDecodeError对象并附带 encoding, object, length, start, end 和 reason 等属性。 encoding 和 reason 为 UTF-8 编码的字符串。
- 
PyObject* PyUnicodeEncodeError_Create(const char *encoding, const Py_UNICODE *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)¶
- Return value: New reference.创建一个 UnicodeEncodeError对象并附带 encoding, object, length, start, end 和 reason。 encoding 和 reason 都是以 UTF-8 编码的字符串。3.3 版后已移除: 3.11 Py_UNICODE自 Python 3.3 起已被弃用。 请迁移至PyObject_CallFunction(PyExc_UnicodeEncodeError, "sOnns", ...)。
- 
PyObject* PyUnicodeTranslateError_Create(const Py_UNICODE *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)¶
- Return value: New reference.创建一个 UnicodeTranslateError对象并附带 object, length, start, end 和 reason。 reason 是一个以 UTF-8 编码的字符串。3.3 版后已移除: 3.11 Py_UNICODE自 Python 3.3 起已被弃用。 请迁移至PyObject_CallFunction(PyExc_UnicodeTranslateError, "Onns", ...)。
- 
PyObject* PyUnicodeDecodeError_GetEncoding(PyObject *exc)¶
- 
PyObject* PyUnicodeEncodeError_GetEncoding(PyObject *exc)¶
- Return value: New reference.返回给定异常对象的 encoding 属性 
- 
PyObject* PyUnicodeDecodeError_GetObject(PyObject *exc)¶
- 
PyObject* PyUnicodeEncodeError_GetObject(PyObject *exc)¶
- 
PyObject* PyUnicodeTranslateError_GetObject(PyObject *exc)¶
- Return value: New reference.返回给定异常对象的 object 属性 
- 
int PyUnicodeDecodeError_GetStart(PyObject *exc, Py_ssize_t *start)¶
- 
int PyUnicodeEncodeError_GetStart(PyObject *exc, Py_ssize_t *start)¶
- 
int PyUnicodeTranslateError_GetStart(PyObject *exc, Py_ssize_t *start)¶
- 获取给定异常对象的 start 属性并将其放入 *start。 start 必须不为 - NULL。 成功时返回- 0,失败时返回- -1。
- 
int PyUnicodeDecodeError_SetStart(PyObject *exc, Py_ssize_t start)¶
- 
int PyUnicodeEncodeError_SetStart(PyObject *exc, Py_ssize_t start)¶
- 
int PyUnicodeTranslateError_SetStart(PyObject *exc, Py_ssize_t start)¶
- 将给定异常对象的 start 属性设为 start。 成功时返回 - 0,失败时返回- -1。
- 
int PyUnicodeDecodeError_GetEnd(PyObject *exc, Py_ssize_t *end)¶
- 
int PyUnicodeEncodeError_GetEnd(PyObject *exc, Py_ssize_t *end)¶
- 
int PyUnicodeTranslateError_GetEnd(PyObject *exc, Py_ssize_t *end)¶
- 获取给定异常对象的 end 属性并将其放入 *end。 end 必须不为 - NULL。 成功时返回- 0,失败时返回- -1。
- 
int PyUnicodeDecodeError_SetEnd(PyObject *exc, Py_ssize_t end)¶
- 
int PyUnicodeEncodeError_SetEnd(PyObject *exc, Py_ssize_t end)¶
- 
int PyUnicodeTranslateError_SetEnd(PyObject *exc, Py_ssize_t end)¶
- 将给定异常对象的 end 属性设为 end。 成功时返回 - 0,失败时返回- -1。
递归控制¶
这两个函数提供了一种在 C 层级上进行安全的递归调用的方式,在核心模块与扩展模块中均适用。 当递归代码不一定会唤起 Python 代码(后者会自动跟踪其递归深度)时就需要用到它们。 它们对于 tp_call 实现来说也无必要因为 调用协议 会负责递归处理。
- 
int Py_EnterRecursiveCall(const char *where)¶
- 标记一个递归的 C 层级调用即将被执行的点位。 - 如果定义了 - USE_STACKCHECK,此函数会使用- PyOS_CheckStack()来检查操作系统堆栈是否溢出。 在这种情况下,它将设置一个- MemoryError并返回非零值。- 随后此函数将检查是否达到递归限制。 如果是的话,将设置一个 - RecursionError并返回一个非零值。 在其他情况下,则返回零。- where 应为一个 UTF-8 编码的字符串如 - " in instance check",它将与由递归深度限制所导致的- RecursionError消息相拼接。- 在 3.9 版更改: 此函数现在也在受限 API 中可用。 
- 
void Py_LeaveRecursiveCall(void)¶
- 结束一个 - Py_EnterRecursiveCall()。 必须针对- Py_EnterRecursiveCall()的每个 成功的 唤起操作执行一次调用。- 在 3.9 版更改: 此函数现在也在受限 API 中可用。 
正确地针对容器类型实现 tp_repr 需要特别的递归处理。 在保护栈之外,tp_repr 还需要追踪对象以防止出现循环。 以下两个函数将帮助完成此功能。 从实际效果来说,这两个函数是 C 中对应 reprlib.recursive_repr() 的等价物。
- 
int Py_ReprEnter(PyObject *object)¶
- 在 - tp_repr实现的开头被调用以检测循环。- 如果对象已经被处理,此函数将返回一个正整数。 在此情况下 - tp_repr实现应当返回一个指明发生循环的字符串对象。 例如,- dict对象将返回- {...}而- list对象将返回- [...]。- 如果已达到递归限制则此函数将返回一个负正数。 在此情况下 - tp_repr实现通常应当返回- NULL。- 在其他情况下,此函数将返回零而 - tp_repr实现将可正常继续。
- 
void Py_ReprLeave(PyObject *object)¶
- 结束一个 - Py_ReprEnter()。 必须针对每个返回零的- Py_ReprEnter()的唤起操作调用一次。
标准异常¶
所有的 Python 标准异常都可用作全局变量,其名称为 PyExc_ 跟上 Python 异常名称。这些变量是 PyObject* 类型;都是类对象。下面列出了全部这些用作标准异常的变量:
| C 名称 | Python 名称 | 备注 | 
|---|---|---|
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | 
3.3 新版功能: PyExc_BlockingIOError, PyExc_BrokenPipeError, PyExc_ChildProcessError, PyExc_ConnectionError, PyExc_ConnectionAbortedError, PyExc_ConnectionRefusedError, PyExc_ConnectionResetError, PyExc_FileExistsError, PyExc_FileNotFoundError, PyExc_InterruptedError, PyExc_IsADirectoryError, PyExc_NotADirectoryError, PyExc_PermissionError, PyExc_ProcessLookupError and PyExc_TimeoutError 介绍如下 PEP 3151.
3.5 新版功能: PyExc_StopAsyncIteration 和 PyExc_RecursionError.
3.6 新版功能: PyExc_ModuleNotFoundError.
这些是兼容性别名 PyExc_OSError:
| C 名称 | 备注 | 
|---|---|
| 
 | |
| 
 | |
| 
 | 
在 3.3 版更改: 这些别名曾经是单独的异常类型。
注释:
标准警告类别¶
所有的标准 Python 警告类别都可以用作全局变量,其名称为``PyExc_`` 跟上 Python 异常名称。这些变量是 PyObject* 类型;都是类对象。以下列出了所有用作警告的变量:
| C 名称 | Python 名称 | 备注 | 
|---|---|---|
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | ||
| 
 | 
3.2 新版功能: PyExc_ResourceWarning.
注释:
- 3
- 这是其他标准警告类别的基类。