2444 lines
79 KiB
TeX
Executable File
2444 lines
79 KiB
TeX
Executable File
\ifx\locallinewidth\undefined\newlength{\locallinewidth}\fi
|
||
\setlength{\locallinewidth}{\linewidth}
|
||
\section{\module{ctypes} --- A foreign function library for Python.}
|
||
\declaremodule{standard}{ctypes}
|
||
\moduleauthor{Thomas Heller}{theller@python.net}
|
||
\modulesynopsis{A foreign function library for Python.}
|
||
\versionadded{2.5}
|
||
|
||
\code{ctypes} is a foreign function library for Python. It provides C
|
||
compatible data types, and allows to call functions in dlls/shared
|
||
libraries. It can be used to wrap these libraries in pure Python.
|
||
|
||
|
||
\subsection{ctypes tutorial\label{ctypes-ctypes-tutorial}}
|
||
|
||
Note: The code samples in this tutorial uses \code{doctest} to make sure
|
||
that they actually work. Since some code samples behave differently
|
||
under Linux, Windows, or Mac OS X, they contain doctest directives in
|
||
comments.
|
||
|
||
Note: Quite some code samples references the ctypes \class{c{\_}int} type.
|
||
This type is an alias to the \class{c{\_}long} type on 32-bit systems. So,
|
||
you should not be confused if \class{c{\_}long} is printed if you would
|
||
expect \class{c{\_}int} - they are actually the same type.
|
||
|
||
|
||
\subsubsection{Loading dynamic link libraries\label{ctypes-loading-dynamic-link-libraries}}
|
||
|
||
\code{ctypes} exports the \var{cdll}, and on Windows also \var{windll} and
|
||
\var{oledll} objects to load dynamic link libraries.
|
||
|
||
You load libraries by accessing them as attributes of these objects.
|
||
\var{cdll} loads libraries which export functions using the standard
|
||
\code{cdecl} calling convention, while \var{windll} libraries call
|
||
functions using the \code{stdcall} calling convention. \var{oledll} also
|
||
uses the \code{stdcall} calling convention, and assumes the functions
|
||
return a Windows \class{HRESULT} error code. The error code is used to
|
||
automatically raise \class{WindowsError} Python exceptions when the
|
||
function call fails.
|
||
|
||
Here are some examples for Windows, note that \code{msvcrt} is the MS
|
||
standard C library containing most standard C functions, and uses the
|
||
cdecl calling convention:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> print windll.kernel32 # doctest: +WINDOWS
|
||
<WinDLL 'kernel32', handle ... at ...>
|
||
>>> print cdll.msvcrt # doctest: +WINDOWS
|
||
<CDLL 'msvcrt', handle ... at ...>
|
||
>>> libc = cdll.msvcrt # doctest: +WINDOWS
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Windows appends the usual '.dll' file suffix automatically.
|
||
|
||
On Linux, it is required to specify the filename \emph{including} the
|
||
extension to load a library, so attribute access does not work.
|
||
Either the \method{LoadLibrary} method of the dll loaders should be used,
|
||
or you should load the library by creating an instance of CDLL by
|
||
calling the constructor:
|
||
\begin{verbatim}
|
||
>>> cdll.LoadLibrary("libc.so.6") # doctest: +LINUX
|
||
<CDLL 'libc.so.6', handle ... at ...>
|
||
>>> libc = CDLL("libc.so.6") # doctest: +LINUX
|
||
>>> libc # doctest: +LINUX
|
||
<CDLL 'libc.so.6', handle ... at ...>
|
||
>>>
|
||
\end{verbatim}
|
||
% XXX Add section for Mac OS X.
|
||
|
||
|
||
\subsubsection{Accessing functions from loaded dlls\label{ctypes-accessing-functions-from-loaded-dlls}}
|
||
|
||
Functions are accessed as attributes of dll objects:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> libc.printf
|
||
<_FuncPtr object at 0x...>
|
||
>>> print windll.kernel32.GetModuleHandleA # doctest: +WINDOWS
|
||
<_FuncPtr object at 0x...>
|
||
>>> print windll.kernel32.MyOwnFunction # doctest: +WINDOWS
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
File "ctypes.py", line 239, in __getattr__
|
||
func = _StdcallFuncPtr(name, self)
|
||
AttributeError: function 'MyOwnFunction' not found
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Note that win32 system dlls like \code{kernel32} and \code{user32} often
|
||
export ANSI as well as UNICODE versions of a function. The UNICODE
|
||
version is exported with an \code{W} appended to the name, while the ANSI
|
||
version is exported with an \code{A} appended to the name. The win32
|
||
\code{GetModuleHandle} function, which returns a \emph{module handle} for a
|
||
given module name, has the following C prototype, and a macro is used
|
||
to expose one of them as \code{GetModuleHandle} depending on whether
|
||
UNICODE is defined or not:
|
||
\begin{verbatim}
|
||
/* ANSI version */
|
||
HMODULE GetModuleHandleA(LPCSTR lpModuleName);
|
||
/* UNICODE version */
|
||
HMODULE GetModuleHandleW(LPCWSTR lpModuleName);
|
||
\end{verbatim}
|
||
|
||
\var{windll} does not try to select one of them by magic, you must
|
||
access the version you need by specifying \code{GetModuleHandleA} or
|
||
\code{GetModuleHandleW} explicitely, and then call it with normal strings
|
||
or unicode strings respectively.
|
||
|
||
Sometimes, dlls export functions with names which aren't valid Python
|
||
identifiers, like \code{"??2@YAPAXI@Z"}. In this case you have to use
|
||
\code{getattr} to retrieve the function:
|
||
\begin{verbatim}
|
||
>>> getattr(cdll.msvcrt, "??2@YAPAXI@Z") # doctest: +WINDOWS
|
||
<_FuncPtr object at 0x...>
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
On Windows, some dlls export functions not by name but by ordinal.
|
||
These functions can be accessed by indexing the dll object with the
|
||
ordinal number:
|
||
\begin{verbatim}
|
||
>>> cdll.kernel32[1] # doctest: +WINDOWS
|
||
<_FuncPtr object at 0x...>
|
||
>>> cdll.kernel32[0] # doctest: +WINDOWS
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
File "ctypes.py", line 310, in __getitem__
|
||
func = _StdcallFuncPtr(name, self)
|
||
AttributeError: function ordinal 0 not found
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Calling functions\label{ctypes-calling-functions}}
|
||
|
||
You can call these functions like any other Python callable. This
|
||
example uses the \code{time()} function, which returns system time in
|
||
seconds since the \UNIX{} epoch, and the \code{GetModuleHandleA()} function,
|
||
which returns a win32 module handle.
|
||
|
||
This example calls both functions with a NULL pointer (\code{None} should
|
||
be used as the NULL pointer):
|
||
\begin{verbatim}
|
||
>>> print libc.time(None) # doctest: +SKIP
|
||
1150640792
|
||
>>> print hex(windll.kernel32.GetModuleHandleA(None)) # doctest: +WINDOWS
|
||
0x1d000000
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
\code{ctypes} tries to protect you from calling functions with the wrong
|
||
number of arguments or the wrong calling convention. Unfortunately
|
||
this only works on Windows. It does this by examining the stack after
|
||
the function returns, so although an error is raised the function
|
||
\emph{has} been called:
|
||
\begin{verbatim}
|
||
>>> windll.kernel32.GetModuleHandleA() # doctest: +WINDOWS
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
ValueError: Procedure probably called with not enough arguments (4 bytes missing)
|
||
>>> windll.kernel32.GetModuleHandleA(0, 0) # doctest: +WINDOWS
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
ValueError: Procedure probably called with too many arguments (4 bytes in excess)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
The same exception is raised when you call an \code{stdcall} function
|
||
with the \code{cdecl} calling convention, or vice versa:
|
||
\begin{verbatim}
|
||
>>> cdll.kernel32.GetModuleHandleA(None) # doctest: +WINDOWS
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
ValueError: Procedure probably called with not enough arguments (4 bytes missing)
|
||
>>>
|
||
|
||
>>> windll.msvcrt.printf("spam") # doctest: +WINDOWS
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
ValueError: Procedure probably called with too many arguments (4 bytes in excess)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
To find out the correct calling convention you have to look into the C
|
||
header file or the documentation for the function you want to call.
|
||
|
||
On Windows, \code{ctypes} uses win32 structured exception handling to
|
||
prevent crashes from general protection faults when functions are
|
||
called with invalid argument values:
|
||
\begin{verbatim}
|
||
>>> windll.kernel32.GetModuleHandleA(32) # doctest: +WINDOWS
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
WindowsError: exception: access violation reading 0x00000020
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
There are, however, enough ways to crash Python with \code{ctypes}, so
|
||
you should be careful anyway.
|
||
|
||
\code{None}, integers, longs, byte strings and unicode strings are the
|
||
only native Python objects that can directly be used as parameters in
|
||
these function calls. \code{None} is passed as a C \code{NULL} pointer,
|
||
byte strings and unicode strings are passed as pointer to the memory
|
||
block that contains their data (\code{char *} or \code{wchar{\_}t *}). Python
|
||
integers and Python longs are passed as the platforms default C
|
||
\code{int} type, their value is masked to fit into the C type.
|
||
|
||
Before we move on calling functions with other parameter types, we
|
||
have to learn more about \code{ctypes} data types.
|
||
|
||
|
||
\subsubsection{Fundamental data types\label{ctypes-fundamental-data-types}}
|
||
|
||
\code{ctypes} defines a number of primitive C compatible data types :
|
||
\begin{quote}
|
||
\begin{tableiii}{l|l|l}{textrm}
|
||
{
|
||
ctypes type
|
||
}
|
||
{
|
||
C type
|
||
}
|
||
{
|
||
Python type
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}char}
|
||
}
|
||
{
|
||
\code{char}
|
||
}
|
||
{
|
||
1-character
|
||
string
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}wchar}
|
||
}
|
||
{
|
||
\code{wchar{\_}t}
|
||
}
|
||
{
|
||
1-character
|
||
unicode string
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}byte}
|
||
}
|
||
{
|
||
\code{char}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}ubyte}
|
||
}
|
||
{
|
||
\code{unsigned char}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}short}
|
||
}
|
||
{
|
||
\code{short}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}ushort}
|
||
}
|
||
{
|
||
\code{unsigned short}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}int}
|
||
}
|
||
{
|
||
\code{int}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}uint}
|
||
}
|
||
{
|
||
\code{unsigned int}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}long}
|
||
}
|
||
{
|
||
\code{long}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}ulong}
|
||
}
|
||
{
|
||
\code{unsigned long}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}longlong}
|
||
}
|
||
{
|
||
\code{{\_}{\_}int64} or
|
||
\code{long long}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}ulonglong}
|
||
}
|
||
{
|
||
\code{unsigned {\_}{\_}int64} or
|
||
\code{unsigned long long}
|
||
}
|
||
{
|
||
int/long
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}float}
|
||
}
|
||
{
|
||
\code{float}
|
||
}
|
||
{
|
||
float
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}double}
|
||
}
|
||
{
|
||
\code{double}
|
||
}
|
||
{
|
||
float
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}char{\_}p}
|
||
}
|
||
{
|
||
\code{char *}
|
||
(NUL terminated)
|
||
}
|
||
{
|
||
string or
|
||
\code{None}
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}wchar{\_}p}
|
||
}
|
||
{
|
||
\code{wchar{\_}t *}
|
||
(NUL terminated)
|
||
}
|
||
{
|
||
unicode or
|
||
\code{None}
|
||
}
|
||
\lineiii{
|
||
\class{c{\_}void{\_}p}
|
||
}
|
||
{
|
||
\code{void *}
|
||
}
|
||
{
|
||
int/long
|
||
or \code{None}
|
||
}
|
||
\end{tableiii}
|
||
\end{quote}
|
||
|
||
All these types can be created by calling them with an optional
|
||
initializer of the correct type and value:
|
||
\begin{verbatim}
|
||
>>> c_int()
|
||
c_long(0)
|
||
>>> c_char_p("Hello, World")
|
||
c_char_p('Hello, World')
|
||
>>> c_ushort(-3)
|
||
c_ushort(65533)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Since these types are mutable, their value can also be changed
|
||
afterwards:
|
||
\begin{verbatim}
|
||
>>> i = c_int(42)
|
||
>>> print i
|
||
c_long(42)
|
||
>>> print i.value
|
||
42
|
||
>>> i.value = -99
|
||
>>> print i.value
|
||
-99
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Assigning a new value to instances of the pointer types \class{c{\_}char{\_}p},
|
||
\class{c{\_}wchar{\_}p}, and \class{c{\_}void{\_}p} changes the \emph{memory location} they
|
||
point to, \emph{not the contents} of the memory block (of course not,
|
||
because Python strings are immutable):
|
||
\begin{verbatim}
|
||
>>> s = "Hello, World"
|
||
>>> c_s = c_char_p(s)
|
||
>>> print c_s
|
||
c_char_p('Hello, World')
|
||
>>> c_s.value = "Hi, there"
|
||
>>> print c_s
|
||
c_char_p('Hi, there')
|
||
>>> print s # first string is unchanged
|
||
Hello, World
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
You should be careful, however, not to pass them to functions
|
||
expecting pointers to mutable memory. If you need mutable memory
|
||
blocks, ctypes has a \code{create{\_}string{\_}buffer} function which creates
|
||
these in various ways. The current memory block contents can be
|
||
accessed (or changed) with the \code{raw} property, if you want to access
|
||
it as NUL terminated string, use the \code{string} property:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> p = create_string_buffer(3) # create a 3 byte buffer, initialized to NUL bytes
|
||
>>> print sizeof(p), repr(p.raw)
|
||
3 '\x00\x00\x00'
|
||
>>> p = create_string_buffer("Hello") # create a buffer containing a NUL terminated string
|
||
>>> print sizeof(p), repr(p.raw)
|
||
6 'Hello\x00'
|
||
>>> print repr(p.value)
|
||
'Hello'
|
||
>>> p = create_string_buffer("Hello", 10) # create a 10 byte buffer
|
||
>>> print sizeof(p), repr(p.raw)
|
||
10 'Hello\x00\x00\x00\x00\x00'
|
||
>>> p.value = "Hi"
|
||
>>> print sizeof(p), repr(p.raw)
|
||
10 'Hi\x00lo\x00\x00\x00\x00\x00'
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
The \code{create{\_}string{\_}buffer} function replaces the \code{c{\_}buffer}
|
||
function (which is still available as an alias), as well as the
|
||
\code{c{\_}string} function from earlier ctypes releases. To create a
|
||
mutable memory block containing unicode characters of the C type
|
||
\code{wchar{\_}t} use the \code{create{\_}unicode{\_}buffer} function.
|
||
|
||
|
||
\subsubsection{Calling functions, continued\label{ctypes-calling-functions-continued}}
|
||
|
||
Note that printf prints to the real standard output channel, \emph{not} to
|
||
\code{sys.stdout}, so these examples will only work at the console
|
||
prompt, not from within \emph{IDLE} or \emph{PythonWin}:
|
||
\begin{verbatim}
|
||
>>> printf = libc.printf
|
||
>>> printf("Hello, %s\n", "World!")
|
||
Hello, World!
|
||
14
|
||
>>> printf("Hello, %S", u"World!")
|
||
Hello, World!
|
||
13
|
||
>>> printf("%d bottles of beer\n", 42)
|
||
42 bottles of beer
|
||
19
|
||
>>> printf("%f bottles of beer\n", 42.5)
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
ArgumentError: argument 2: exceptions.TypeError: Don't know how to convert parameter 2
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
As has been mentioned before, all Python types except integers,
|
||
strings, and unicode strings have to be wrapped in their corresponding
|
||
\code{ctypes} type, so that they can be converted to the required C data
|
||
type:
|
||
\begin{verbatim}
|
||
>>> printf("An int %d, a double %f\n", 1234, c_double(3.14))
|
||
Integer 1234, double 3.1400001049
|
||
31
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Calling functions with your own custom data types\label{ctypes-calling-functions-with-own-custom-data-types}}
|
||
|
||
You can also customize \code{ctypes} argument conversion to allow
|
||
instances of your own classes be used as function arguments.
|
||
\code{ctypes} looks for an \member{{\_}as{\_}parameter{\_}} attribute and uses this as
|
||
the function argument. Of course, it must be one of integer, string,
|
||
or unicode:
|
||
\begin{verbatim}
|
||
>>> class Bottles(object):
|
||
... def __init__(self, number):
|
||
... self._as_parameter_ = number
|
||
...
|
||
>>> bottles = Bottles(42)
|
||
>>> printf("%d bottles of beer\n", bottles)
|
||
42 bottles of beer
|
||
19
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
If you don't want to store the instance's data in the
|
||
\member{{\_}as{\_}parameter{\_}} instance variable, you could define a \code{property}
|
||
which makes the data avaiblable.
|
||
|
||
|
||
\subsubsection{Specifying the required argument types (function prototypes)\label{ctypes-specifying-required-argument-types}}
|
||
|
||
It is possible to specify the required argument types of functions
|
||
exported from DLLs by setting the \member{argtypes} attribute.
|
||
|
||
\member{argtypes} must be a sequence of C data types (the \code{printf}
|
||
function is probably not a good example here, because it takes a
|
||
variable number and different types of parameters depending on the
|
||
format string, on the other hand this is quite handy to experiment
|
||
with this feature):
|
||
\begin{verbatim}
|
||
>>> printf.argtypes = [c_char_p, c_char_p, c_int, c_double]
|
||
>>> printf("String '%s', Int %d, Double %f\n", "Hi", 10, 2.2)
|
||
String 'Hi', Int 10, Double 2.200000
|
||
37
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Specifying a format protects against incompatible argument types (just
|
||
as a prototype for a C function), and tries to convert the arguments
|
||
to valid types:
|
||
\begin{verbatim}
|
||
>>> printf("%d %d %d", 1, 2, 3)
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
ArgumentError: argument 2: exceptions.TypeError: wrong type
|
||
>>> printf("%s %d %f", "X", 2, 3)
|
||
X 2 3.00000012
|
||
12
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
If you have defined your own classes which you pass to function calls,
|
||
you have to implement a \method{from{\_}param} class method for them to be
|
||
able to use them in the \member{argtypes} sequence. The \method{from{\_}param}
|
||
class method receives the Python object passed to the function call,
|
||
it should do a typecheck or whatever is needed to make sure this
|
||
object is acceptable, and then return the object itself, it's
|
||
\member{{\_}as{\_}parameter{\_}} attribute, or whatever you want to pass as the C
|
||
function argument in this case. Again, the result should be an
|
||
integer, string, unicode, a \code{ctypes} instance, or something having
|
||
the \member{{\_}as{\_}parameter{\_}} attribute.
|
||
|
||
|
||
\subsubsection{Return types\label{ctypes-return-types}}
|
||
|
||
By default functions are assumed to return the C \code{int} type. Other
|
||
return types can be specified by setting the \member{restype} attribute of
|
||
the function object.
|
||
|
||
Here is a more advanced example, it uses the \code{strchr} function, which
|
||
expects a string pointer and a char, and returns a pointer to a
|
||
string:
|
||
\begin{verbatim}
|
||
>>> strchr = libc.strchr
|
||
>>> strchr("abcdef", ord("d")) # doctest: +SKIP
|
||
8059983
|
||
>>> strchr.restype = c_char_p # c_char_p is a pointer to a string
|
||
>>> strchr("abcdef", ord("d"))
|
||
'def'
|
||
>>> print strchr("abcdef", ord("x"))
|
||
None
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
If you want to avoid the \code{ord("x")} calls above, you can set the
|
||
\member{argtypes} attribute, and the second argument will be converted from
|
||
a single character Python string into a C char:
|
||
\begin{verbatim}
|
||
>>> strchr.restype = c_char_p
|
||
>>> strchr.argtypes = [c_char_p, c_char]
|
||
>>> strchr("abcdef", "d")
|
||
'def'
|
||
>>> strchr("abcdef", "def")
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
ArgumentError: argument 2: exceptions.TypeError: one character string expected
|
||
>>> print strchr("abcdef", "x")
|
||
None
|
||
>>> strchr("abcdef", "d")
|
||
'def'
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
You can also use a callable Python object (a function or a class for
|
||
example) as the \member{restype} attribute, if the foreign function returns
|
||
an integer. The callable will be called with the \code{integer} the C
|
||
function returns, and the result of this call will be used as the
|
||
result of your function call. This is useful to check for error return
|
||
values and automatically raise an exception:
|
||
\begin{verbatim}
|
||
>>> GetModuleHandle = windll.kernel32.GetModuleHandleA # doctest: +WINDOWS
|
||
>>> def ValidHandle(value):
|
||
... if value == 0:
|
||
... raise WinError()
|
||
... return value
|
||
...
|
||
>>>
|
||
>>> GetModuleHandle.restype = ValidHandle # doctest: +WINDOWS
|
||
>>> GetModuleHandle(None) # doctest: +WINDOWS
|
||
486539264
|
||
>>> GetModuleHandle("something silly") # doctest: +WINDOWS
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
File "<stdin>", line 3, in ValidHandle
|
||
WindowsError: [Errno 126] The specified module could not be found.
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
\code{WinError} is a function which will call Windows \code{FormatMessage()}
|
||
api to get the string representation of an error code, and \emph{returns}
|
||
an exception. \code{WinError} takes an optional error code parameter, if
|
||
no one is used, it calls \function{GetLastError()} to retrieve it.
|
||
|
||
Please note that a much more powerful error checking mechanism is
|
||
available through the \member{errcheck} attribute; see the reference manual
|
||
for details.
|
||
|
||
|
||
\subsubsection{Passing pointers (or: passing parameters by reference)\label{ctypes-passing-pointers}}
|
||
|
||
Sometimes a C api function expects a \emph{pointer} to a data type as
|
||
parameter, probably to write into the corresponding location, or if
|
||
the data is too large to be passed by value. This is also known as
|
||
\emph{passing parameters by reference}.
|
||
|
||
\code{ctypes} exports the \function{byref} function which is used to pass
|
||
parameters by reference. The same effect can be achieved with the
|
||
\code{pointer} function, although \code{pointer} does a lot more work since
|
||
it constructs a real pointer object, so it is faster to use \function{byref}
|
||
if you don't need the pointer object in Python itself:
|
||
\begin{verbatim}
|
||
>>> i = c_int()
|
||
>>> f = c_float()
|
||
>>> s = create_string_buffer('\000' * 32)
|
||
>>> print i.value, f.value, repr(s.value)
|
||
0 0.0 ''
|
||
>>> libc.sscanf("1 3.14 Hello", "%d %f %s",
|
||
... byref(i), byref(f), s)
|
||
3
|
||
>>> print i.value, f.value, repr(s.value)
|
||
1 3.1400001049 'Hello'
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Structures and unions\label{ctypes-structures-unions}}
|
||
|
||
Structures and unions must derive from the \class{Structure} and \class{Union}
|
||
base classes which are defined in the \code{ctypes} module. Each subclass
|
||
must define a \member{{\_}fields{\_}} attribute. \member{{\_}fields{\_}} must be a list of
|
||
\emph{2-tuples}, containing a \emph{field name} and a \emph{field type}.
|
||
|
||
The field type must be a \code{ctypes} type like \class{c{\_}int}, or any other
|
||
derived \code{ctypes} type: structure, union, array, pointer.
|
||
|
||
Here is a simple example of a POINT structure, which contains two
|
||
integers named \code{x} and \code{y}, and also shows how to initialize a
|
||
structure in the constructor:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> class POINT(Structure):
|
||
... _fields_ = [("x", c_int),
|
||
... ("y", c_int)]
|
||
...
|
||
>>> point = POINT(10, 20)
|
||
>>> print point.x, point.y
|
||
10 20
|
||
>>> point = POINT(y=5)
|
||
>>> print point.x, point.y
|
||
0 5
|
||
>>> POINT(1, 2, 3)
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
ValueError: too many initializers
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
You can, however, build much more complicated structures. Structures
|
||
can itself contain other structures by using a structure as a field
|
||
type.
|
||
|
||
Here is a RECT structure which contains two POINTs named \code{upperleft}
|
||
and \code{lowerright}
|
||
\begin{verbatim}
|
||
>>> class RECT(Structure):
|
||
... _fields_ = [("upperleft", POINT),
|
||
... ("lowerright", POINT)]
|
||
...
|
||
>>> rc = RECT(point)
|
||
>>> print rc.upperleft.x, rc.upperleft.y
|
||
0 5
|
||
>>> print rc.lowerright.x, rc.lowerright.y
|
||
0 0
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Nested structures can also be initialized in the constructor in
|
||
several ways:
|
||
\begin{verbatim}
|
||
>>> r = RECT(POINT(1, 2), POINT(3, 4))
|
||
>>> r = RECT((1, 2), (3, 4))
|
||
\end{verbatim}
|
||
|
||
Fields descriptors can be retrieved from the \emph{class}, they are useful
|
||
for debugging because they can provide useful information:
|
||
\begin{verbatim}
|
||
>>> print POINT.x
|
||
<Field type=c_long, ofs=0, size=4>
|
||
>>> print POINT.y
|
||
<Field type=c_long, ofs=4, size=4>
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Structure/union alignment and byte order\label{ctypes-structureunion-alignment-byte-order}}
|
||
|
||
By default, Structure and Union fields are aligned in the same way the
|
||
C compiler does it. It is possible to override this behaviour be
|
||
specifying a \member{{\_}pack{\_}} class attribute in the subclass
|
||
definition. This must be set to a positive integer and specifies the
|
||
maximum alignment for the fields. This is what \code{{\#}pragma pack(n)}
|
||
also does in MSVC.
|
||
|
||
\code{ctypes} uses the native byte order for Structures and Unions. To
|
||
build structures with non-native byte order, you can use one of the
|
||
BigEndianStructure, LittleEndianStructure, BigEndianUnion, and
|
||
LittleEndianUnion base classes. These classes cannot contain pointer
|
||
fields.
|
||
|
||
|
||
\subsubsection{Bit fields in structures and unions\label{ctypes-bit-fields-in-structures-unions}}
|
||
|
||
It is possible to create structures and unions containing bit fields.
|
||
Bit fields are only possible for integer fields, the bit width is
|
||
specified as the third item in the \member{{\_}fields{\_}} tuples:
|
||
\begin{verbatim}
|
||
>>> class Int(Structure):
|
||
... _fields_ = [("first_16", c_int, 16),
|
||
... ("second_16", c_int, 16)]
|
||
...
|
||
>>> print Int.first_16
|
||
<Field type=c_long, ofs=0:0, bits=16>
|
||
>>> print Int.second_16
|
||
<Field type=c_long, ofs=0:16, bits=16>
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Arrays\label{ctypes-arrays}}
|
||
|
||
Arrays are sequences, containing a fixed number of instances of the
|
||
same type.
|
||
|
||
The recommended way to create array types is by multiplying a data
|
||
type with a positive integer:
|
||
\begin{verbatim}
|
||
TenPointsArrayType = POINT * 10
|
||
\end{verbatim}
|
||
|
||
Here is an example of an somewhat artifical data type, a structure
|
||
containing 4 POINTs among other stuff:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> class POINT(Structure):
|
||
... _fields_ = ("x", c_int), ("y", c_int)
|
||
...
|
||
>>> class MyStruct(Structure):
|
||
... _fields_ = [("a", c_int),
|
||
... ("b", c_float),
|
||
... ("point_array", POINT * 4)]
|
||
>>>
|
||
>>> print len(MyStruct().point_array)
|
||
4
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Instances are created in the usual way, by calling the class:
|
||
\begin{verbatim}
|
||
arr = TenPointsArrayType()
|
||
for pt in arr:
|
||
print pt.x, pt.y
|
||
\end{verbatim}
|
||
|
||
The above code print a series of \code{0 0} lines, because the array
|
||
contents is initialized to zeros.
|
||
|
||
Initializers of the correct type can also be specified:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> TenIntegers = c_int * 10
|
||
>>> ii = TenIntegers(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
|
||
>>> print ii
|
||
<c_long_Array_10 object at 0x...>
|
||
>>> for i in ii: print i,
|
||
...
|
||
1 2 3 4 5 6 7 8 9 10
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Pointers\label{ctypes-pointers}}
|
||
|
||
Pointer instances are created by calling the \code{pointer} function on a
|
||
\code{ctypes} type:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> i = c_int(42)
|
||
>>> pi = pointer(i)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Pointer instances have a \code{contents} attribute which returns the
|
||
object to which the pointer points, the \code{i} object above:
|
||
\begin{verbatim}
|
||
>>> pi.contents
|
||
c_long(42)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Note that \code{ctypes} does not have OOR (original object return), it
|
||
constructs a new, equivalent object each time you retrieve an
|
||
attribute:
|
||
\begin{verbatim}
|
||
>>> pi.contents is i
|
||
False
|
||
>>> pi.contents is pi.contents
|
||
False
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Assigning another \class{c{\_}int} instance to the pointer's contents
|
||
attribute would cause the pointer to point to the memory location
|
||
where this is stored:
|
||
\begin{verbatim}
|
||
>>> i = c_int(99)
|
||
>>> pi.contents = i
|
||
>>> pi.contents
|
||
c_long(99)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Pointer instances can also be indexed with integers:
|
||
\begin{verbatim}
|
||
>>> pi[0]
|
||
99
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Assigning to an integer index changes the pointed to value:
|
||
\begin{verbatim}
|
||
>>> print i
|
||
c_long(99)
|
||
>>> pi[0] = 22
|
||
>>> print i
|
||
c_long(22)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
It is also possible to use indexes different from 0, but you must know
|
||
what you're doing, just as in C: You can access or change arbitrary
|
||
memory locations. Generally you only use this feature if you receive a
|
||
pointer from a C function, and you \emph{know} that the pointer actually
|
||
points to an array instead of a single item.
|
||
|
||
Behind the scenes, the \code{pointer} function does more than simply
|
||
create pointer instances, it has to create pointer \emph{types} first.
|
||
This is done with the \code{POINTER} function, which accepts any
|
||
\code{ctypes} type, and returns a new type:
|
||
\begin{verbatim}
|
||
>>> PI = POINTER(c_int)
|
||
>>> PI
|
||
<class 'ctypes.LP_c_long'>
|
||
>>> PI(42)
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
TypeError: expected c_long instead of int
|
||
>>> PI(c_int(42))
|
||
<ctypes.LP_c_long object at 0x...>
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Calling the pointer type without an argument creates a \code{NULL}
|
||
pointer. \code{NULL} pointers have a \code{False} boolean value:
|
||
\begin{verbatim}
|
||
>>> null_ptr = POINTER(c_int)()
|
||
>>> print bool(null_ptr)
|
||
False
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
\code{ctypes} checks for \code{NULL} when dereferencing pointers (but
|
||
dereferencing non-\code{NULL} pointers would crash Python):
|
||
\begin{verbatim}
|
||
>>> null_ptr[0]
|
||
Traceback (most recent call last):
|
||
....
|
||
ValueError: NULL pointer access
|
||
>>>
|
||
|
||
>>> null_ptr[0] = 1234
|
||
Traceback (most recent call last):
|
||
....
|
||
ValueError: NULL pointer access
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Type conversions\label{ctypes-type-conversions}}
|
||
|
||
Usually, ctypes does strict type checking. This means, if you have
|
||
\code{POINTER(c{\_}int)} in the \member{argtypes} list of a function or as the
|
||
type of a member field in a structure definition, only instances of
|
||
exactly the same type are accepted. There are some exceptions to this
|
||
rule, where ctypes accepts other objects. For example, you can pass
|
||
compatible array instances instead of pointer types. So, for
|
||
\code{POINTER(c{\_}int)}, ctypes accepts an array of c{\_}int:
|
||
\begin{verbatim}
|
||
>>> class Bar(Structure):
|
||
... _fields_ = [("count", c_int), ("values", POINTER(c_int))]
|
||
...
|
||
>>> bar = Bar()
|
||
>>> bar.values = (c_int * 3)(1, 2, 3)
|
||
>>> bar.count = 3
|
||
>>> for i in range(bar.count):
|
||
... print bar.values[i]
|
||
...
|
||
1
|
||
2
|
||
3
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
To set a POINTER type field to \code{NULL}, you can assign \code{None}:
|
||
\begin{verbatim}
|
||
>>> bar.values = None
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
XXX list other conversions...
|
||
|
||
Sometimes you have instances of incompatible types. In \code{C}, you can
|
||
cast one type into another type. \code{ctypes} provides a \code{cast}
|
||
function which can be used in the same way. The \code{Bar} structure
|
||
defined above accepts \code{POINTER(c{\_}int)} pointers or \class{c{\_}int} arrays
|
||
for its \code{values} field, but not instances of other types:
|
||
\begin{verbatim}
|
||
>>> bar.values = (c_byte * 4)()
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
TypeError: incompatible types, c_byte_Array_4 instance instead of LP_c_long instance
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
For these cases, the \code{cast} function is handy.
|
||
|
||
The \code{cast} function can be used to cast a ctypes instance into a
|
||
pointer to a different ctypes data type. \code{cast} takes two
|
||
parameters, a ctypes object that is or can be converted to a pointer
|
||
of some kind, and a ctypes pointer type. It returns an instance of
|
||
the second argument, which references the same memory block as the
|
||
first argument:
|
||
\begin{verbatim}
|
||
>>> a = (c_byte * 4)()
|
||
>>> cast(a, POINTER(c_int))
|
||
<ctypes.LP_c_long object at ...>
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
So, \code{cast} can be used to assign to the \code{values} field of \code{Bar}
|
||
the structure:
|
||
\begin{verbatim}
|
||
>>> bar = Bar()
|
||
>>> bar.values = cast((c_byte * 4)(), POINTER(c_int))
|
||
>>> print bar.values[0]
|
||
0
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Incomplete Types\label{ctypes-incomplete-types}}
|
||
|
||
\emph{Incomplete Types} are structures, unions or arrays whose members are
|
||
not yet specified. In C, they are specified by forward declarations, which
|
||
are defined later:
|
||
\begin{verbatim}
|
||
struct cell; /* forward declaration */
|
||
|
||
struct {
|
||
char *name;
|
||
struct cell *next;
|
||
} cell;
|
||
\end{verbatim}
|
||
|
||
The straightforward translation into ctypes code would be this, but it
|
||
does not work:
|
||
\begin{verbatim}
|
||
>>> class cell(Structure):
|
||
... _fields_ = [("name", c_char_p),
|
||
... ("next", POINTER(cell))]
|
||
...
|
||
Traceback (most recent call last):
|
||
File "<stdin>", line 1, in ?
|
||
File "<stdin>", line 2, in cell
|
||
NameError: name 'cell' is not defined
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
because the new \code{class cell} is not available in the class statement
|
||
itself. In \code{ctypes}, we can define the \code{cell} class and set the
|
||
\member{{\_}fields{\_}} attribute later, after the class statement:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> class cell(Structure):
|
||
... pass
|
||
...
|
||
>>> cell._fields_ = [("name", c_char_p),
|
||
... ("next", POINTER(cell))]
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Lets try it. We create two instances of \code{cell}, and let them point
|
||
to each other, and finally follow the pointer chain a few times:
|
||
\begin{verbatim}
|
||
>>> c1 = cell()
|
||
>>> c1.name = "foo"
|
||
>>> c2 = cell()
|
||
>>> c2.name = "bar"
|
||
>>> c1.next = pointer(c2)
|
||
>>> c2.next = pointer(c1)
|
||
>>> p = c1
|
||
>>> for i in range(8):
|
||
... print p.name,
|
||
... p = p.next[0]
|
||
...
|
||
foo bar foo bar foo bar foo bar
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Callback functions\label{ctypes-callback-functions}}
|
||
|
||
\code{ctypes} allows to create C callable function pointers from Python
|
||
callables. These are sometimes called \emph{callback functions}.
|
||
|
||
First, you must create a class for the callback function, the class
|
||
knows the calling convention, the return type, and the number and
|
||
types of arguments this function will receive.
|
||
|
||
The CFUNCTYPE factory function creates types for callback functions
|
||
using the normal cdecl calling convention, and, on Windows, the
|
||
WINFUNCTYPE factory function creates types for callback functions
|
||
using the stdcall calling convention.
|
||
|
||
Both of these factory functions are called with the result type as
|
||
first argument, and the callback functions expected argument types as
|
||
the remaining arguments.
|
||
|
||
I will present an example here which uses the standard C library's
|
||
\function{qsort} function, this is used to sort items with the help of a
|
||
callback function. \function{qsort} will be used to sort an array of
|
||
integers:
|
||
\begin{verbatim}
|
||
>>> IntArray5 = c_int * 5
|
||
>>> ia = IntArray5(5, 1, 7, 33, 99)
|
||
>>> qsort = libc.qsort
|
||
>>> qsort.restype = None
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
\function{qsort} must be called with a pointer to the data to sort, the
|
||
number of items in the data array, the size of one item, and a pointer
|
||
to the comparison function, the callback. The callback will then be
|
||
called with two pointers to items, and it must return a negative
|
||
integer if the first item is smaller than the second, a zero if they
|
||
are equal, and a positive integer else.
|
||
|
||
So our callback function receives pointers to integers, and must
|
||
return an integer. First we create the \code{type} for the callback
|
||
function:
|
||
\begin{verbatim}
|
||
>>> CMPFUNC = CFUNCTYPE(c_int, POINTER(c_int), POINTER(c_int))
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
For the first implementation of the callback function, we simply print
|
||
the arguments we get, and return 0 (incremental development ;-):
|
||
\begin{verbatim}
|
||
>>> def py_cmp_func(a, b):
|
||
... print "py_cmp_func", a, b
|
||
... return 0
|
||
...
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Create the C callable callback:
|
||
\begin{verbatim}
|
||
>>> cmp_func = CMPFUNC(py_cmp_func)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
And we're ready to go:
|
||
\begin{verbatim}
|
||
>>> qsort(ia, len(ia), sizeof(c_int), cmp_func) # doctest: +WINDOWS
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
py_cmp_func <ctypes.LP_c_long object at 0x00...> <ctypes.LP_c_long object at 0x00...>
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
We know how to access the contents of a pointer, so lets redefine our callback:
|
||
\begin{verbatim}
|
||
>>> def py_cmp_func(a, b):
|
||
... print "py_cmp_func", a[0], b[0]
|
||
... return 0
|
||
...
|
||
>>> cmp_func = CMPFUNC(py_cmp_func)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Here is what we get on Windows:
|
||
\begin{verbatim}
|
||
>>> qsort(ia, len(ia), sizeof(c_int), cmp_func) # doctest: +WINDOWS
|
||
py_cmp_func 7 1
|
||
py_cmp_func 33 1
|
||
py_cmp_func 99 1
|
||
py_cmp_func 5 1
|
||
py_cmp_func 7 5
|
||
py_cmp_func 33 5
|
||
py_cmp_func 99 5
|
||
py_cmp_func 7 99
|
||
py_cmp_func 33 99
|
||
py_cmp_func 7 33
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
It is funny to see that on linux the sort function seems to work much
|
||
more efficient, it is doing less comparisons:
|
||
\begin{verbatim}
|
||
>>> qsort(ia, len(ia), sizeof(c_int), cmp_func) # doctest: +LINUX
|
||
py_cmp_func 5 1
|
||
py_cmp_func 33 99
|
||
py_cmp_func 7 33
|
||
py_cmp_func 5 7
|
||
py_cmp_func 1 7
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Ah, we're nearly done! The last step is to actually compare the two
|
||
items and return a useful result:
|
||
\begin{verbatim}
|
||
>>> def py_cmp_func(a, b):
|
||
... print "py_cmp_func", a[0], b[0]
|
||
... return a[0] - b[0]
|
||
...
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Final run on Windows:
|
||
\begin{verbatim}
|
||
>>> qsort(ia, len(ia), sizeof(c_int), CMPFUNC(py_cmp_func)) # doctest: +WINDOWS
|
||
py_cmp_func 33 7
|
||
py_cmp_func 99 33
|
||
py_cmp_func 5 99
|
||
py_cmp_func 1 99
|
||
py_cmp_func 33 7
|
||
py_cmp_func 1 33
|
||
py_cmp_func 5 33
|
||
py_cmp_func 5 7
|
||
py_cmp_func 1 7
|
||
py_cmp_func 5 1
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
and on Linux:
|
||
\begin{verbatim}
|
||
>>> qsort(ia, len(ia), sizeof(c_int), CMPFUNC(py_cmp_func)) # doctest: +LINUX
|
||
py_cmp_func 5 1
|
||
py_cmp_func 33 99
|
||
py_cmp_func 7 33
|
||
py_cmp_func 1 7
|
||
py_cmp_func 5 7
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
It is quite interesting to see that the Windows \function{qsort} function
|
||
needs more comparisons than the linux version!
|
||
|
||
As we can easily check, our array is sorted now:
|
||
\begin{verbatim}
|
||
>>> for i in ia: print i,
|
||
...
|
||
1 5 7 33 99
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
\textbf{Important note for callback functions:}
|
||
|
||
Make sure you keep references to CFUNCTYPE objects as long as they are
|
||
used from C code. \code{ctypes} doesn't, and if you don't, they may be
|
||
garbage collected, crashing your program when a callback is made.
|
||
|
||
|
||
\subsubsection{Accessing values exported from dlls\label{ctypes-accessing-values-exported-from-dlls}}
|
||
|
||
Sometimes, a dll not only exports functions, it also exports
|
||
variables. An example in the Python library itself is the
|
||
\code{Py{\_}OptimizeFlag}, an integer set to 0, 1, or 2, depending on the
|
||
\programopt{-O} or \programopt{-OO} flag given on startup.
|
||
|
||
\code{ctypes} can access values like this with the \method{in{\_}dll} class
|
||
methods of the type. \var{pythonapi} <20>s a predefined symbol giving
|
||
access to the Python C api:
|
||
\begin{verbatim}
|
||
>>> opt_flag = c_int.in_dll(pythonapi, "Py_OptimizeFlag")
|
||
>>> print opt_flag
|
||
c_long(0)
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
If the interpreter would have been started with \programopt{-O}, the sample
|
||
would have printed \code{c{\_}long(1)}, or \code{c{\_}long(2)} if \programopt{-OO} would have
|
||
been specified.
|
||
|
||
An extended example which also demonstrates the use of pointers
|
||
accesses the \code{PyImport{\_}FrozenModules} pointer exported by Python.
|
||
|
||
Quoting the Python docs: \emph{This pointer is initialized to point to an
|
||
array of ``struct {\_}frozen`` records, terminated by one whose members
|
||
are all NULL or zero. When a frozen module is imported, it is searched
|
||
in this table. Third-party code could play tricks with this to provide
|
||
a dynamically created collection of frozen modules.}
|
||
|
||
So manipulating this pointer could even prove useful. To restrict the
|
||
example size, we show only how this table can be read with
|
||
\code{ctypes}:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>>
|
||
>>> class struct_frozen(Structure):
|
||
... _fields_ = [("name", c_char_p),
|
||
... ("code", POINTER(c_ubyte)),
|
||
... ("size", c_int)]
|
||
...
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
We have defined the \code{struct {\_}frozen} data type, so we can get the
|
||
pointer to the table:
|
||
\begin{verbatim}
|
||
>>> FrozenTable = POINTER(struct_frozen)
|
||
>>> table = FrozenTable.in_dll(pythonapi, "PyImport_FrozenModules")
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Since \code{table} is a \code{pointer} to the array of \code{struct{\_}frozen}
|
||
records, we can iterate over it, but we just have to make sure that
|
||
our loop terminates, because pointers have no size. Sooner or later it
|
||
would probably crash with an access violation or whatever, so it's
|
||
better to break out of the loop when we hit the NULL entry:
|
||
\begin{verbatim}
|
||
>>> for item in table:
|
||
... print item.name, item.size
|
||
... if item.name is None:
|
||
... break
|
||
...
|
||
__hello__ 104
|
||
__phello__ -104
|
||
__phello__.spam 104
|
||
None 0
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
The fact that standard Python has a frozen module and a frozen package
|
||
(indicated by the negative size member) is not wellknown, it is only
|
||
used for testing. Try it out with \code{import {\_}{\_}hello{\_}{\_}} for example.
|
||
|
||
|
||
\subsubsection{Surprises\label{ctypes-surprises}}
|
||
|
||
There are some edges in \code{ctypes} where you may be expect something
|
||
else than what actually happens.
|
||
|
||
Consider the following example:
|
||
\begin{verbatim}
|
||
>>> from ctypes import *
|
||
>>> class POINT(Structure):
|
||
... _fields_ = ("x", c_int), ("y", c_int)
|
||
...
|
||
>>> class RECT(Structure):
|
||
... _fields_ = ("a", POINT), ("b", POINT)
|
||
...
|
||
>>> p1 = POINT(1, 2)
|
||
>>> p2 = POINT(3, 4)
|
||
>>> rc = RECT(p1, p2)
|
||
>>> print rc.a.x, rc.a.y, rc.b.x, rc.b.y
|
||
1 2 3 4
|
||
>>> # now swap the two points
|
||
>>> rc.a, rc.b = rc.b, rc.a
|
||
>>> print rc.a.x, rc.a.y, rc.b.x, rc.b.y
|
||
3 4 3 4
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Hm. We certainly expected the last statement to print \code{3 4 1 2}.
|
||
What happended? Here are the steps of the \code{rc.a, rc.b = rc.b, rc.a}
|
||
line above:
|
||
\begin{verbatim}
|
||
>>> temp0, temp1 = rc.b, rc.a
|
||
>>> rc.a = temp0
|
||
>>> rc.b = temp1
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Note that \code{temp0} and \code{temp1} are objects still using the internal
|
||
buffer of the \code{rc} object above. So executing \code{rc.a = temp0}
|
||
copies the buffer contents of \code{temp0} into \code{rc} 's buffer. This,
|
||
in turn, changes the contents of \code{temp1}. So, the last assignment
|
||
\code{rc.b = temp1}, doesn't have the expected effect.
|
||
|
||
Keep in mind that retrieving subobjects from Structure, Unions, and
|
||
Arrays doesn't \emph{copy} the subobject, instead it retrieves a wrapper
|
||
object accessing the root-object's underlying buffer.
|
||
|
||
Another example that may behave different from what one would expect is this:
|
||
\begin{verbatim}
|
||
>>> s = c_char_p()
|
||
>>> s.value = "abc def ghi"
|
||
>>> s.value
|
||
'abc def ghi'
|
||
>>> s.value is s.value
|
||
False
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Why is it printing \code{False}? ctypes instances are objects containing
|
||
a memory block plus some descriptors accessing the contents of the
|
||
memory. Storing a Python object in the memory block does not store
|
||
the object itself, instead the \code{contents} of the object is stored.
|
||
Accessing the contents again constructs a new Python each time!
|
||
|
||
|
||
\subsubsection{Variable-sized data types\label{ctypes-variable-sized-data-types}}
|
||
|
||
\code{ctypes} provides some support for variable-sized arrays and
|
||
structures (this was added in version 0.9.9.7).
|
||
|
||
The \code{resize} function can be used to resize the memory buffer of an
|
||
existing ctypes object. The function takes the object as first
|
||
argument, and the requested size in bytes as the second argument. The
|
||
memory block cannot be made smaller than the natural memory block
|
||
specified by the objects type, a \code{ValueError} is raised if this is
|
||
tried:
|
||
\begin{verbatim}
|
||
>>> short_array = (c_short * 4)()
|
||
>>> print sizeof(short_array)
|
||
8
|
||
>>> resize(short_array, 4)
|
||
Traceback (most recent call last):
|
||
...
|
||
ValueError: minimum size is 8
|
||
>>> resize(short_array, 32)
|
||
>>> sizeof(short_array)
|
||
32
|
||
>>> sizeof(type(short_array))
|
||
8
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
This is nice and fine, but how would one access the additional
|
||
elements contained in this array? Since the type still only knows
|
||
about 4 elements, we get errors accessing other elements:
|
||
\begin{verbatim}
|
||
>>> short_array[:]
|
||
[0, 0, 0, 0]
|
||
>>> short_array[7]
|
||
Traceback (most recent call last):
|
||
...
|
||
IndexError: invalid index
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
Another way to use variable-sized data types with \code{ctypes} is to use
|
||
the dynamic nature of Python, and (re-)define the data type after the
|
||
required size is already known, on a case by case basis.
|
||
|
||
|
||
\subsubsection{Bugs, ToDo and non-implemented things\label{ctypes-bugs-todo-non-implemented-things}}
|
||
|
||
Enumeration types are not implemented. You can do it easily yourself,
|
||
using \class{c{\_}int} as the base class.
|
||
|
||
\code{long double} is not implemented.
|
||
% Local Variables:
|
||
% compile-command: "make.bat"
|
||
% End:
|
||
|
||
|
||
\subsection{ctypes reference\label{ctypes-ctypes-reference}}
|
||
|
||
|
||
\subsubsection{Finding shared libraries\label{ctypes-finding-shared-libraries}}
|
||
|
||
When programming in a compiled language, shared libraries are accessed
|
||
when compiling/linking a program, and when the program is run.
|
||
|
||
The purpose of the \code{find{\_}library} function is to locate a library in
|
||
a way similar to what the compiler does (on platforms with several
|
||
versions of a shared library the most recent should be loaded), while
|
||
the ctypes library loaders act like when a program is run, and call
|
||
the runtime loader directly.
|
||
|
||
The \code{ctypes.util} module provides a function which can help to
|
||
determine the library to load.
|
||
|
||
\begin{datadescni}{find_library(name)}
|
||
Try to find a library and return a pathname. \var{name} is the
|
||
library name without any prefix like \var{lib}, suffix like \code{.so},
|
||
\code{.dylib} or version number (this is the form used for the posix
|
||
linker option \programopt{-l}). If no library can be found, returns
|
||
\code{None}.
|
||
\end{datadescni}
|
||
|
||
The exact functionality is system dependend.
|
||
|
||
On Linux, \code{find{\_}library} tries to run external programs
|
||
(/sbin/ldconfig, gcc, and objdump) to find the library file. It
|
||
returns the filename of the library file. Here are sone examples:
|
||
\begin{verbatim}
|
||
>>> from ctypes.util import find_library
|
||
>>> find_library("m")
|
||
'libm.so.6'
|
||
>>> find_library("c")
|
||
'libc.so.6'
|
||
>>> find_library("bz2")
|
||
'libbz2.so.1.0'
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
On OS X, \code{find{\_}library} tries several predefined naming schemes and
|
||
paths to locate the library, and returns a full pathname if successfull:
|
||
\begin{verbatim}
|
||
>>> from ctypes.util import find_library
|
||
>>> find_library("c")
|
||
'/usr/lib/libc.dylib'
|
||
>>> find_library("m")
|
||
'/usr/lib/libm.dylib'
|
||
>>> find_library("bz2")
|
||
'/usr/lib/libbz2.dylib'
|
||
>>> find_library("AGL")
|
||
'/System/Library/Frameworks/AGL.framework/AGL'
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
On Windows, \code{find{\_}library} searches along the system search path,
|
||
and returns the full pathname, but since there is no predefined naming
|
||
scheme a call like \code{find{\_}library("c")} will fail and return
|
||
\code{None}.
|
||
|
||
If wrapping a shared library with \code{ctypes}, it \emph{may} be better to
|
||
determine the shared library name at development type, and hardcode
|
||
that into the wrapper module instead of using \code{find{\_}library} to
|
||
locate the library at runtime.
|
||
|
||
|
||
\subsubsection{Loading shared libraries\label{ctypes-loading-shared-libraries}}
|
||
|
||
There are several ways to loaded shared libraries into the Python
|
||
process. One way is to instantiate one of the following classes:
|
||
|
||
\begin{classdesc}{CDLL}{name, mode=DEFAULT_MODE, handle=None}
|
||
Instances of this class represent loaded shared libraries.
|
||
Functions in these libraries use the standard C calling
|
||
convention, and are assumed to return \code{int}.
|
||
\end{classdesc}
|
||
|
||
\begin{classdesc}{OleDLL}{name, mode=DEFAULT_MODE, handle=None}
|
||
Windows only: Instances of this class represent loaded shared
|
||
libraries, functions in these libraries use the \code{stdcall}
|
||
calling convention, and are assumed to return the windows specific
|
||
\class{HRESULT} code. \class{HRESULT} values contain information
|
||
specifying whether the function call failed or succeeded, together
|
||
with additional error code. If the return value signals a
|
||
failure, an \class{WindowsError} is automatically raised.
|
||
\end{classdesc}
|
||
|
||
\begin{classdesc}{WinDLL}{name, mode=DEFAULT_MODE, handle=None}
|
||
Windows only: Instances of this class represent loaded shared
|
||
libraries, functions in these libraries use the \code{stdcall}
|
||
calling convention, and are assumed to return \code{int} by default.
|
||
|
||
On Windows CE only the standard calling convention is used, for
|
||
convenience the \class{WinDLL} and \class{OleDLL} use the standard calling
|
||
convention on this platform.
|
||
\end{classdesc}
|
||
|
||
The Python GIL is released before calling any function exported by
|
||
these libraries, and reaquired afterwards.
|
||
|
||
\begin{classdesc}{PyDLL}{name, mode=DEFAULT_MODE, handle=None}
|
||
Instances of this class behave like \class{CDLL} instances, except
|
||
that the Python GIL is \emph{not} released during the function call,
|
||
and after the function execution the Python error flag is checked.
|
||
If the error flag is set, a Python exception is raised.
|
||
|
||
Thus, this is only useful to call Python C api functions directly.
|
||
\end{classdesc}
|
||
|
||
All these classes can be instantiated by calling them with at least
|
||
one argument, the pathname of the shared library. If you have an
|
||
existing handle to an already loaded shard library, it can be passed
|
||
as the \code{handle} named parameter, otherwise the underlying platforms
|
||
\code{dlopen} or \method{LoadLibrary} function is used to load the library
|
||
into the process, and to get a handle to it.
|
||
|
||
The \var{mode} parameter can be used to specify how the library is
|
||
loaded. For details, consult the \code{dlopen(3)} manpage, on Windows,
|
||
\var{mode} is ignored.
|
||
|
||
\begin{datadescni}{RTLD_GLOBAL}
|
||
Flag to use as \var{mode} parameter. On platforms where this flag
|
||
is not available, it is defined as the integer zero.
|
||
\end{datadescni}
|
||
|
||
\begin{datadescni}{RTLD_LOCAL}
|
||
Flag to use as \var{mode} parameter. On platforms where this is not
|
||
available, it is the same as \var{RTLD{\_}GLOBAL}.
|
||
\end{datadescni}
|
||
|
||
\begin{datadescni}{DEFAULT_MODE}
|
||
The default mode which is used to load shared libraries. On OSX
|
||
10.3, this is \var{RTLD{\_}GLOBAL}, otherwise it is the same as
|
||
\var{RTLD{\_}LOCAL}.
|
||
\end{datadescni}
|
||
|
||
Instances of these classes have no public methods, however
|
||
\method{{\_}{\_}getattr{\_}{\_}} and \method{{\_}{\_}getitem{\_}{\_}} have special behaviour: functions
|
||
exported by the shared library can be accessed as attributes of by
|
||
index. Please note that both \method{{\_}{\_}getattr{\_}{\_}} and \method{{\_}{\_}getitem{\_}{\_}}
|
||
cache their result, so calling them repeatedly returns the same object
|
||
each time.
|
||
|
||
The following public attributes are available, their name starts with
|
||
an underscore to not clash with exported function names:
|
||
|
||
\begin{memberdesc}{_handle}
|
||
The system handle used to access the library.
|
||
\end{memberdesc}
|
||
|
||
\begin{memberdesc}{_name}
|
||
The name of the library passed in the contructor.
|
||
\end{memberdesc}
|
||
|
||
Shared libraries can also be loaded by using one of the prefabricated
|
||
objects, which are instances of the \class{LibraryLoader} class, either by
|
||
calling the \method{LoadLibrary} method, or by retrieving the library as
|
||
attribute of the loader instance.
|
||
|
||
\begin{classdesc}{LibraryLoader}{dlltype}
|
||
Class which loads shared libraries. \code{dlltype} should be one
|
||
of the \class{CDLL}, \class{PyDLL}, \class{WinDLL}, or \class{OleDLL} types.
|
||
|
||
\method{{\_}{\_}getattr{\_}{\_}} has special behaviour: It allows to load a shared
|
||
library by accessing it as attribute of a library loader
|
||
instance. The result is cached, so repeated attribute accesses
|
||
return the same library each time.
|
||
\end{classdesc}
|
||
|
||
\begin{methoddesc}{LoadLibrary}{name}
|
||
Load a shared library into the process and return it. This method
|
||
always returns a new instance of the library.
|
||
\end{methoddesc}
|
||
|
||
These prefabricated library loaders are available:
|
||
|
||
\begin{datadescni}{cdll}
|
||
Creates \class{CDLL} instances.
|
||
\end{datadescni}
|
||
|
||
\begin{datadescni}{windll}
|
||
Windows only: Creates \class{WinDLL} instances.
|
||
\end{datadescni}
|
||
|
||
\begin{datadescni}{oledll}
|
||
Windows only: Creates \class{OleDLL} instances.
|
||
\end{datadescni}
|
||
|
||
\begin{datadescni}{pydll}
|
||
Creates \class{PyDLL} instances.
|
||
\end{datadescni}
|
||
|
||
For accessing the C Python api directly, a ready-to-use Python shared
|
||
library object is available:
|
||
|
||
\begin{datadescni}{pythonapi}
|
||
An instance of \class{PyDLL} that exposes Python C api functions as
|
||
attributes. Note that all these functions are assumed to return C
|
||
\code{int}, which is of course not always the truth, so you have to
|
||
assign the correct \member{restype} attribute to use these functions.
|
||
\end{datadescni}
|
||
|
||
|
||
\subsubsection{Foreign functions\label{ctypes-foreign-functions}}
|
||
|
||
As explained in the previous section, foreign functions can be
|
||
accessed as attributes of loaded shared libraries. The function
|
||
objects created in this way by default accept any number of arguments,
|
||
accept any ctypes data instances as arguments, and return the default
|
||
result type specified by the library loader. They are instances of a
|
||
private class:
|
||
|
||
\begin{classdesc*}{_FuncPtr}
|
||
Base class for C callable foreign functions.
|
||
\end{classdesc*}
|
||
|
||
Instances of foreign functions are also C compatible data types; they
|
||
represent C function pointers.
|
||
|
||
This behaviour can be customized by assigning to special attributes of
|
||
the foreign function object.
|
||
|
||
\begin{memberdesc}{restype}
|
||
Assign a ctypes type to specify the result type of the foreign
|
||
function. Use \code{None} for \code{void} a function not returning
|
||
anything.
|
||
|
||
It is possible to assign a callable Python object that is not a
|
||
ctypes type, in this case the function is assumed to return a
|
||
C \code{int}, and the callable will be called with this integer,
|
||
allowing to do further processing or error checking. Using this
|
||
is deprecated, for more flexible postprocessing or error checking
|
||
use a ctypes data type as \member{restype} and assign a callable to the
|
||
\member{errcheck} attribute.
|
||
\end{memberdesc}
|
||
|
||
\begin{memberdesc}{argtypes}
|
||
Assign a tuple of ctypes types to specify the argument types that
|
||
the function accepts. Functions using the \code{stdcall} calling
|
||
convention can only be called with the same number of arguments as
|
||
the length of this tuple; functions using the C calling convention
|
||
accept additional, unspecified arguments as well.
|
||
|
||
When a foreign function is called, each actual argument is passed
|
||
to the \method{from{\_}param} class method of the items in the
|
||
\member{argtypes} tuple, this method allows to adapt the actual
|
||
argument to an object that the foreign function accepts. For
|
||
example, a \class{c{\_}char{\_}p} item in the \member{argtypes} tuple will
|
||
convert a unicode string passed as argument into an byte string
|
||
using ctypes conversion rules.
|
||
|
||
New: It is now possible to put items in argtypes which are not
|
||
ctypes types, but each item must have a \method{from{\_}param} method
|
||
which returns a value usable as argument (integer, string, ctypes
|
||
instance). This allows to define adapters that can adapt custom
|
||
objects as function parameters.
|
||
\end{memberdesc}
|
||
|
||
\begin{memberdesc}{errcheck}
|
||
Assign a Python function or another callable to this attribute.
|
||
The callable will be called with three or more arguments:
|
||
\end{memberdesc}
|
||
|
||
\begin{funcdescni}{callable}{result, func, arguments}
|
||
\code{result} is what the foreign function returns, as specified by the
|
||
\member{restype} attribute.
|
||
|
||
\code{func} is the foreign function object itself, this allows to
|
||
reuse the same callable object to check or postprocess the results
|
||
of several functions.
|
||
|
||
\code{arguments} is a tuple containing the parameters originally
|
||
passed to the function call, this allows to specialize the
|
||
behaviour on the arguments used.
|
||
|
||
The object that this function returns will be returned from the
|
||
foreign function call, but it can also check the result value and
|
||
raise an exception if the foreign function call failed.
|
||
\end{funcdescni}
|
||
|
||
\begin{excdesc}{ArgumentError()}
|
||
This exception is raised when a foreign function call cannot
|
||
convert one of the passed arguments.
|
||
\end{excdesc}
|
||
|
||
|
||
\subsubsection{Function prototypes\label{ctypes-function-prototypes}}
|
||
|
||
Foreign functions can also be created by instantiating function
|
||
prototypes. Function prototypes are similar to function prototypes in
|
||
C; they describe a function (return type, argument types, calling
|
||
convention) without defining an implementation. The factory
|
||
functions must be called with the desired result type and the argument
|
||
types of the function.
|
||
|
||
\begin{funcdesc}{CFUNCTYPE}{restype, *argtypes}
|
||
The returned function prototype creates functions that use the
|
||
standard C calling convention. The function will release the GIL
|
||
during the call.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{WINFUNCTYPE}{restype, *argtypes}
|
||
Windows only: The returned function prototype creates functions
|
||
that use the \code{stdcall} calling convention, except on Windows CE
|
||
where \function{WINFUNCTYPE} is the same as \function{CFUNCTYPE}. The function
|
||
will release the GIL during the call.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{PYFUNCTYPE}{restype, *argtypes}
|
||
The returned function prototype creates functions that use the
|
||
Python calling convention. The function will \emph{not} release the
|
||
GIL during the call.
|
||
\end{funcdesc}
|
||
|
||
Function prototypes created by the factory functions can be
|
||
instantiated in different ways, depending on the type and number of
|
||
the parameters in the call.
|
||
|
||
\begin{funcdescni}{prototype}{address}
|
||
Returns a foreign function at the specified address.
|
||
\end{funcdescni}
|
||
|
||
\begin{funcdescni}{prototype}{callable}
|
||
Create a C callable function (a callback function) from a Python
|
||
\code{callable}.
|
||
\end{funcdescni}
|
||
|
||
\begin{funcdescni}{prototype}{func_spec\optional{, paramflags}}
|
||
Returns a foreign function exported by a shared library.
|
||
\code{func{\_}spec} must be a 2-tuple \code{(name{\_}or{\_}ordinal, library)}.
|
||
The first item is the name of the exported function as string, or
|
||
the ordinal of the exported function as small integer. The second
|
||
item is the shared library instance.
|
||
\end{funcdescni}
|
||
|
||
\begin{funcdescni}{prototype}{vtbl_index, name\optional{, paramflags\optional{, iid}}}
|
||
Returns a foreign function that will call a COM method.
|
||
\code{vtbl{\_}index} is the index into the virtual function table, a
|
||
small nonnegative integer. \var{name} is name of the COM method.
|
||
\var{iid} is an optional pointer to the interface identifier which
|
||
is used in extended error reporting.
|
||
|
||
COM methods use a special calling convention: They require a
|
||
pointer to the COM interface as first argument, in addition to
|
||
those parameters that are specified in the \member{argtypes} tuple.
|
||
\end{funcdescni}
|
||
|
||
The optional \var{paramflags} parameter creates foreign function
|
||
wrappers with much more functionality than the features described
|
||
above.
|
||
|
||
\var{paramflags} must be a tuple of the same length as \member{argtypes}.
|
||
|
||
Each item in this tuple contains further information about a
|
||
parameter, it must be a tuple containing 1, 2, or 3 items.
|
||
|
||
The first item is an integer containing flags for the parameter:
|
||
|
||
\begin{datadescni}{1}
|
||
Specifies an input parameter to the function.
|
||
\end{datadescni}
|
||
|
||
\begin{datadescni}{2}
|
||
Output parameter. The foreign function fills in a value.
|
||
\end{datadescni}
|
||
|
||
\begin{datadescni}{4}
|
||
Input parameter which defaults to the integer zero.
|
||
\end{datadescni}
|
||
|
||
The optional second item is the parameter name as string. If this is
|
||
specified, the foreign function can be called with named parameters.
|
||
|
||
The optional third item is the default value for this parameter.
|
||
|
||
This example demonstrates how to wrap the Windows \code{MessageBoxA}
|
||
function so that it supports default parameters and named arguments.
|
||
The C declaration from the windows header file is this:
|
||
\begin{verbatim}
|
||
WINUSERAPI int WINAPI
|
||
MessageBoxA(
|
||
HWND hWnd ,
|
||
LPCSTR lpText,
|
||
LPCSTR lpCaption,
|
||
UINT uType);
|
||
\end{verbatim}
|
||
|
||
Here is the wrapping with \code{ctypes}:
|
||
\begin{quote}
|
||
\begin{verbatim}>>> from ctypes import c_int, WINFUNCTYPE, windll
|
||
>>> from ctypes.wintypes import HWND, LPCSTR, UINT
|
||
>>> prototype = WINFUNCTYPE(c_int, HWND, LPCSTR, LPCSTR, UINT)
|
||
>>> paramflags = (1, "hwnd", 0), (1, "text", "Hi"), (1, "caption", None), (1, "flags", 0)
|
||
>>> MessageBox = prototype(("MessageBoxA", windll.user32), paramflags)
|
||
>>>\end{verbatim}
|
||
\end{quote}
|
||
|
||
The MessageBox foreign function can now be called in these ways:
|
||
\begin{verbatim}
|
||
>>> MessageBox()
|
||
>>> MessageBox(text="Spam, spam, spam")
|
||
>>> MessageBox(flags=2, text="foo bar")
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
A second example demonstrates output parameters. The win32
|
||
\code{GetWindowRect} function retrieves the dimensions of a specified
|
||
window by copying them into \code{RECT} structure that the caller has to
|
||
supply. Here is the C declaration:
|
||
\begin{verbatim}
|
||
WINUSERAPI BOOL WINAPI
|
||
GetWindowRect(
|
||
HWND hWnd,
|
||
LPRECT lpRect);
|
||
\end{verbatim}
|
||
|
||
Here is the wrapping with \code{ctypes}:
|
||
\begin{quote}
|
||
\begin{verbatim}>>> from ctypes import POINTER, WINFUNCTYPE, windll, WinError
|
||
>>> from ctypes.wintypes import BOOL, HWND, RECT
|
||
>>> prototype = WINFUNCTYPE(BOOL, HWND, POINTER(RECT))
|
||
>>> paramflags = (1, "hwnd"), (2, "lprect")
|
||
>>> GetWindowRect = prototype(("GetWindowRect", windll.user32), paramflags)
|
||
>>>\end{verbatim}
|
||
\end{quote}
|
||
|
||
Functions with output parameters will automatically return the output
|
||
parameter value if there is a single one, or a tuple containing the
|
||
output parameter values when there are more than one, so the
|
||
GetWindowRect function now returns a RECT instance, when called.
|
||
|
||
Output parameters can be combined with the \member{errcheck} protocol to do
|
||
further output processing and error checking. The win32
|
||
\code{GetWindowRect} api function returns a \code{BOOL} to signal success or
|
||
failure, so this function could do the error checking, and raises an
|
||
exception when the api call failed:
|
||
\begin{verbatim}
|
||
>>> def errcheck(result, func, args):
|
||
... if not result:
|
||
... raise WinError()
|
||
... return args
|
||
>>> GetWindowRect.errcheck = errcheck
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
If the \member{errcheck} function returns the argument tuple it receives
|
||
unchanged, \code{ctypes} continues the normal processing it does on the
|
||
output parameters. If you want to return a tuple of window
|
||
coordinates instead of a \code{RECT} instance, you can retrieve the
|
||
fields in the function and return them instead, the normal processing
|
||
will no longer take place:
|
||
\begin{verbatim}
|
||
>>> def errcheck(result, func, args):
|
||
... if not result:
|
||
... raise WinError()
|
||
... rc = args[1]
|
||
... return rc.left, rc.top, rc.bottom, rc.right
|
||
>>>
|
||
>>> GetWindowRect.errcheck = errcheck
|
||
>>>
|
||
\end{verbatim}
|
||
|
||
|
||
\subsubsection{Utility functions\label{ctypes-utility-functions}}
|
||
|
||
\begin{funcdesc}{addressof}{obj}
|
||
Returns the address of the memory buffer as integer. \code{obj} must
|
||
be an instance of a ctypes type.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{alignment}{obj_or_type}
|
||
Returns the alignment requirements of a ctypes type.
|
||
\code{obj{\_}or{\_}type} must be a ctypes type or instance.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{byref}{obj}
|
||
Returns a light-weight pointer to \code{obj}, which must be an
|
||
instance of a ctypes type. The returned object can only be used as
|
||
a foreign function call parameter. It behaves similar to
|
||
\code{pointer(obj)}, but the construction is a lot faster.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{cast}{obj, type}
|
||
This function is similar to the cast operator in C. It returns a
|
||
new instance of \code{type} which points to the same memory block as
|
||
\code{obj}. \code{type} must be a pointer type, and \code{obj} must be an
|
||
object that can be interpreted as a pointer.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{create_string_buffer}{init_or_size\optional{, size}}
|
||
This function creates a mutable character buffer. The returned
|
||
object is a ctypes array of \class{c{\_}char}.
|
||
|
||
\code{init{\_}or{\_}size} must be an integer which specifies the size of
|
||
the array, or a string which will be used to initialize the array
|
||
items.
|
||
|
||
If a string is specified as first argument, the buffer is made one
|
||
item larger than the length of the string so that the last element
|
||
in the array is a NUL termination character. An integer can be
|
||
passed as second argument which allows to specify the size of the
|
||
array if the length of the string should not be used.
|
||
|
||
If the first parameter is a unicode string, it is converted into
|
||
an 8-bit string according to ctypes conversion rules.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{create_unicode_buffer}{init_or_size\optional{, size}}
|
||
This function creates a mutable unicode character buffer. The
|
||
returned object is a ctypes array of \class{c{\_}wchar}.
|
||
|
||
\code{init{\_}or{\_}size} must be an integer which specifies the size of
|
||
the array, or a unicode string which will be used to initialize
|
||
the array items.
|
||
|
||
If a unicode string is specified as first argument, the buffer is
|
||
made one item larger than the length of the string so that the
|
||
last element in the array is a NUL termination character. An
|
||
integer can be passed as second argument which allows to specify
|
||
the size of the array if the length of the string should not be
|
||
used.
|
||
|
||
If the first parameter is a 8-bit string, it is converted into an
|
||
unicode string according to ctypes conversion rules.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{DllCanUnloadNow}{}
|
||
Windows only: This function is a hook which allows to implement
|
||
inprocess COM servers with ctypes. It is called from the
|
||
DllCanUnloadNow function that the {\_}ctypes extension dll exports.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{DllGetClassObject}{}
|
||
Windows only: This function is a hook which allows to implement
|
||
inprocess COM servers with ctypes. It is called from the
|
||
DllGetClassObject function that the \code{{\_}ctypes} extension dll exports.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{FormatError}{\optional{code}}
|
||
Windows only: Returns a textual description of the error code. If
|
||
no error code is specified, the last error code is used by calling
|
||
the Windows api function GetLastError.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{GetLastError}{}
|
||
Windows only: Returns the last error code set by Windows in the
|
||
calling thread.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{memmove}{dst, src, count}
|
||
Same as the standard C memmove library function: copies \var{count}
|
||
bytes from \code{src} to \var{dst}. \var{dst} and \code{src} must be
|
||
integers or ctypes instances that can be converted to pointers.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{memset}{dst, c, count}
|
||
Same as the standard C memset library function: fills the memory
|
||
block at address \var{dst} with \var{count} bytes of value
|
||
\var{c}. \var{dst} must be an integer specifying an address, or a
|
||
ctypes instance.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{POINTER}{type}
|
||
This factory function creates and returns a new ctypes pointer
|
||
type. Pointer types are cached an reused internally, so calling
|
||
this function repeatedly is cheap. type must be a ctypes type.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{pointer}{obj}
|
||
This function creates a new pointer instance, pointing to
|
||
\code{obj}. The returned object is of the type POINTER(type(obj)).
|
||
|
||
Note: If you just want to pass a pointer to an object to a foreign
|
||
function call, you should use \code{byref(obj)} which is much faster.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{resize}{obj, size}
|
||
This function resizes the internal memory buffer of obj, which
|
||
must be an instance of a ctypes type. It is not possible to make
|
||
the buffer smaller than the native size of the objects type, as
|
||
given by sizeof(type(obj)), but it is possible to enlarge the
|
||
buffer.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{set_conversion_mode}{encoding, errors}
|
||
This function sets the rules that ctypes objects use when
|
||
converting between 8-bit strings and unicode strings. encoding
|
||
must be a string specifying an encoding, like \code{'utf-8'} or
|
||
\code{'mbcs'}, errors must be a string specifying the error handling
|
||
on encoding/decoding errors. Examples of possible values are
|
||
\code{"strict"}, \code{"replace"}, or \code{"ignore"}.
|
||
|
||
\code{set{\_}conversion{\_}mode} returns a 2-tuple containing the previous
|
||
conversion rules. On windows, the initial conversion rules are
|
||
\code{('mbcs', 'ignore')}, on other systems \code{('ascii', 'strict')}.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{sizeof}{obj_or_type}
|
||
Returns the size in bytes of a ctypes type or instance memory
|
||
buffer. Does the same as the C \code{sizeof()} function.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{string_at}{address\optional{, size}}
|
||
This function returns the string starting at memory address
|
||
address. If size is specified, it is used as size, otherwise the
|
||
string is assumed to be zero-terminated.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{WinError}{code=None, descr=None}
|
||
Windows only: this function is probably the worst-named thing in
|
||
ctypes. It creates an instance of WindowsError. If \var{code} is not
|
||
specified, \code{GetLastError} is called to determine the error
|
||
code. If \code{descr} is not spcified, \function{FormatError} is called to
|
||
get a textual description of the error.
|
||
\end{funcdesc}
|
||
|
||
\begin{funcdesc}{wstring_at}{address}
|
||
This function returns the wide character string starting at memory
|
||
address \code{address} as unicode string. If \code{size} is specified,
|
||
it is used as the number of characters of the string, otherwise
|
||
the string is assumed to be zero-terminated.
|
||
\end{funcdesc}
|
||
|
||
|
||
\subsubsection{Data types\label{ctypes-data-types}}
|
||
|
||
\begin{classdesc*}{_CData}
|
||
This non-public class is the common base class of all ctypes data
|
||
types. Among other things, all ctypes type instances contain a
|
||
memory block that hold C compatible data; the address of the
|
||
memory block is returned by the \code{addressof()} helper function.
|
||
Another instance variable is exposed as \member{{\_}objects}; this
|
||
contains other Python objects that need to be kept alive in case
|
||
the memory block contains pointers.
|
||
\end{classdesc*}
|
||
|
||
Common methods of ctypes data types, these are all class methods (to
|
||
be exact, they are methods of the metaclass):
|
||
|
||
\begin{methoddesc}{from_address}{address}
|
||
This method returns a ctypes type instance using the memory
|
||
specified by address which must be an integer.
|
||
\end{methoddesc}
|
||
|
||
\begin{methoddesc}{from_param}{obj}
|
||
This method adapts obj to a ctypes type. It is called with the
|
||
actual object used in a foreign function call, when the type is
|
||
present in the foreign functions \member{argtypes} tuple; it must
|
||
return an object that can be used as function call parameter.
|
||
|
||
All ctypes data types have a default implementation of this
|
||
classmethod, normally it returns \code{obj} if that is an instance of
|
||
the type. Some types accept other objects as well.
|
||
\end{methoddesc}
|
||
|
||
\begin{methoddesc}{in_dll}{library, name}
|
||
This method returns a ctypes type instance exported by a shared
|
||
library. \var{name} is the name of the symbol that exports the data,
|
||
\var{library} is the loaded shared library.
|
||
\end{methoddesc}
|
||
|
||
Common instance variables of ctypes data types:
|
||
|
||
\begin{memberdesc}{_b_base_}
|
||
Sometimes ctypes data instances do not own the memory block they
|
||
contain, instead they share part of the memory block of a base
|
||
object. The \member{{\_}b{\_}base{\_}} readonly member is the root ctypes
|
||
object that owns the memory block.
|
||
\end{memberdesc}
|
||
|
||
\begin{memberdesc}{_b_needsfree_}
|
||
This readonly variable is true when the ctypes data instance has
|
||
allocated the memory block itself, false otherwise.
|
||
\end{memberdesc}
|
||
|
||
\begin{memberdesc}{_objects}
|
||
This member is either \code{None} or a dictionary containing Python
|
||
objects that need to be kept alive so that the memory block
|
||
contents is kept valid. This object is only exposed for
|
||
debugging; never modify the contents of this dictionary.
|
||
\end{memberdesc}
|
||
|
||
|
||
\subsubsection{Fundamental data types\label{ctypes-fundamental-data-types}}
|
||
|
||
\begin{classdesc*}{_SimpleCData}
|
||
This non-public class is the base class of all fundamental ctypes
|
||
data types. It is mentioned here because it contains the common
|
||
attributes of the fundamental ctypes data types. \code{{\_}SimpleCData}
|
||
is a subclass of \code{{\_}CData}, so it inherits their methods and
|
||
attributes.
|
||
\end{classdesc*}
|
||
|
||
Instances have a single attribute:
|
||
|
||
\begin{memberdesc}{value}
|
||
This attribute contains the actual value of the instance. For
|
||
integer and pointer types, it is an integer, for character types,
|
||
it is a single character string, for character pointer types it
|
||
is a Python string or unicode string.
|
||
|
||
When the \code{value} attribute is retrieved from a ctypes instance,
|
||
usually a new object is returned each time. \code{ctypes} does \emph{not}
|
||
implement original object return, always a new object is
|
||
constructed. The same is true for all other ctypes object
|
||
instances.
|
||
\end{memberdesc}
|
||
|
||
Fundamental data types, when returned as foreign function call
|
||
results, or, for example, by retrieving structure field members or
|
||
array items, are transparently converted to native Python types. In
|
||
other words, if a foreign function has a \member{restype} of \class{c{\_}char{\_}p},
|
||
you will always receive a Python string, \emph{not} a \class{c{\_}char{\_}p}
|
||
instance.
|
||
|
||
Subclasses of fundamental data types do \emph{not} inherit this behaviour.
|
||
So, if a foreign functions \member{restype} is a subclass of \class{c{\_}void{\_}p},
|
||
you will receive an instance of this subclass from the function call.
|
||
Of course, you can get the value of the pointer by accessing the
|
||
\code{value} attribute.
|
||
|
||
These are the fundamental ctypes data types:
|
||
|
||
\begin{classdesc*}{c_byte}
|
||
Represents the C signed char datatype, and interprets the value as
|
||
small integer. The constructor accepts an optional integer
|
||
initializer; no overflow checking is done.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_char}
|
||
Represents the C char datatype, and interprets the value as a single
|
||
character. The constructor accepts an optional string initializer,
|
||
the length of the string must be exactly one character.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_char_p}
|
||
Represents the C char * datatype, which must be a pointer to a
|
||
zero-terminated string. The constructor accepts an integer
|
||
address, or a string.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_double}
|
||
Represents the C double datatype. The constructor accepts an
|
||
optional float initializer.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_float}
|
||
Represents the C double datatype. The constructor accepts an
|
||
optional float initializer.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_int}
|
||
Represents the C signed int datatype. The constructor accepts an
|
||
optional integer initializer; no overflow checking is done. On
|
||
platforms where \code{sizeof(int) == sizeof(long)} it is an alias to
|
||
\class{c{\_}long}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_int8}
|
||
Represents the C 8-bit \code{signed int} datatype. Usually an alias for
|
||
\class{c{\_}byte}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_int16}
|
||
Represents the C 16-bit signed int datatype. Usually an alias for
|
||
\class{c{\_}short}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_int32}
|
||
Represents the C 32-bit signed int datatype. Usually an alias for
|
||
\class{c{\_}int}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_int64}
|
||
Represents the C 64-bit \code{signed int} datatype. Usually an alias
|
||
for \class{c{\_}longlong}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_long}
|
||
Represents the C \code{signed long} datatype. The constructor accepts an
|
||
optional integer initializer; no overflow checking is done.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_longlong}
|
||
Represents the C \code{signed long long} datatype. The constructor accepts
|
||
an optional integer initializer; no overflow checking is done.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_short}
|
||
Represents the C \code{signed short} datatype. The constructor accepts an
|
||
optional integer initializer; no overflow checking is done.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_size_t}
|
||
Represents the C \code{size{\_}t} datatype.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_ubyte}
|
||
Represents the C \code{unsigned char} datatype, it interprets the
|
||
value as small integer. The constructor accepts an optional
|
||
integer initializer; no overflow checking is done.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_uint}
|
||
Represents the C \code{unsigned int} datatype. The constructor accepts an
|
||
optional integer initializer; no overflow checking is done. On
|
||
platforms where \code{sizeof(int) == sizeof(long)} it is an alias for
|
||
\class{c{\_}ulong}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_uint8}
|
||
Represents the C 8-bit unsigned int datatype. Usually an alias for
|
||
\class{c{\_}ubyte}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_uint16}
|
||
Represents the C 16-bit unsigned int datatype. Usually an alias for
|
||
\class{c{\_}ushort}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_uint32}
|
||
Represents the C 32-bit unsigned int datatype. Usually an alias for
|
||
\class{c{\_}uint}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_uint64}
|
||
Represents the C 64-bit unsigned int datatype. Usually an alias for
|
||
\class{c{\_}ulonglong}.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_ulong}
|
||
Represents the C \code{unsigned long} datatype. The constructor accepts an
|
||
optional integer initializer; no overflow checking is done.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_ulonglong}
|
||
Represents the C \code{unsigned long long} datatype. The constructor
|
||
accepts an optional integer initializer; no overflow checking is
|
||
done.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_ushort}
|
||
Represents the C \code{unsigned short} datatype. The constructor accepts an
|
||
optional integer initializer; no overflow checking is done.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_void_p}
|
||
Represents the C \code{void *} type. The value is represented as
|
||
integer. The constructor accepts an optional integer initializer.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_wchar}
|
||
Represents the C \code{wchar{\_}t} datatype, and interprets the value as a
|
||
single character unicode string. The constructor accepts an
|
||
optional string initializer, the length of the string must be
|
||
exactly one character.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{c_wchar_p}
|
||
Represents the C \code{wchar{\_}t *} datatype, which must be a pointer to
|
||
a zero-terminated wide character string. The constructor accepts
|
||
an integer address, or a string.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{HRESULT}
|
||
Windows only: Represents a \class{HRESULT} value, which contains success
|
||
or error information for a function or method call.
|
||
\end{classdesc*}
|
||
|
||
\begin{classdesc*}{py_object}
|
||
Represents the C \code{PyObject *} datatype. Calling this without an
|
||
argument creates a \code{NULL} \code{PyObject *} pointer.
|
||
\end{classdesc*}
|
||
|
||
The \code{ctypes.wintypes} module provides quite some other Windows
|
||
specific data types, for example \code{HWND}, \code{WPARAM}, or \code{DWORD}.
|
||
Some useful structures like \code{MSG} or \code{RECT} are also defined.
|
||
|
||
|
||
\subsubsection{Structured data types\label{ctypes-structured-data-types}}
|
||
|
||
\begin{classdesc}{Union}{*args, **kw}
|
||
Abstract base class for unions in native byte order.
|
||
\end{classdesc}
|
||
|
||
\begin{classdesc}{BigEndianStructure}{*args, **kw}
|
||
Abstract base class for structures in \emph{big endian} byte order.
|
||
\end{classdesc}
|
||
|
||
\begin{classdesc}{LittleEndianStructure}{*args, **kw}
|
||
Abstract base class for structures in \emph{little endian} byte order.
|
||
\end{classdesc}
|
||
|
||
Structures with non-native byte order cannot contain pointer type
|
||
fields, or any other data types containing pointer type fields.
|
||
|
||
\begin{classdesc}{Structure}{*args, **kw}
|
||
Abstract base class for structures in \emph{native} byte order.
|
||
\end{classdesc}
|
||
|
||
Concrete structure and union types must be created by subclassing one
|
||
of these types, and at least define a \member{{\_}fields{\_}} class variable.
|
||
\code{ctypes} will create descriptors which allow reading and writing the
|
||
fields by direct attribute accesses. These are the
|
||
|
||
\begin{memberdesc}{_fields_}
|
||
A sequence defining the structure fields. The items must be
|
||
2-tuples or 3-tuples. The first item is the name of the field,
|
||
the second item specifies the type of the field; it can be any
|
||
ctypes data type.
|
||
|
||
For integer type fields like \class{c{\_}int}, a third optional item can
|
||
be given. It must be a small positive integer defining the bit
|
||
width of the field.
|
||
|
||
Field names must be unique within one structure or union. This is
|
||
not checked, only one field can be accessed when names are
|
||
repeated.
|
||
|
||
It is possible to define the \member{{\_}fields{\_}} class variable \emph{after}
|
||
the class statement that defines the Structure subclass, this
|
||
allows to create data types that directly or indirectly reference
|
||
themselves:
|
||
\begin{verbatim}
|
||
class List(Structure):
|
||
pass
|
||
List._fields_ = [("pnext", POINTER(List)),
|
||
...
|
||
]
|
||
\end{verbatim}
|
||
|
||
The \member{{\_}fields{\_}} class variable must, however, be defined before
|
||
the type is first used (an instance is created, \code{sizeof()} is
|
||
called on it, and so on). Later assignments to the \member{{\_}fields{\_}}
|
||
class variable will raise an AttributeError.
|
||
|
||
Structure and union subclass constructors accept both positional
|
||
and named arguments. Positional arguments are used to initialize
|
||
the fields in the same order as they appear in the \member{{\_}fields{\_}}
|
||
definition, named arguments are used to initialize the fields with
|
||
the corresponding name.
|
||
|
||
It is possible to defined sub-subclasses of structure types, they
|
||
inherit the fields of the base class plus the \member{{\_}fields{\_}} defined
|
||
in the sub-subclass, if any.
|
||
\end{memberdesc}
|
||
|
||
\begin{memberdesc}{_pack_}
|
||
An optional small integer that allows to override the alignment of
|
||
structure fields in the instance. \member{{\_}pack{\_}} must already be
|
||
defined when \member{{\_}fields{\_}} is assigned, otherwise it will have no
|
||
effect.
|
||
\end{memberdesc}
|
||
|
||
\begin{memberdesc}{_anonymous_}
|
||
An optional sequence that lists the names of unnamed (anonymous)
|
||
fields. \code{{\_}anonymous{\_}} must be already defined when \member{{\_}fields{\_}}
|
||
is assigned, otherwise it will have no effect.
|
||
|
||
The fields listed in this variable must be structure or union type
|
||
fields. \code{ctypes} will create descriptors in the structure type
|
||
that allows to access the nested fields directly, without the need
|
||
to create the structure or union field.
|
||
|
||
Here is an example type (Windows):
|
||
\begin{verbatim}
|
||
class _U(Union):
|
||
_fields_ = [("lptdesc", POINTER(TYPEDESC)),
|
||
("lpadesc", POINTER(ARRAYDESC)),
|
||
("hreftype", HREFTYPE)]
|
||
|
||
class TYPEDESC(Structure):
|
||
_fields_ = [("u", _U),
|
||
("vt", VARTYPE)]
|
||
|
||
_anonymous_ = ("u",)
|
||
\end{verbatim}
|
||
|
||
The \code{TYPEDESC} structure describes a COM data type, the \code{vt}
|
||
field specifies which one of the union fields is valid. Since the
|
||
\code{u} field is defined as anonymous field, it is now possible to
|
||
access the members directly off the TYPEDESC instance.
|
||
\code{td.lptdesc} and \code{td.u.lptdesc} are equivalent, but the former
|
||
is faster since it does not need to create a temporary union
|
||
instance:
|
||
\begin{verbatim}
|
||
td = TYPEDESC()
|
||
td.vt = VT_PTR
|
||
td.lptdesc = POINTER(some_type)
|
||
td.u.lptdesc = POINTER(some_type)
|
||
\end{verbatim}
|
||
\end{memberdesc}
|
||
|
||
It is possible to defined sub-subclasses of structures, they inherit
|
||
the fields of the base class. If the subclass definition has a
|
||
separate \member{{\_}fields{\_}} variable, the fields specified in this are
|
||
appended to the fields of the base class.
|
||
|
||
Structure and union constructors accept both positional and
|
||
keyword arguments. Positional arguments are used to initialize member
|
||
fields in the same order as they are appear in \member{{\_}fields{\_}}. Keyword
|
||
arguments in the constructor are interpreted as attribute assignments,
|
||
so they will initialize \member{{\_}fields{\_}} with the same name, or create new
|
||
attributes for names not present in \member{{\_}fields{\_}}.
|
||
|
||
|
||
\subsubsection{Arrays and pointers\label{ctypes-arrays-pointers}}
|
||
|
||
Not yet written - please see section~\ref{ctypes-pointers}, pointers and
|
||
section~\ref{ctypes-arrays}, arrays in the tutorial.
|
||
|