Exception Handling¶
The functions described in this chapter will let you handle and raise Pythonexceptions. It is important to understand some of the basics of Pythonexception handling. It works somewhat like the Unixerrno variable:there is a global indicator (per thread) of the last error that occurred. Mostfunctions don’t clear this on success, but will set it to indicate the cause ofthe error on failure. Most functions also return an error indicator, usuallyNULL if they are supposed to return a pointer, or-1 if they return aninteger (exception: thePyArg_*() functions return1 for success and0 for failure).
When a function must fail because some function it called failed, it generallydoesn’t set the error indicator; the function it called already set it. It isresponsible for either handling the error and clearing the exception orreturning after cleaning up any resources it holds (such as object references ormemory allocations); it shouldnot continue normally if it is not prepared tohandle the error. If returning due to an error, it is important to indicate tothe caller that an error has been set. If the error is not handled or carefullypropagated, additional calls into the Python/C API may not behave as intendedand may fail in mysterious ways.
The error indicator consists of three Python objects corresponding to thePython variablessys.exc_type,sys.exc_value andsys.exc_traceback.API functions exist to interact with the error indicator in various ways. Thereis a separate error indicator for each thread.
- void
PyErr_PrintEx(int set_sys_last_vars)¶ Print a standard traceback to
sys.stderrand clear the error indicator.Unless the error is aSystemExit. In that case the no tracebackis printed and Python process will exit with the error code specified bytheSystemExitinstance.Call this functiononly when the error indicator is set. Otherwise itwill cause a fatal error!
Ifset_sys_last_vars is nonzero, the variables
sys.last_type,sys.last_valueandsys.last_tracebackwill be set to thetype, value and traceback of the printed exception, respectively.
- void
PyErr_Print()¶ Alias for
PyErr_PrintEx(1).
- PyObject*
PyErr_Occurred()¶ - Return value: Borrowed reference.
Test whether the error indicator is set. If set, return the exceptiontype(the first argument to the last call to one of the
PyErr_Set*()functions or toPyErr_Restore()). If not set, returnNULL. You do notown a reference to the return value, so you do not need toPy_DECREF()it.Note
Do not compare the return value to a specific exception; use
PyErr_ExceptionMatches()instead, shown below. (The comparison couldeasily fail since the exception may be an instance instead of a class, in thecase of a class exception, or it may be a subclass of the expected exception.)
- int
PyErr_ExceptionMatches(PyObject *exc)¶ Equivalent to
PyErr_GivenExceptionMatches(PyErr_Occurred(),exc). Thisshould only be called when an exception is actually set; a memory accessviolation will occur if no exception has been raised.
- int
PyErr_GivenExceptionMatches(PyObject *given,PyObject *exc)¶ Return true if thegiven exception matches the exception inexc. Ifexc is a class object, this also returns true whengiven is an instanceof a subclass. Ifexc is a tuple, all exceptions in the tuple (andrecursively in subtuples) are searched for a match.
- void
PyErr_NormalizeException(PyObject**exc,PyObject**val,PyObject**tb)¶ Under certain circumstances, the values returned by
PyErr_Fetch()belowcan be “unnormalized”, meaning that*excis a class object but*valisnot an instance of the same class. This function can be used to instantiatethe class in that case. If the values are already normalized, nothing happens.The delayed normalization is implemented to improve performance.
- void
PyErr_Clear()¶ Clear the error indicator. If the error indicator is not set, there is noeffect.
- void
PyErr_Fetch(PyObject **ptype,PyObject **pvalue,PyObject **ptraceback)¶ Retrieve the error indicator into three variables whose addresses are passed.If the error indicator is not set, set all three variables toNULL. If it isset, it will be cleared and you own a reference to each object retrieved. Thevalue and traceback object may beNULL even when the type object is not.
Note
This function is normally only used by code that needs to handle exceptions orby code that needs to save and restore the error indicator temporarily.
- void
PyErr_Restore(PyObject *type,PyObject *value,PyObject *traceback)¶ Set the error indicator from the three objects. If the error indicator isalready set, it is cleared first. If the objects areNULL, the errorindicator is cleared. Do not pass aNULL type and non-NULL value ortraceback. The exception type should be a class. Do not pass an invalidexception type or value. (Violating these rules will cause subtle problemslater.) This call takes away a reference to each object: you must own areference to each object before the call and after the call you no longer ownthese references. (If you don’t understand this, don’t use this function. Iwarned you.)
Note
This function is normally only used by code that needs to save and restore theerror indicator temporarily; use
PyErr_Fetch()to save the currentexception state.
- void
PyErr_SetString(PyObject *type, const char *message)¶ This is the most common way to set the error indicator. The first argumentspecifies the exception type; it is normally one of the standard exceptions,e.g.
PyExc_RuntimeError. You need not increment its reference count.The second argument is an error message; it is converted to a string object.
- void
PyErr_SetObject(PyObject *type,PyObject *value)¶ This function is similar to
PyErr_SetString()but lets you specify anarbitrary Python object for the “value” of the exception.
- PyObject*
PyErr_Format(PyObject *exception, const char *format, ...)¶ - Return value: Always NULL.
This function sets the error indicator and returnsNULL.exceptionshould be a Python exception class. Theformat and subsequentparameters help format the error message; they have the same meaning andvalues as in
PyString_FromFormat().
- int
PyErr_BadArgument()¶ This is a shorthand for
PyErr_SetString(PyExc_TypeError,message), wheremessage indicates that a built-in operation was invoked with an illegalargument. It is mostly for internal use.
- PyObject*
PyErr_NoMemory()¶ - Return value: Always NULL.
This is a shorthand for
PyErr_SetNone(PyExc_MemoryError); it returnsNULLso an object allocation function can writereturnPyErr_NoMemory();when itruns out of memory.
- PyObject*
PyErr_SetFromErrno(PyObject *type)¶ - Return value: Always NULL.
This is a convenience function to raise an exception when a C library functionhas returned an error and set the C variable
errno. It constructs atuple object whose first item is the integererrnovalue and whosesecond item is the corresponding error message (gotten fromstrerror()),and then callsPyErr_SetObject(type,object). On Unix, when theerrnovalue isEINTR, indicating an interrupted system call,this callsPyErr_CheckSignals(), and if that set the error indicator,leaves it set to that. The function always returnsNULL, so a wrapperfunction around a system call can writereturnPyErr_SetFromErrno(type);when the system call returns an error.
- PyObject*
PyErr_SetFromErrnoWithFilenameObject(PyObject *type,PyObject *filenameObject)¶ Similar to
PyErr_SetFromErrno(), with the additional behavior that iffilenameObject is notNULL, it is passed to the constructor oftype asa third parameter. In the case of exceptions such asIOErrorandOSError, this is used to define thefilenameattribute of theexception instance.
- PyObject*
PyErr_SetFromErrnoWithFilename(PyObject *type, const char *filename)¶ - Return value: Always NULL.
Similar to
PyErr_SetFromErrnoWithFilenameObject(), but the filenameis given as a C string.
- PyObject*
PyErr_SetFromWindowsErr(int ierr)¶ - Return value: Always NULL.
This is a convenience function to raise
WindowsError. If called withierr of0, the error code returned by a call toGetLastError()is used instead. It calls the Win32 functionFormatMessage()to retrievethe Windows description of error code given byierr orGetLastError(),then it constructs a tuple object whose first item is theierr value and whosesecond item is the corresponding error message (gotten fromFormatMessage()), and then callsPyErr_SetObject(PyExc_WindowsError,object). This function always returnsNULL. Availability: Windows.
- PyObject*
PyErr_SetExcFromWindowsErr(PyObject *type, int ierr)¶ - Return value: Always NULL.
Similar to
PyErr_SetFromWindowsErr(), with an additional parameterspecifying the exception type to be raised. Availability: Windows.New in version 2.3.
- PyObject*
PyErr_SetFromWindowsErrWithFilenameObject(int ierr,PyObject *filenameObject)¶ Similar to
PyErr_SetFromWindowsErr(), with the additional behavior thatiffilenameObject is notNULL, it is passed to the constructor ofWindowsErroras a third parameter. Availability: Windows.
- PyObject*
PyErr_SetFromWindowsErrWithFilename(int ierr, const char *filename)¶ - Return value: Always NULL.
Similar to
PyErr_SetFromWindowsErrWithFilenameObject(), but thefilename is given as a C string. Availability: Windows.
- PyObject*
PyErr_SetExcFromWindowsErrWithFilenameObject(PyObject *type, int ierr,PyObject *filename)¶ Similar to
PyErr_SetFromWindowsErrWithFilenameObject(), with anadditional parameter specifying the exception type to be raised.Availability: Windows.New in version 2.3.
- PyObject*
PyErr_SetExcFromWindowsErrWithFilename(PyObject *type, int ierr, const char *filename)¶ - Return value: Always NULL.
Similar to
PyErr_SetFromWindowsErrWithFilename(), with an additionalparameter specifying the exception type to be raised. Availability: Windows.New in version 2.3.
- void
PyErr_BadInternalCall()¶ This is a shorthand for
PyErr_SetString(PyExc_SystemError,message),wheremessage indicates that an internal operation (e.g. a Python/C APIfunction) was invoked with an illegal argument. It is mostly for internaluse.
- int
PyErr_WarnEx(PyObject *category, char *message, int stacklevel)¶ Issue a warning message. Thecategory argument is a warning category (seebelow) orNULL; themessage argument is a message string.stacklevel is apositive number giving a number of stack frames; the warning will be issued fromthe currently executing line of code in that stack frame. Astacklevel of 1is the function calling
PyErr_WarnEx(), 2 is the function above that,and so forth.This function normally prints a warning message tosys.stderr; however, it isalso possible that the user has specified that warnings are to be turned intoerrors, and in that case this will raise an exception. It is also possible thatthe function raises an exception because of a problem with the warning machinery(the implementation imports the
warningsmodule to do the heavy lifting).The return value is0if no exception is raised, or-1if an exceptionis raised. (It is not possible to determine whether a warning message isactually printed, nor what the reason is for the exception; this isintentional.) If an exception is raised, the caller should do its normalexception handling (for example,Py_DECREF()owned references and returnan error value).Warning categories must be subclasses of
PyExc_Warning;PyExc_Warningis a subclass ofPyExc_Exception;the default warning category isPyExc_RuntimeWarning. The standardPython warning categories are available as global variables whose names areenumerated atStandard Warning Categories.For information about warning control, see the documentation for the
warningsmodule and the-Woption in the command linedocumentation. There is no C API for warning control.
- int
PyErr_Warn(PyObject *category, char *message)¶ Issue a warning message. Thecategory argument is a warning category (seebelow) orNULL; themessage argument is a message string. The warning willappear to be issued from the function calling
PyErr_Warn(), equivalent tocallingPyErr_WarnEx()with astacklevel of 1.Deprecated; use
PyErr_WarnEx()instead.
- int
PyErr_WarnExplicit(PyObject *category, const char *message, const char *filename, int lineno, const char *module,PyObject *registry)¶ Issue a warning message with explicit control over all warning attributes. Thisis a straightforward wrapper around the Python function
warnings.warn_explicit(), see there for more information. Themoduleandregistry arguments may be set toNULL to get the default effectdescribed there.
- int
PyErr_WarnPy3k(char *message, int stacklevel)¶ Issue a
DeprecationWarningwith the givenmessage andstacklevelif thePy_Py3kWarningFlagflag is enabled.New in version 2.6.
- int
PyErr_CheckSignals()¶ This function interacts with Python’s signal handling. It checks whether asignal has been sent to the processes and if so, invokes the correspondingsignal handler. If the
signalmodule is supported, this can invoke asignal handler written in Python. In all cases, the default effect forSIGINTis to raise theKeyboardInterruptexception. If anexception is raised the error indicator is set and the function returns-1;otherwise the function returns0. The error indicator may or may not becleared if it was previously set.
- void
PyErr_SetInterrupt()¶ This function simulates the effect of a
SIGINTsignal arriving — thenext timePyErr_CheckSignals()is called,KeyboardInterruptwillbe raised. It may be called without holding the interpreter lock.
- int
PySignal_SetWakeupFd(int fd)¶ This utility function specifies a file descriptor to which a
'\0'byte willbe written whenever a signal is received. It returns the previous such filedescriptor. The value-1disables the feature; this is the initial state.This is equivalent tosignal.set_wakeup_fd()in Python, but without anyerror checking.fd should be a valid file descriptor. The function shouldonly be called from the main thread.New in version 2.6.
- PyObject*
PyErr_NewException(char *name,PyObject *base,PyObject *dict)¶ - Return value: New reference.
This utility function creates and returns a new exception class. Thenameargument must be the name of the new exception, a C string of the form
module.classname. Thebase anddict arguments are normallyNULL.This creates a class object derived fromException(accessible in C asPyExc_Exception).The
__module__attribute of the new class is set to the first part (upto the last dot) of thename argument, and the class name is set to the lastpart (after the last dot). Thebase argument can be used to specify alternatebase classes; it can either be only one class or a tuple of classes. Thedictargument can be used to specify a dictionary of class variables and methods.
- PyObject*
PyErr_NewExceptionWithDoc(char *name, char *doc,PyObject *base,PyObject *dict)¶ - Return value: New reference.
Same as
PyErr_NewException(), except that the new exception class caneasily be given a docstring: Ifdoc is non-NULL, it will be used as thedocstring for the exception class.New in version 2.7.
- void
PyErr_WriteUnraisable(PyObject *obj)¶ This utility function prints a warning message to
sys.stderrwhen anexception has been set but it is impossible for the interpreter to actuallyraise the exception. It is used, for example, when an exception occurs in an__del__()method.The function is called with a single argumentobj that identifies the contextin which the unraisable exception occurred. If possible,the repr ofobj will be printed in the warning message.
Unicode Exception Objects¶
The following functions are used to create and modify Unicode exceptions from C.
- PyObject*
PyUnicodeDecodeError_Create(const char *encoding, const char *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)¶ Create a
UnicodeDecodeErrorobject with the attributesencoding,object,length,start,end andreason.
- PyObject*
PyUnicodeEncodeError_Create(const char *encoding, constPy_UNICODE *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)¶ Create a
UnicodeEncodeErrorobject with the attributesencoding,object,length,start,end andreason.
- PyObject*
PyUnicodeTranslateError_Create(constPy_UNICODE *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)¶ Create a
UnicodeTranslateErrorobject with the attributesobject,length,start,end andreason.
- PyObject*
PyUnicodeDecodeError_GetEncoding(PyObject *exc)¶ - PyObject*
PyUnicodeEncodeError_GetEncoding(PyObject *exc)¶ Return theencoding attribute of the given exception object.
- PyObject*
PyUnicodeDecodeError_GetObject(PyObject *exc)¶ - PyObject*
PyUnicodeEncodeError_GetObject(PyObject *exc)¶ - PyObject*
PyUnicodeTranslateError_GetObject(PyObject *exc)¶ Return theobject attribute of the given exception 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)¶ Get thestart attribute of the given exception object and place it into*start.start must not beNULL. Return
0on success,-1onfailure.
- 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)¶ Set thestart attribute of the given exception object tostart. Return
0on success,-1on failure.
- 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)¶ Get theend attribute of the given exception object and place it into*end.end must not beNULL. Return
0on success,-1onfailure.
- 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)¶ Set theend attribute of the given exception object toend. Return
0on success,-1on failure.
- PyObject*
PyUnicodeDecodeError_GetReason(PyObject *exc)¶ - PyObject*
PyUnicodeEncodeError_GetReason(PyObject *exc)¶ - PyObject*
PyUnicodeTranslateError_GetReason(PyObject *exc)¶ Return thereason attribute of the given exception object.
- int
PyUnicodeDecodeError_SetReason(PyObject *exc, const char *reason)¶ - int
PyUnicodeEncodeError_SetReason(PyObject *exc, const char *reason)¶ - int
PyUnicodeTranslateError_SetReason(PyObject *exc, const char *reason)¶ Set thereason attribute of the given exception object toreason. Return
0on success,-1on failure.
Recursion Control¶
These two functions provide a way to perform safe recursive calls at the Clevel, both in the core and in extension modules. They are needed if therecursive code does not necessarily invoke Python code (which tracks itsrecursion depth automatically).
- int
Py_EnterRecursiveCall(const char *where)¶ Marks a point where a recursive C-level call is about to be performed.
If
USE_STACKCHECKis defined, this function checks if the OSstack overflowed usingPyOS_CheckStack(). In this is the case, itsets aMemoryErrorand returns a nonzero value.The function then checks if the recursion limit is reached. If this is thecase, a
RuntimeErroris set and a nonzero value is returned.Otherwise, zero is returned.where should be a string such as
"ininstancecheck"to beconcatenated to theRuntimeErrormessage caused by the recursion depthlimit.
- void
Py_LeaveRecursiveCall()¶ Ends a
Py_EnterRecursiveCall(). Must be called once for eachsuccessful invocation ofPy_EnterRecursiveCall().
Standard Exceptions¶
All standard Python exceptions are available as global variables whose names arePyExc_ followed by the Python exception name. These have the typePyObject*; they are all class objects. For completeness, here are allthe variables:
C Name | Python Name | Notes |
|---|---|---|
| (1), (4) | |
| (1) | |
| (1) | |
| (1) | |
| ||
| ||
| ||
| (1) | |
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| (1) | |
| ||
| ||
| ||
| ||
| ||
| (2) | |
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| (5) | |
| ||
| (3) | |
|
Notes:
This is a base class for other standard exceptions.
This is the same as
weakref.ReferenceError.Only defined on Windows; protect code that uses this by testing that thepreprocessor macro
MS_WINDOWSis defined.New in version 2.5.
Only defined on VMS; protect code that uses this by testing that thepreprocessor macro
__VMSis defined.
Standard Warning Categories¶
All standard Python warning categories are available as global variables whosenames arePyExc_ followed by the Python exception name. These have the typePyObject*; they are all class objects. For completeness, here are allthe variables:
C Name | Python Name | Notes |
|---|---|---|
| (1) | |
| ||
| ||
| ||
| ||
| ||
| ||
| ||
| ||
|
Notes:
This is a base class for other standard warning categories.
String Exceptions¶
Changed in version 2.6:All exceptions to be raised or caught must be derived fromBaseException.Trying to raise a string exception now raisesTypeError.
