Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 1 | ======================= |
| 2 | Extending/Embedding FAQ |
| 3 | ======================= |
| 4 | |
| 5 | .. contents:: |
| 6 | |
| 7 | .. highlight:: c |
| 8 | |
| 9 | |
Georg Brandl | 107690c | 2010-10-06 07:12:17 +0000 | [diff] [blame] | 10 | .. XXX need review for Python 3. |
| 11 | |
| 12 | |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 13 | Can I create my own functions in C? |
| 14 | ----------------------------------- |
| 15 | |
| 16 | Yes, you can create built-in modules containing functions, variables, exceptions |
| 17 | and even new types in C. This is explained in the document |
| 18 | :ref:`extending-index`. |
| 19 | |
| 20 | Most intermediate or advanced Python books will also cover this topic. |
| 21 | |
| 22 | |
| 23 | Can I create my own functions in C++? |
| 24 | ------------------------------------- |
| 25 | |
| 26 | Yes, using the C compatibility features found in C++. Place ``extern "C" { |
| 27 | ... }`` around the Python include files and put ``extern "C"`` before each |
| 28 | function that is going to be called by the Python interpreter. Global or static |
| 29 | C++ objects with constructors are probably not a good idea. |
| 30 | |
| 31 | |
Georg Brandl | b1a4e2c | 2010-08-01 21:40:25 +0000 | [diff] [blame] | 32 | .. _c-wrapper-software: |
| 33 | |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 34 | Writing C is hard; are there any alternatives? |
| 35 | ---------------------------------------------- |
| 36 | |
| 37 | There are a number of alternatives to writing your own C extensions, depending |
| 38 | on what you're trying to do. |
| 39 | |
| 40 | .. XXX make sure these all work; mention Cython |
| 41 | |
| 42 | If you need more speed, `Psyco <http://psyco.sourceforge.net/>`_ generates x86 |
| 43 | assembly code from Python bytecode. You can use Psyco to compile the most |
| 44 | time-critical functions in your code, and gain a significant improvement with |
| 45 | very little effort, as long as you're running on a machine with an |
| 46 | x86-compatible processor. |
| 47 | |
| 48 | `Pyrex <http://www.cosc.canterbury.ac.nz/~greg/python/Pyrex/>`_ is a compiler |
| 49 | that accepts a slightly modified form of Python and generates the corresponding |
| 50 | C code. Pyrex makes it possible to write an extension without having to learn |
| 51 | Python's C API. |
| 52 | |
| 53 | If you need to interface to some C or C++ library for which no Python extension |
| 54 | currently exists, you can try wrapping the library's data types and functions |
| 55 | with a tool such as `SWIG <http://www.swig.org>`_. `SIP |
Georg Brandl | 628e6f9 | 2009-10-27 20:24:45 +0000 | [diff] [blame] | 56 | <http://www.riverbankcomputing.co.uk/software/sip/>`__, `CXX |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 57 | <http://cxx.sourceforge.net/>`_ `Boost |
| 58 | <http://www.boost.org/libs/python/doc/index.html>`_, or `Weave |
Georg Brandl | 107690c | 2010-10-06 07:12:17 +0000 | [diff] [blame] | 59 | <http://www.scipy.org/Weave>`_ are also alternatives for wrapping C++ libraries. |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 60 | |
| 61 | |
| 62 | How can I execute arbitrary Python statements from C? |
| 63 | ----------------------------------------------------- |
| 64 | |
| 65 | The highest-level function to do this is :cfunc:`PyRun_SimpleString` which takes |
| 66 | a single string argument to be executed in the context of the module |
| 67 | ``__main__`` and returns 0 for success and -1 when an exception occurred |
| 68 | (including ``SyntaxError``). If you want more control, use |
| 69 | :cfunc:`PyRun_String`; see the source for :cfunc:`PyRun_SimpleString` in |
| 70 | ``Python/pythonrun.c``. |
| 71 | |
| 72 | |
| 73 | How can I evaluate an arbitrary Python expression from C? |
| 74 | --------------------------------------------------------- |
| 75 | |
| 76 | Call the function :cfunc:`PyRun_String` from the previous question with the |
| 77 | start symbol :cdata:`Py_eval_input`; it parses an expression, evaluates it and |
| 78 | returns its value. |
| 79 | |
| 80 | |
| 81 | How do I extract C values from a Python object? |
| 82 | ----------------------------------------------- |
| 83 | |
| 84 | That depends on the object's type. If it's a tuple, :cfunc:`PyTuple_Size` |
| 85 | returns its length and :cfunc:`PyTuple_GetItem` returns the item at a specified |
| 86 | index. Lists have similar functions, :cfunc:`PyListSize` and |
| 87 | :cfunc:`PyList_GetItem`. |
| 88 | |
| 89 | For strings, :cfunc:`PyString_Size` returns its length and |
| 90 | :cfunc:`PyString_AsString` a pointer to its value. Note that Python strings may |
| 91 | contain null bytes so C's :cfunc:`strlen` should not be used. |
| 92 | |
| 93 | To test the type of an object, first make sure it isn't *NULL*, and then use |
| 94 | :cfunc:`PyString_Check`, :cfunc:`PyTuple_Check`, :cfunc:`PyList_Check`, etc. |
| 95 | |
| 96 | There is also a high-level API to Python objects which is provided by the |
| 97 | so-called 'abstract' interface -- read ``Include/abstract.h`` for further |
| 98 | details. It allows interfacing with any kind of Python sequence using calls |
| 99 | like :cfunc:`PySequence_Length`, :cfunc:`PySequence_GetItem`, etc.) as well as |
| 100 | many other useful protocols. |
| 101 | |
| 102 | |
| 103 | How do I use Py_BuildValue() to create a tuple of arbitrary length? |
| 104 | ------------------------------------------------------------------- |
| 105 | |
| 106 | You can't. Use ``t = PyTuple_New(n)`` instead, and fill it with objects using |
| 107 | ``PyTuple_SetItem(t, i, o)`` -- note that this "eats" a reference count of |
| 108 | ``o``, so you have to :cfunc:`Py_INCREF` it. Lists have similar functions |
| 109 | ``PyList_New(n)`` and ``PyList_SetItem(l, i, o)``. Note that you *must* set all |
| 110 | the tuple items to some value before you pass the tuple to Python code -- |
| 111 | ``PyTuple_New(n)`` initializes them to NULL, which isn't a valid Python value. |
| 112 | |
| 113 | |
| 114 | How do I call an object's method from C? |
| 115 | ---------------------------------------- |
| 116 | |
| 117 | The :cfunc:`PyObject_CallMethod` function can be used to call an arbitrary |
| 118 | method of an object. The parameters are the object, the name of the method to |
| 119 | call, a format string like that used with :cfunc:`Py_BuildValue`, and the |
| 120 | argument values:: |
| 121 | |
| 122 | PyObject * |
| 123 | PyObject_CallMethod(PyObject *object, char *method_name, |
| 124 | char *arg_format, ...); |
| 125 | |
| 126 | This works for any object that has methods -- whether built-in or user-defined. |
| 127 | You are responsible for eventually :cfunc:`Py_DECREF`\ 'ing the return value. |
| 128 | |
| 129 | To call, e.g., a file object's "seek" method with arguments 10, 0 (assuming the |
| 130 | file object pointer is "f"):: |
| 131 | |
| 132 | res = PyObject_CallMethod(f, "seek", "(ii)", 10, 0); |
| 133 | if (res == NULL) { |
| 134 | ... an exception occurred ... |
| 135 | } |
| 136 | else { |
| 137 | Py_DECREF(res); |
| 138 | } |
| 139 | |
| 140 | Note that since :cfunc:`PyObject_CallObject` *always* wants a tuple for the |
| 141 | argument list, to call a function without arguments, pass "()" for the format, |
| 142 | and to call a function with one argument, surround the argument in parentheses, |
| 143 | e.g. "(i)". |
| 144 | |
| 145 | |
| 146 | How do I catch the output from PyErr_Print() (or anything that prints to stdout/stderr)? |
| 147 | ---------------------------------------------------------------------------------------- |
| 148 | |
| 149 | In Python code, define an object that supports the ``write()`` method. Assign |
| 150 | this object to :data:`sys.stdout` and :data:`sys.stderr`. Call print_error, or |
| 151 | just allow the standard traceback mechanism to work. Then, the output will go |
| 152 | wherever your ``write()`` method sends it. |
| 153 | |
| 154 | The easiest way to do this is to use the StringIO class in the standard library. |
| 155 | |
| 156 | Sample code and use for catching stdout: |
| 157 | |
| 158 | >>> class StdoutCatcher: |
| 159 | ... def __init__(self): |
| 160 | ... self.data = '' |
| 161 | ... def write(self, stuff): |
| 162 | ... self.data = self.data + stuff |
| 163 | ... |
| 164 | >>> import sys |
| 165 | >>> sys.stdout = StdoutCatcher() |
Georg Brandl | 107690c | 2010-10-06 07:12:17 +0000 | [diff] [blame] | 166 | >>> print('foo') |
| 167 | >>> print('hello world!') |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 168 | >>> sys.stderr.write(sys.stdout.data) |
| 169 | foo |
| 170 | hello world! |
| 171 | |
| 172 | |
| 173 | How do I access a module written in Python from C? |
| 174 | -------------------------------------------------- |
| 175 | |
| 176 | You can get a pointer to the module object as follows:: |
| 177 | |
| 178 | module = PyImport_ImportModule("<modulename>"); |
| 179 | |
| 180 | If the module hasn't been imported yet (i.e. it is not yet present in |
| 181 | :data:`sys.modules`), this initializes the module; otherwise it simply returns |
| 182 | the value of ``sys.modules["<modulename>"]``. Note that it doesn't enter the |
| 183 | module into any namespace -- it only ensures it has been initialized and is |
| 184 | stored in :data:`sys.modules`. |
| 185 | |
| 186 | You can then access the module's attributes (i.e. any name defined in the |
| 187 | module) as follows:: |
| 188 | |
| 189 | attr = PyObject_GetAttrString(module, "<attrname>"); |
| 190 | |
| 191 | Calling :cfunc:`PyObject_SetAttrString` to assign to variables in the module |
| 192 | also works. |
| 193 | |
| 194 | |
| 195 | How do I interface to C++ objects from Python? |
| 196 | ---------------------------------------------- |
| 197 | |
| 198 | Depending on your requirements, there are many approaches. To do this manually, |
| 199 | begin by reading :ref:`the "Extending and Embedding" document |
| 200 | <extending-index>`. Realize that for the Python run-time system, there isn't a |
| 201 | whole lot of difference between C and C++ -- so the strategy of building a new |
| 202 | Python type around a C structure (pointer) type will also work for C++ objects. |
| 203 | |
Georg Brandl | 107690c | 2010-10-06 07:12:17 +0000 | [diff] [blame] | 204 | For C++ libraries, you can look at `SIP |
| 205 | <http://www.riverbankcomputing.co.uk/sip/>`_, `CXX |
| 206 | <http://cxx.sourceforge.net/>`_, `Boost |
| 207 | <http://www.boost.org/libs/python/doc/index.html>`_, `Weave |
| 208 | <http://www.scipy.org/Weave>`_ or `SWIG <http://www.swig.org>`_ |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 209 | |
| 210 | |
| 211 | I added a module using the Setup file and the make fails; why? |
| 212 | -------------------------------------------------------------- |
| 213 | |
| 214 | Setup must end in a newline, if there is no newline there, the build process |
| 215 | fails. (Fixing this requires some ugly shell script hackery, and this bug is so |
| 216 | minor that it doesn't seem worth the effort.) |
| 217 | |
| 218 | |
| 219 | How do I debug an extension? |
| 220 | ---------------------------- |
| 221 | |
| 222 | When using GDB with dynamically loaded extensions, you can't set a breakpoint in |
| 223 | your extension until your extension is loaded. |
| 224 | |
| 225 | In your ``.gdbinit`` file (or interactively), add the command:: |
| 226 | |
| 227 | br _PyImport_LoadDynamicModule |
| 228 | |
| 229 | Then, when you run GDB:: |
| 230 | |
| 231 | $ gdb /local/bin/python |
| 232 | gdb) run myscript.py |
| 233 | gdb) continue # repeat until your extension is loaded |
| 234 | gdb) finish # so that your extension is loaded |
| 235 | gdb) br myfunction.c:50 |
| 236 | gdb) continue |
| 237 | |
| 238 | I want to compile a Python module on my Linux system, but some files are missing. Why? |
| 239 | -------------------------------------------------------------------------------------- |
| 240 | |
| 241 | Most packaged versions of Python don't include the |
| 242 | :file:`/usr/lib/python2.{x}/config/` directory, which contains various files |
| 243 | required for compiling Python extensions. |
| 244 | |
| 245 | For Red Hat, install the python-devel RPM to get the necessary files. |
| 246 | |
| 247 | For Debian, run ``apt-get install python-dev``. |
| 248 | |
| 249 | |
| 250 | What does "SystemError: _PyImport_FixupExtension: module yourmodule not loaded" mean? |
| 251 | ------------------------------------------------------------------------------------- |
| 252 | |
| 253 | This means that you have created an extension module named "yourmodule", but |
| 254 | your module init function does not initialize with that name. |
| 255 | |
| 256 | Every module init function will have a line similar to:: |
| 257 | |
| 258 | module = Py_InitModule("yourmodule", yourmodule_functions); |
| 259 | |
| 260 | If the string passed to this function is not the same name as your extension |
| 261 | module, the :exc:`SystemError` exception will be raised. |
| 262 | |
| 263 | |
| 264 | How do I tell "incomplete input" from "invalid input"? |
| 265 | ------------------------------------------------------ |
| 266 | |
| 267 | Sometimes you want to emulate the Python interactive interpreter's behavior, |
| 268 | where it gives you a continuation prompt when the input is incomplete (e.g. you |
| 269 | typed the start of an "if" statement or you didn't close your parentheses or |
| 270 | triple string quotes), but it gives you a syntax error message immediately when |
| 271 | the input is invalid. |
| 272 | |
| 273 | In Python you can use the :mod:`codeop` module, which approximates the parser's |
| 274 | behavior sufficiently. IDLE uses this, for example. |
| 275 | |
| 276 | The easiest way to do it in C is to call :cfunc:`PyRun_InteractiveLoop` (perhaps |
| 277 | in a separate thread) and let the Python interpreter handle the input for |
| 278 | you. You can also set the :cfunc:`PyOS_ReadlineFunctionPointer` to point at your |
| 279 | custom input function. See ``Modules/readline.c`` and ``Parser/myreadline.c`` |
| 280 | for more hints. |
| 281 | |
| 282 | However sometimes you have to run the embedded Python interpreter in the same |
| 283 | thread as your rest application and you can't allow the |
| 284 | :cfunc:`PyRun_InteractiveLoop` to stop while waiting for user input. The one |
| 285 | solution then is to call :cfunc:`PyParser_ParseString` and test for ``e.error`` |
| 286 | equal to ``E_EOF``, which means the input is incomplete). Here's a sample code |
| 287 | fragment, untested, inspired by code from Alex Farber:: |
| 288 | |
| 289 | #include <Python.h> |
| 290 | #include <node.h> |
| 291 | #include <errcode.h> |
| 292 | #include <grammar.h> |
| 293 | #include <parsetok.h> |
| 294 | #include <compile.h> |
| 295 | |
| 296 | int testcomplete(char *code) |
| 297 | /* code should end in \n */ |
| 298 | /* return -1 for error, 0 for incomplete, 1 for complete */ |
| 299 | { |
| 300 | node *n; |
| 301 | perrdetail e; |
| 302 | |
| 303 | n = PyParser_ParseString(code, &_PyParser_Grammar, |
| 304 | Py_file_input, &e); |
| 305 | if (n == NULL) { |
| 306 | if (e.error == E_EOF) |
| 307 | return 0; |
| 308 | return -1; |
| 309 | } |
| 310 | |
| 311 | PyNode_Free(n); |
| 312 | return 1; |
| 313 | } |
| 314 | |
| 315 | Another solution is trying to compile the received string with |
| 316 | :cfunc:`Py_CompileString`. If it compiles without errors, try to execute the |
| 317 | returned code object by calling :cfunc:`PyEval_EvalCode`. Otherwise save the |
| 318 | input for later. If the compilation fails, find out if it's an error or just |
| 319 | more input is required - by extracting the message string from the exception |
| 320 | tuple and comparing it to the string "unexpected EOF while parsing". Here is a |
| 321 | complete example using the GNU readline library (you may want to ignore |
| 322 | **SIGINT** while calling readline()):: |
| 323 | |
| 324 | #include <stdio.h> |
| 325 | #include <readline.h> |
| 326 | |
| 327 | #include <Python.h> |
| 328 | #include <object.h> |
| 329 | #include <compile.h> |
| 330 | #include <eval.h> |
| 331 | |
| 332 | int main (int argc, char* argv[]) |
| 333 | { |
| 334 | int i, j, done = 0; /* lengths of line, code */ |
| 335 | char ps1[] = ">>> "; |
| 336 | char ps2[] = "... "; |
| 337 | char *prompt = ps1; |
| 338 | char *msg, *line, *code = NULL; |
| 339 | PyObject *src, *glb, *loc; |
| 340 | PyObject *exc, *val, *trb, *obj, *dum; |
| 341 | |
| 342 | Py_Initialize (); |
| 343 | loc = PyDict_New (); |
| 344 | glb = PyDict_New (); |
| 345 | PyDict_SetItemString (glb, "__builtins__", PyEval_GetBuiltins ()); |
| 346 | |
| 347 | while (!done) |
| 348 | { |
| 349 | line = readline (prompt); |
| 350 | |
| 351 | if (NULL == line) /* CTRL-D pressed */ |
| 352 | { |
| 353 | done = 1; |
| 354 | } |
| 355 | else |
| 356 | { |
| 357 | i = strlen (line); |
| 358 | |
| 359 | if (i > 0) |
| 360 | add_history (line); /* save non-empty lines */ |
| 361 | |
| 362 | if (NULL == code) /* nothing in code yet */ |
| 363 | j = 0; |
| 364 | else |
| 365 | j = strlen (code); |
| 366 | |
| 367 | code = realloc (code, i + j + 2); |
| 368 | if (NULL == code) /* out of memory */ |
| 369 | exit (1); |
| 370 | |
| 371 | if (0 == j) /* code was empty, so */ |
| 372 | code[0] = '\0'; /* keep strncat happy */ |
| 373 | |
| 374 | strncat (code, line, i); /* append line to code */ |
| 375 | code[i + j] = '\n'; /* append '\n' to code */ |
| 376 | code[i + j + 1] = '\0'; |
| 377 | |
| 378 | src = Py_CompileString (code, "<stdin>", Py_single_input); |
| 379 | |
| 380 | if (NULL != src) /* compiled just fine - */ |
| 381 | { |
| 382 | if (ps1 == prompt || /* ">>> " or */ |
| 383 | '\n' == code[i + j - 1]) /* "... " and double '\n' */ |
| 384 | { /* so execute it */ |
| 385 | dum = PyEval_EvalCode ((PyCodeObject *)src, glb, loc); |
| 386 | Py_XDECREF (dum); |
| 387 | Py_XDECREF (src); |
| 388 | free (code); |
| 389 | code = NULL; |
| 390 | if (PyErr_Occurred ()) |
| 391 | PyErr_Print (); |
| 392 | prompt = ps1; |
| 393 | } |
| 394 | } /* syntax error or E_EOF? */ |
| 395 | else if (PyErr_ExceptionMatches (PyExc_SyntaxError)) |
| 396 | { |
| 397 | PyErr_Fetch (&exc, &val, &trb); /* clears exception! */ |
| 398 | |
| 399 | if (PyArg_ParseTuple (val, "sO", &msg, &obj) && |
| 400 | !strcmp (msg, "unexpected EOF while parsing")) /* E_EOF */ |
| 401 | { |
| 402 | Py_XDECREF (exc); |
| 403 | Py_XDECREF (val); |
| 404 | Py_XDECREF (trb); |
| 405 | prompt = ps2; |
| 406 | } |
| 407 | else /* some other syntax error */ |
| 408 | { |
| 409 | PyErr_Restore (exc, val, trb); |
| 410 | PyErr_Print (); |
| 411 | free (code); |
| 412 | code = NULL; |
| 413 | prompt = ps1; |
| 414 | } |
| 415 | } |
| 416 | else /* some non-syntax error */ |
| 417 | { |
| 418 | PyErr_Print (); |
| 419 | free (code); |
| 420 | code = NULL; |
| 421 | prompt = ps1; |
| 422 | } |
| 423 | |
| 424 | free (line); |
| 425 | } |
| 426 | } |
| 427 | |
| 428 | Py_XDECREF(glb); |
| 429 | Py_XDECREF(loc); |
| 430 | Py_Finalize(); |
| 431 | exit(0); |
| 432 | } |
| 433 | |
| 434 | |
| 435 | How do I find undefined g++ symbols __builtin_new or __pure_virtual? |
| 436 | -------------------------------------------------------------------- |
| 437 | |
| 438 | To dynamically load g++ extension modules, you must recompile Python, relink it |
Ezio Melotti | 890c193 | 2009-12-19 23:33:46 +0000 | [diff] [blame] | 439 | using g++ (change LINKCC in the Python Modules Makefile), and link your |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 440 | extension module using g++ (e.g., ``g++ -shared -o mymodule.so mymodule.o``). |
| 441 | |
| 442 | |
| 443 | Can I create an object class with some methods implemented in C and others in Python (e.g. through inheritance)? |
| 444 | ---------------------------------------------------------------------------------------------------------------- |
| 445 | |
| 446 | In Python 2.2, you can inherit from builtin classes such as :class:`int`, |
| 447 | :class:`list`, :class:`dict`, etc. |
| 448 | |
| 449 | The Boost Python Library (BPL, http://www.boost.org/libs/python/doc/index.html) |
| 450 | provides a way of doing this from C++ (i.e. you can inherit from an extension |
| 451 | class written in C++ using the BPL). |
| 452 | |
| 453 | |
| 454 | When importing module X, why do I get "undefined symbol: PyUnicodeUCS2*"? |
| 455 | ------------------------------------------------------------------------- |
| 456 | |
| 457 | You are using a version of Python that uses a 4-byte representation for Unicode |
| 458 | characters, but some C extension module you are importing was compiled using a |
| 459 | Python that uses a 2-byte representation for Unicode characters (the default). |
| 460 | |
| 461 | If instead the name of the undefined symbol starts with ``PyUnicodeUCS4``, the |
| 462 | problem is the reverse: Python was built using 2-byte Unicode characters, and |
| 463 | the extension module was compiled using a Python with 4-byte Unicode characters. |
| 464 | |
| 465 | This can easily occur when using pre-built extension packages. RedHat Linux |
| 466 | 7.x, in particular, provided a "python2" binary that is compiled with 4-byte |
| 467 | Unicode. This only causes the link failure if the extension uses any of the |
| 468 | ``PyUnicode_*()`` functions. It is also a problem if an extension uses any of |
| 469 | the Unicode-related format specifiers for :cfunc:`Py_BuildValue` (or similar) or |
| 470 | parameter specifications for :cfunc:`PyArg_ParseTuple`. |
| 471 | |
| 472 | You can check the size of the Unicode character a Python interpreter is using by |
| 473 | checking the value of sys.maxunicode: |
| 474 | |
| 475 | >>> import sys |
| 476 | >>> if sys.maxunicode > 65535: |
Georg Brandl | 107690c | 2010-10-06 07:12:17 +0000 | [diff] [blame] | 477 | ... print('UCS4 build') |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 478 | ... else: |
Georg Brandl | 107690c | 2010-10-06 07:12:17 +0000 | [diff] [blame] | 479 | ... print('UCS2 build') |
Georg Brandl | cb7cb24 | 2009-10-27 20:20:38 +0000 | [diff] [blame] | 480 | |
| 481 | The only way to solve this problem is to use extension modules compiled with a |
| 482 | Python binary built using the same size for Unicode characters. |