Below is a list of the types that are built into Python. Extension
modules written in C can define additional types. Future versions of
Python may add types to the type hierarchy (e.g., rational
numbers, efficiently stored arrays of integers, etc.).
Some of the type descriptions below contain a paragraph listing
`special attributes.' These are attributes that provide access to the
implementation and are not intended for general use. Their definition
may change in the future. There are also some `generic' special
attributes, not listed with the individual objects: __methods__
is a list of the method names of a built-in object, if it has any;
__members__ is a list of the data attribute names of a built-in
object, if it has any.
None
.
It is used to signify the absence of a value in many situations, e.g.,
it is returned from functions that don't explicitly return anything.
Its truth value is false.
Ellipsis
.
It is used to indicate the presence of the "..." syntax in a
slice. Its truth value is true.
Python distinguishes between integers and floating point numbers:
There are two types of integers:
The rules for integer representation are intended to give the most
meaningful interpretation of shift and mask operations involving
negative integers and the least surprises when switching between the
plain and long integer domains. For any operation except left shift,
if it yields a result in the plain integer domain without causing
overflow, it will yield the same result in the long integer domain or
when using mixed operands.
z
can be retrieved through the attributes z.real
and z.imag
.
a[i]
.
Sequences also support slicing: a[i:j]
selects all items with index k such that i <=
k <
j. When used as an expression, a slice is a
sequence of the same type. This implies that the index set is
renumbered so that it starts at 0.
Sequences are distinguished according to their mutability:
The following types are immutable sequences:
(On systems whose native character set is not ASCII, strings may use
EBCDIC in their internal representation, provided the functions
chr() and ord() implement a mapping between ASCII and
EBCDIC, and string comparison preserves the ASCII order.
Or perhaps someone can propose a better rule?)
There is currently a single mutable sequence type:
The extension module array
a[k]
selects the item indexed
by k
from the mapping a
; this can be used in
expressions and as the target of assignments or del statements.
The built-in function len() returns the number of items
in a mapping.
There is currently a single intrinsic mapping type:
1
and
1.0
) then they can be used interchangeably to index the same
dictionary entry.
Dictionaries are {...}
notation (see section 5.2.5, ``Dictionary
Displays'').
The extension modules dbm
Special attributes: func_doc or __doc__ is the
function's documentation string, or None if unavailable;
func_name or __name__ is the function's name;
func_defaults is a tuple containing default argument values for
those arguments that have defaults, or None
if no arguments
have a default value; func_code is the code object representing
the compiled function body; func_globals is (a reference to)
the dictionary that holds the function's global variables -- it
defines the global namespace of the module in which the function was
defined.
Of these, func_code, func_defaults and
func_doc (and this __doc__) may be writable; the
others can never be changed.
Additional information about a function's definition can be
retrieved from its code object; see the description of internal types
below.
None
) and a user-defined function.
Special read-only attributes: im_self is the class instance
object, im_func is the function object;
im_class is the class that defined the method (which may be a
base class of the class of which im_self is an instance);
__doc__ is the method's documentation (same as
im_func.__doc__
); __name__ is the method name (same as
im_func.__name__
).
User-defined method objects are created in two ways: when getting an
attribute of a class that is a user-defined function object, or when
getting an attributes of a class instance that is a user-defined
function object. In the former case (class attribute), the
im_self attribute is None
, and the method object is said
to be unbound; in the latter case (instance attribute), im_self
is the instance, and the method object is said to be bound. For
instance, when C is a class which contains a definition for a
function f(), C.f
does not yield the function object
f
; rather, it yields an unbound method object m
where
m.im_class
is C, m.im_func
is f(), and
m.im_self
is None
. When x
is a C
instance, x.f
yields a bound method object m
where
m.im_class
is C
, m.im_func
is f(), and
m.im_self
is x
.
When an unbound user-defined method object is called, the underlying function (im_func) is called, with the restriction that the first argument must be an instance of the proper class (im_class) or of a derived class thereof.
When a bound user-defined method object is called, the underlying
function (im_func) is called, inserting the class instance
(im_self) in front of the argument list. For instance, when
C is a class which contains a definition for a function
f(), and x
is an instance of C, calling
x.f(1)
is equivalent to calling C.f(x, 1)
.
Note that the transformation from function object to (unbound or bound) method object happens each time the attribute is retrieved from the class or instance. In some cases, a fruitful optimization is to assign the attribute to a local variable and call that local variable. Also notice that this transformation only happens for user-defined functions; other callable objects (and all non-callable objects) are retrieved without transformation.
None
if unavailable; __name__
is the function's name; __self__ is set to None
(but see
the next item).
list.append()
, assuming
list is a list object.
In this case, the special read-only attribute __self__ is set
to the object denoted by list
.
x(arguments)
is a shorthand for x.__call__(arguments)
.
m.x
is equivalent to
m.__dict__["x"]
.
A module object does not contain the code object used to
initialize the module (since it isn't needed once the initialization
is done).
Attribute assignment updates the module's namespace dictionary, e.g., "m.x = 1" is equivalent to "m.__dict__["x"] = 1".
Special read-only attribute: __dict__ is the module's
namespace as a dictionary object.
Predefined (writable) attributes: __name__
is the module's name; __doc__ is the
module's documentation string, or
None
if unavailable; __file__ is the pathname of the
file from which the module was loaded, if it was loaded from a file.
The __file__ attribute is not present for C modules that are
statically linked into the interpreter; for extension modules loaded
dynamically from a shared library, it is the pathname of the shared
library file.
Class attribute assignments update the class's dictionary, never the
dictionary of a base class.
A class object can be called (see above) to yield a class instance (see
below).
Special attributes: __name__ is the class name;
__module__ is the module name in which the class was defined;
__dict__ is the dictionary containing the class's namespace;
__bases__ is a tuple (possibly empty or a singleton)
containing the base classes, in the order of their occurrence in the
base class list; __doc__ is the class's documentation string,
or None if undefined.
Attribute assignments and deletions update the instance's dictionary,
never a class's dictionary. If the class has a __setattr__() or
__delattr__() method, this is called instead of updating the
instance dictionary directly.
Class instances can pretend to be numbers, sequences, or mappings if
they have methods with certain special names. See
section 3.3, ``Special method names.''
Special attributes: __dict__ is the attribute
dictionary; __class__ is the instance's class.
sys.stdin
,
sys.stdout
and
sys.stderr
are initialized to file objects
corresponding to the interpreter's standard
Special read-only attributes: co_name gives the function
name; co_argcount is the number of positional arguments
(including arguments with default values); co_nlocals is the
number of local variables used by the function (including arguments);
co_varnames is a tuple containing the names of the local
variables (starting with the argument names); co_code is a
string representing the sequence of bytecode instructions;
co_consts is a tuple containing the literals used by the
bytecode; co_names is a tuple containing the names used by
the bytecode; co_filename is the filename from which the code
was compiled; co_firstlineno is the first line number of the
function; co_lnotab is a string encoding the mapping from
byte code offsets to line numbers (for detais see the source code of
the interpreter); co_stacksize is the required stack size
(including local variables); co_flags is an integer encoding
a number of flags for the interpreter.
The following flag bits are defined for co_flags: bit
0x04
is set if the function uses the "*arguments" syntax
to accept an arbitrary number of positional arguments; bit
0x08
is set if the function uses the "**keywords" syntax
to accept arbitrary keyword arguments; other bits are used internally
or reserved for future use. IfNone
if undefined.
Special read-only attributes: f_back is to the previous
stack frame (towards the caller), or None
if this is the bottom
stack frame; f_code is the code object being executed in this
frame; f_locals is the dictionary used to look up local
variables; f_globals is used for global variables;
f_builtins is used for built-in (intrinsic) names;
f_restricted is a flag indicating whether the function is
executing in restricted execution mode;
f_lineno gives the line number and f_lasti gives the
precise instruction (this is an index into the bytecode string of
the code object).
Special writable attributes: f_trace, if not None
, is a
function called at the start of each source code line (this is used by
the debugger); f_exc_type, f_exc_value,
f_exc_traceback represent the most recent exception caught in
this frame.
try
statement.'')
It is accessible as sys.exc_traceback
, and also as the third
item of the tuple returned by sys.exc_info()
. The latter is
the preferred interface, since it works correctly when the program is
using multiple threads.
When the program contains no suitable handler, the stack trace is written
(nicely formatted) to the standard error stream; if the interpreter is
interactive, it is also made available to the user as
sys.last_traceback
.
Special read-only attributes: tb_next is the next level in the
stack trace (towards the frame where the exception occurred), or
None
if there is no next level; tb_frame points to the
execution frame of the current level; tb_lineno gives the line
number where the exception occurred; tb_lasti indicates the
precise instruction. The line number and last instruction in the
traceback may differ from the line number of its frame object if the
exception occurred in a try statement with no matching
except clause or with a finally clause.
a[i:j:step]
, a[i:j,
k:l]
, or a[..., i:j])
. They are also created by the built-in
slice()
Special read-only attributes: start is the lowerbound;
stop is the upperbound; step is the step value; each is
None
if omitted. These attributes can have any type.