cpython/Doc/lib/libexcs.tex

462 lines
18 KiB
TeX

\section{Built-in Exceptions}
\declaremodule{standard}{exceptions}
\modulesynopsis{Standard exception classes.}
Exceptions should be class objects.
The exceptions are defined in the module \module{exceptions}. This
module never needs to be imported explicitly: the exceptions are
provided in the built-in namespace as well as the \module{exceptions}
module.
\begin{notice}
In past versions of Python string exceptions were supported. In
Python 1.5 and newer versions, all standard exceptions have been
converted to class objects and users are encouraged to do the same.
String exceptions will raise a \code{DeprecationWarning} in Python 2.5 and
newer.
In future versions, support for string exceptions will be removed.
Two distinct string objects with the same value are considered different
exceptions. This is done to force programmers to use exception names
rather than their string value when specifying exception handlers.
The string value of all built-in exceptions is their name, but this is
not a requirement for user-defined exceptions or exceptions defined by
library modules.
\end{notice}
For class exceptions, in a \keyword{try}\stindex{try} statement with
an \keyword{except}\stindex{except} clause that mentions a particular
class, that clause also handles any exception classes derived from
that class (but not exception classes from which \emph{it} is
derived). Two exception classes that are not related via subclassing
are never equivalent, even if they have the same name.
The built-in exceptions listed below can be generated by the
interpreter or built-in functions. Except where mentioned, they have
an ``associated value'' indicating the detailed cause of the error.
This may be a string or a tuple containing several items of
information (e.g., an error code and a string explaining the code).
The associated value is the second argument to the
\keyword{raise}\stindex{raise} statement. For string exceptions, the
associated value itself will be stored in the variable named as the
second argument of the \keyword{except} clause (if any). For class
exceptions, that variable receives the exception instance. If the
exception class is derived from the standard root class
\exception{BaseException}, the associated value is present as the
exception instance's \member{args} attribute. If there is a single argument
(as is preferred), it is bound to the \member{message} attribute.
User code can raise built-in exceptions. This can be used to test an
exception handler or to report an error condition ``just like'' the
situation in which the interpreter raises the same exception; but
beware that there is nothing to prevent user code from raising an
inappropriate error.
The built-in exception classes can be sub-classed to define new
exceptions; programmers are encouraged to at least derive new
exceptions from the \exception{Exception} class and not
\exception{BaseException}. More
information on defining exceptions is available in the
\citetitle[../tut/tut.html]{Python Tutorial} under the heading
``User-defined Exceptions.''
\setindexsubitem{(built-in exception base class)}
The following exceptions are only used as base classes for other
exceptions.
\begin{excdesc}{BaseException}
The base class for all built-in exceptions. It is not meant to be directly
inherited by user-defined classes (for that use \exception{Exception}). If
\function{str()} or \function{unicode()} is called on an instance of this
class, the representation of the argument(s) to the instance are returned or
the emptry string when there were no arguments. If only a single argument is
passed in, it is stored in the \member{message} attribute. If more than one
argument is passed in, \member{message} is set to the empty string. These
semantics are meant to reflect the fact that \member{message} is to store a
text message explaining why the exception had been raised. If more data needs
to be attached to the exception, attach it through arbitrary attributes on the
instance. All arguments are also stored in \member{args} as a tuple, but it will
eventually be deprecated and thus its use is discouraged.
\versionadded{2.5}
\end{excdesc}
\begin{excdesc}{Exception}
All built-in, non-system-exiting exceptions are derived
from this class. All user-defined exceptions should also be derived
from this class.
\versionchanged[Changed to inherit from \exception{BaseException}]{2.5}
\end{excdesc}
\begin{excdesc}{StandardError}
The base class for all built-in exceptions except
\exception{StopIteration}, \exception{GeneratorExit},
\exception{KeyboardInterrupt} and \exception{SystemExit}.
\exception{StandardError} itself is derived from \exception{Exception}.
\end{excdesc}
\begin{excdesc}{ArithmeticError}
The base class for those built-in exceptions that are raised for
various arithmetic errors: \exception{OverflowError},
\exception{ZeroDivisionError}, \exception{FloatingPointError}.
\end{excdesc}
\begin{excdesc}{LookupError}
The base class for the exceptions that are raised when a key or
index used on a mapping or sequence is invalid: \exception{IndexError},
\exception{KeyError}. This can be raised directly by
\function{sys.setdefaultencoding()}.
\end{excdesc}
\begin{excdesc}{EnvironmentError}
The base class for exceptions that
can occur outside the Python system: \exception{IOError},
\exception{OSError}. When exceptions of this type are created with a
2-tuple, the first item is available on the instance's \member{errno}
attribute (it is assumed to be an error number), and the second item
is available on the \member{strerror} attribute (it is usually the
associated error message). The tuple itself is also available on the
\member{args} attribute.
\versionadded{1.5.2}
When an \exception{EnvironmentError} exception is instantiated with a
3-tuple, the first two items are available as above, while the third
item is available on the \member{filename} attribute. However, for
backwards compatibility, the \member{args} attribute contains only a
2-tuple of the first two constructor arguments.
The \member{filename} attribute is \code{None} when this exception is
created with other than 3 arguments. The \member{errno} and
\member{strerror} attributes are also \code{None} when the instance was
created with other than 2 or 3 arguments. In this last case,
\member{args} contains the verbatim constructor arguments as a tuple.
\end{excdesc}
\setindexsubitem{(built-in exception)}
The following exceptions are the exceptions that are actually raised.
\begin{excdesc}{AssertionError}
\stindex{assert}
Raised when an \keyword{assert} statement fails.
\end{excdesc}
\begin{excdesc}{AttributeError}
% xref to attribute reference?
Raised when an attribute reference or assignment fails. (When an
object does not support attribute references or attribute assignments
at all, \exception{TypeError} is raised.)
\end{excdesc}
\begin{excdesc}{EOFError}
% XXXJH xrefs here
Raised when attempting to read beyond the end of a file.
% XXXJH xrefs here
(N.B.: the \method{read()} and \method{readline()} methods of file
objects return an empty string when they hit \EOF.)
\end{excdesc}
\begin{excdesc}{FloatingPointError}
Raised when a floating point operation fails. This exception is
always defined, but can only be raised when Python is configured
with the \longprogramopt{with-fpectl} option, or the
\constant{WANT_SIGFPE_HANDLER} symbol is defined in the
\file{pyconfig.h} file.
\end{excdesc}
\begin{excdesc}{GeneratorExit}
Raise when a generator's \method{close()} method is called.
It directly inherits from \exception{Exception} instead of
\exception{StandardError} since it is technically not an error.
\versionadded{2.5}
\end{excdesc}
\begin{excdesc}{IOError}
% XXXJH xrefs here
Raised when an I/O operation (such as a \keyword{print} statement,
the built-in \function{open()} function or a method of a file
object) fails for an I/O-related reason, e.g., ``file not found'' or
``disk full''.
This class is derived from \exception{EnvironmentError}. See the
discussion above for more information on exception instance
attributes.
\end{excdesc}
\begin{excdesc}{ImportError}
% XXXJH xref to import statement?
Raised when an \keyword{import} statement fails to find the module
definition or when a \code{from \textrm{\ldots} import} fails to find a
name that is to be imported.
\end{excdesc}
\begin{excdesc}{IndexError}
% XXXJH xref to sequences
Raised when a sequence subscript is out of range. (Slice indices are
silently truncated to fall in the allowed range; if an index is not a
plain integer, \exception{TypeError} is raised.)
\end{excdesc}
\begin{excdesc}{KeyError}
% XXXJH xref to mapping objects?
Raised when a mapping (dictionary) key is not found in the set of
existing keys.
\end{excdesc}
\begin{excdesc}{KeyboardInterrupt}
Raised when the user hits the interrupt key (normally
\kbd{Control-C} or \kbd{Delete}). During execution, a check for
interrupts is made regularly.
% XXX(hylton) xrefs here
The exception inherits from \exception{BaseException} so as to not be
accidentally caught by code that catches \exception{Exception} and thus
prevent the interpreter from exiting.
\versionchanged[Changed to inherit from \exception{BaseException}]{2.5}
\end{excdesc}
\begin{excdesc}{MemoryError}
Raised when an operation runs out of memory but the situation may
still be rescued (by deleting some objects). The associated value is
a string indicating what kind of (internal) operation ran out of memory.
Note that because of the underlying memory management architecture
(C's \cfunction{malloc()} function), the interpreter may not
always be able to completely recover from this situation; it
nevertheless raises an exception so that a stack traceback can be
printed, in case a run-away program was the cause.
\end{excdesc}
\begin{excdesc}{NameError}
Raised when a local or global name is not found. This applies only
to unqualified names. The associated value is an error message that
includes the name that could not be found.
\end{excdesc}
\begin{excdesc}{NotImplementedError}
This exception is derived from \exception{RuntimeError}. In user
defined base classes, abstract methods should raise this exception
when they require derived classes to override the method.
\versionadded{1.5.2}
\end{excdesc}
\begin{excdesc}{OSError}
%xref for os module
This class is derived from \exception{EnvironmentError} and is used
primarily as the \refmodule{os} module's \code{os.error} exception.
See \exception{EnvironmentError} above for a description of the
possible associated values.
\versionadded{1.5.2}
\end{excdesc}
\begin{excdesc}{OverflowError}
% XXXJH reference to long's and/or int's?
Raised when the result of an arithmetic operation is too large to be
represented. This cannot occur for long integers (which would rather
raise \exception{MemoryError} than give up). Because of the lack of
standardization of floating point exception handling in C, most
floating point operations also aren't checked. For plain integers,
all operations that can overflow are checked except left shift, where
typical applications prefer to drop bits than raise an exception.
\end{excdesc}
\begin{excdesc}{ReferenceError}
This exception is raised when a weak reference proxy, created by the
\function{\refmodule{weakref}.proxy()} function, is used to access
an attribute of the referent after it has been garbage collected.
For more information on weak references, see the \refmodule{weakref}
module.
\versionadded[Previously known as the
\exception{\refmodule{weakref}.ReferenceError}
exception]{2.2}
\end{excdesc}
\begin{excdesc}{RuntimeError}
Raised when an error is detected that doesn't fall in any of the
other categories. The associated value is a string indicating what
precisely went wrong. (This exception is mostly a relic from a
previous version of the interpreter; it is not used very much any
more.)
\end{excdesc}
\begin{excdesc}{StopIteration}
Raised by an iterator's \method{next()} method to signal that there
are no further values.
This is derived from \exception{Exception} rather than
\exception{StandardError}, since this is not considered an error in
its normal application.
\versionadded{2.2}
\end{excdesc}
\begin{excdesc}{SyntaxError}
% XXXJH xref to these functions?
Raised when the parser encounters a syntax error. This may occur in
an \keyword{import} statement, in a call to the built-in functions
\function{exec()}, \function{execfile()}, \function{eval()} or
\function{input()}, or when reading the initial script or standard
input (also interactively).
Instances of this class have attributes \member{filename},
\member{lineno}, \member{offset} and \member{text} for easier access
to the details. \function{str()} of the exception instance returns
only the message.
\end{excdesc}
\begin{excdesc}{SystemError}
Raised when the interpreter finds an internal error, but the
situation does not look so serious to cause it to abandon all hope.
The associated value is a string indicating what went wrong (in
low-level terms).
You should report this to the author or maintainer of your Python
interpreter. Be sure to report the version of the Python
interpreter (\code{sys.version}; it is also printed at the start of an
interactive Python session), the exact error message (the exception's
associated value) and if possible the source of the program that
triggered the error.
\end{excdesc}
\begin{excdesc}{SystemExit}
% XXX(hylton) xref to module sys?
This exception is raised by the \function{sys.exit()} function. When it
is not handled, the Python interpreter exits; no stack traceback is
printed. If the associated value is a plain integer, it specifies the
system exit status (passed to C's \cfunction{exit()} function); if it is
\code{None}, the exit status is zero; if it has another type (such as
a string), the object's value is printed and the exit status is one.
Instances have an attribute \member{code} which is set to the
proposed exit status or error message (defaulting to \code{None}).
Also, this exception derives directly from \exception{BaseException} and
not \exception{StandardError}, since it is not technically an error.
A call to \function{sys.exit()} is translated into an exception so that
clean-up handlers (\keyword{finally} clauses of \keyword{try} statements)
can be executed, and so that a debugger can execute a script without
running the risk of losing control. The \function{os._exit()} function
can be used if it is absolutely positively necessary to exit
immediately (for example, in the child process after a call to
\function{fork()}).
The exception inherits from \exception{BaseException} instead of
\exception{StandardError} or \exception{Exception} so that it is not
accidentally caught by code that catches \exception{Exception}. This allows
the exception to properly propagate up and cause the interpreter to exit.
\versionchanged[Changed to inherit from \exception{BaseException}]{2.5}
\end{excdesc}
\begin{excdesc}{TypeError}
Raised when an operation or function is applied to an object
of inappropriate type. The associated value is a string giving
details about the type mismatch.
\end{excdesc}
\begin{excdesc}{UnboundLocalError}
Raised when a reference is made to a local variable in a function or
method, but no value has been bound to that variable. This is a
subclass of \exception{NameError}.
\versionadded{2.0}
\end{excdesc}
\begin{excdesc}{UnicodeError}
Raised when a Unicode-related encoding or decoding error occurs. It
is a subclass of \exception{ValueError}.
\versionadded{2.0}
\end{excdesc}
\begin{excdesc}{UnicodeEncodeError}
Raised when a Unicode-related error occurs during encoding. It
is a subclass of \exception{UnicodeError}.
\versionadded{2.3}
\end{excdesc}
\begin{excdesc}{UnicodeDecodeError}
Raised when a Unicode-related error occurs during decoding. It
is a subclass of \exception{UnicodeError}.
\versionadded{2.3}
\end{excdesc}
\begin{excdesc}{UnicodeTranslateError}
Raised when a Unicode-related error occurs during translating. It
is a subclass of \exception{UnicodeError}.
\versionadded{2.3}
\end{excdesc}
\begin{excdesc}{ValueError}
Raised when a built-in operation or function receives an argument
that has the right type but an inappropriate value, and the
situation is not described by a more precise exception such as
\exception{IndexError}.
\end{excdesc}
\begin{excdesc}{WindowsError}
Raised when a Windows-specific error occurs or when the error number
does not correspond to an \cdata{errno} value. The
\member{winerror} and \member{strerror} values are created from the
return values of the \cfunction{GetLastError()} and
\cfunction{FormatMessage()} functions from the Windows Platform API.
The \member{errno} value maps the \member{winerror} value to
corresponding \code{errno.h} values.
This is a subclass of \exception{OSError}.
\versionadded{2.0}
\versionchanged[Previous versions put the \cfunction{GetLastError()}
codes into \member{errno}]{2.5}
\end{excdesc}
\begin{excdesc}{ZeroDivisionError}
Raised when the second argument of a division or modulo operation is
zero. The associated value is a string indicating the type of the
operands and the operation.
\end{excdesc}
\setindexsubitem{(built-in warning)}
The following exceptions are used as warning categories; see the
\refmodule{warnings} module for more information.
\begin{excdesc}{Warning}
Base class for warning categories.
\end{excdesc}
\begin{excdesc}{UserWarning}
Base class for warnings generated by user code.
\end{excdesc}
\begin{excdesc}{DeprecationWarning}
Base class for warnings about deprecated features.
\end{excdesc}
\begin{excdesc}{PendingDeprecationWarning}
Base class for warnings about features which will be deprecated in the future.
\end{excdesc}
\begin{excdesc}{SyntaxWarning}
Base class for warnings about dubious syntax
\end{excdesc}
\begin{excdesc}{RuntimeWarning}
Base class for warnings about dubious runtime behavior.
\end{excdesc}
\begin{excdesc}{FutureWarning}
Base class for warnings about constructs that will change semantically
in the future.
\end{excdesc}
\begin{excdesc}{ImportWarning}
Base class for warnings about probable mistakes in module imports.
\versionadded{2.5}
\end{excdesc}
\begin{excdesc}{UnicodeWarning}
Base class for warnings related to Unicode.
\versionadded{2.5}
\end{excdesc}
The class hierarchy for built-in exceptions is:
\verbatiminput{../../Lib/test/exception_hierarchy.txt}