python C擴充

在C/C++中處理Python對象時，對引用計數進行正確的維護是一個關鍵問題，處理不好將很容易產生記憶體流失。Python的C語言介面提供了一些宏來對引用計數進行維護，最常見的是用 Py_INCREF()來增加使Python對象的引用計數增1，用Py_DECREF()來使Python對象的引用計數減1。

2.3 資料類型

Python定義了六種資料類型：整型、浮點型、字串、元組、列表和字典，在使用C語言對Python進行功能擴充時，首先要瞭解如何在C和Python的資料類型間進行轉化。

2.3.1 整型、浮點型和字串

在Python的C語言擴充中要用到整型、浮點型和字串這三種資料類型時相對比較簡單，只需要知道如何產生和維護它們就可以了。下面的例子給出了如何在C語言中使用Python的這三種資料類型：

例2：typeifs.c// build an integerPyObject* pInt = Py_BuildValue("i", 2003);assert(PyInt_Check(pInt));int i = PyInt_AsLong(pInt);Py_DECREF(pInt);// build a floatPyObject* pFloat = Py_BuildValue("f", 3.14f);assert(PyFloat_Check(pFloat));float f = PyFloat_AsDouble(pFloat);Py_DECREF(pFloat);// build a stringPyObject* pString = Py_BuildValue("s", "Python");assert(PyString_Check(pString);int nLen = PyString_Size(pString);char* s = PyString_AsString(pString);Py_DECREF(pString);

 

2.3.2 元組

Python語言中的元組是一個長度固定的數組，當Python解譯器調用C語言擴充中的方法時，所有非關鍵字(non-keyword)參數都以元組方式進行傳遞。下面的例子示範了如何在C語言中使用Python的元群組類型：

例3：typetuple.c// create the tuplePyObject* pTuple = PyTuple_New(3);assert(PyTuple_Check(pTuple));assert(PyTuple_Size(pTuple) == 3);// set the itemPyTuple_SetItem(pTuple, 0, Py_BuildValue("i", 2003));PyTuple_SetItem(pTuple, 1, Py_BuildValue("f", 3.14f));PyTuple_SetItem(pTuple, 2, Py_BuildValue("s", "Python"));// parse tuple itemsint i;float f;char *s;if (!PyArg_ParseTuple(pTuple, "ifs", &i, &f, &s)) PyErr_SetString(PyExc_TypeError, "invalid parameter");// cleanupPy_DECREF(pTuple);

 

2.3.3 列表

Python語言中的列表是一個長度可變的數組，列表比元組更為靈活，使用列表可以對其儲存的Python對象進行隨機訪問。下面的例子示範了如何在C語言中使用Python的清單類型：

例4：typelist.c// create the listPyObject* pList = PyList_New(3); // new referenceassert(PyList_Check(pList));// set some initial valuesfor(int i = 0; i < 3; ++i) PyList_SetItem(pList, i, Py_BuildValue("i", i));// insert an itemPyList_Insert(pList, 2, Py_BuildValue("s", "inserted"));// append an itemPyList_Append(pList, Py_BuildValue("s", "appended"));// sort the listPyList_Sort(pList);// reverse the listPyList_Reverse(pList);// fetch and manipulate a list slicePyObject* pSlice = PyList_GetSlice(pList, 2, 4); // new referencefor(int j = 0; j < PyList_Size(pSlice); ++j) { PyObject *pValue = PyList_GetItem(pList, j); assert(pValue);}Py_DECREF(pSlice);// cleanupPy_DECREF(pList);

 

2.3.4 字典

Python語言中的字典是一個根據關鍵字進行訪問的資料類型。下面的例子示範了如何在C語言中使用Python的字典類型：

例5：typedic.c// create the dictionaryPyObject* pDict = PyDict_New(); // new referenceassert(PyDict_Check(pDict));// add a few named valuesPyDict_SetItemString(pDict, "first", Py_BuildValue("i", 2003));PyDict_SetItemString(pDict, "second", Py_BuildValue("f", 3.14f));// enumerate all named valuesPyObject* pKeys = PyDict_Keys(); // new referencefor(int i = 0; i < PyList_Size(pKeys); ++i) { PyObject *pKey = PyList_GetItem(pKeys, i); PyObject *pValue = PyDict_GetItem(pDict, pKey); assert(pValue);}Py_DECREF(pKeys);// remove a named valuePyDict_DelItemString(pDict, "second");// cleanupPy_DECREF(pDict);

回頁首

三、Python的C語言擴充

3.1 模組封裝

在瞭解了Python的C語言介面後，就可以利用Python解譯器提供的這些介面來編寫Python的C語言擴充，假設有如下一個C語言函數：

例6：example.cint fact(int n){ if (n <= 1) return 1; else return n * fact(n - 1);}

 

該函數的功能是計算某個給定自然數的階乘，如果想在Python解譯器中調用該函數，則應該首先將其實現為Python中的一個模組，這需要編寫相應的封裝介面，如下所示：

例7: wrap.c#include <Python.h>PyObject* wrap_fact(PyObject* self, PyObject* args) { int n, result; if (! PyArg_ParseTuple(args, "i:fact", &n)) return NULL; result = fact(n); return Py_BuildValue("i", result);}static PyMethodDef exampleMethods[] = { {"fact", wrap_fact, METH_VARARGS, "Caculate N!"}, {NULL, NULL}};void initexample() { PyObject* m; m = Py_InitModule("example", exampleMethods);}

 

一個典型的Python擴充模組至少應該包含三個部分：匯出函數、方法列表和初始化函數。

3.2 匯出函數

要在Python解譯器中使用C語言中的某個函數，首先要為其編寫相應的匯出函數，上述例子中的匯出函數為wrap_fact。在Python的C語言擴充中，所有的匯出函數都具有相同的函數原型：

PyObject* method(PyObject* self, PyObject* args);

該函數是Python解譯器和C函數進行互動的介面，帶有兩個參數：self和args。參數self只在C函數被實現為內聯方法(built-in method)時才被用到，通常該參數的值為空白(NULL)。參數args中包含了Python解譯器要傳遞給C函數的所有參數，通常使用Python的 C語言擴充介面提供的函數PyArg_ParseTuple()來獲得這些參數值。

所有的匯出函數都返回一個PyObject指標，如果對應的C函數沒有真正的傳回值(即傳回值類型為void)，則應返回一個全域的None對象(Py_None)，並將其引用計數增1，如下所示：

PyObject* method(PyObject *self, PyObject *args) { Py_INCREF(Py_None); return Py_None;}

 

3.3 方法列表

方法列表中給出了所有可以被Python解譯器使用的方法，上述例子對應的方法列表為：

static PyMethodDef exampleMethods[] = { {"fact", wrap_fact, METH_VARARGS, "Caculate N!"}, {NULL, NULL}};

 

方法列表中的每項由四個部分組成：方法名、匯出函數、參數傳遞方式和方法描述。方法名是從Python解譯器中調用該方法時所使用的名字。參數傳遞方式則規定了Python向C函數傳遞參數的具體形式，可選的兩種方式是METH_VARARGS和METH_KEYWORDS，其中METH_VARARGS是參數傳遞的標準形式，它通過Python的元組在Python解譯器和C函數之間傳遞參數，若採用METH_KEYWORD方式，則Python解譯器和C函數之間將通過Python的字典類型在兩者之間進行參數傳遞。

3.4 初始化函數

所有的Python擴充模組都必須要有一個初始化函數，以便Python解譯器能夠對模組進行正確的初始化。Python解譯器規定所有的初始化函數的函數名都必須以init開頭，並加上模組的名字。對於模組example來說，則相應的初始化函數為:

void initexample() { PyObject* m; m = Py_InitModule("example", exampleMethods);}

 

當Python解譯器需要匯入該模組時，將根據該模組的名稱尋找相應的初始化函數，一旦找到則調用該函數進行相應的初始化工作，初始化函數則通過調用Python的C語言擴充介面所提供的函數 Py_InitModule()，來向Python解譯器註冊該模組中所有可以用到的方法。

3.5 編譯連結

要在Python解譯器中使用C語言編寫的擴充模組，必須將其編譯成動態連結程式庫的形式。下面以RedHat Linux 8.0為例，介紹如何將C編寫的Python擴充模組編譯成動態連結程式庫：

[xiaowp@gary code]$ gcc -fpic -c -I/usr/include/python2.2 \ -I /usr/lib/python2.2/config \ example.c wrapper.c[xiaowp@gary code]$ gcc -shared -o example.so example.o wrapper.o

 

3.6 引入Python解譯器

當產生Python擴充模組的動態連結程式庫後，就可以在Python解譯器中使用該擴充模組了，與Python內建的模組一樣，擴充模組也是通過import命令引入後再使用的，如下所示：

[xiaowp@gary code]$ pythonPython 2.2.1 (#1, Aug 30 2002, 12:15:30)[GCC 3.2 20020822 (Red Hat Linux Rawhide 3.2-4)] on linux2Type "help", "copyright", "credits" or "license" for more information.>>> import example>>> example.fact(4)24>>>

 

  >>import foo

    >>foo.bar( '11111' )

    5

    如果覺得自己已經瞭解了如何編譯成python可以使用的東西,那麼就不浪費你的寶貴的時間看下去了,而是給我投以鄙視的目光:這麼簡單的問題,還那來說.

    下面給出例子:在我的linux板塊下有<Linux動態連結程式庫編程入門>.

 

  /*foomain.c*/

#include <python2.4/Python.h>
/* Define the method table. */
static PyObject *foo_bar(PyObject *self, PyObject *args);
static PyMethodDef FooMethods[] = {
   {"bar",  foo_bar, METH_VARARGS},
   {NULL, NULL}
};
/* Here's the initialization function.  We don't need to do anything
 *    for our own needs, but Python needs that method table. */
void initfoo()
{
   (void) Py_InitModule("foo", FooMethods);
}
/* Finally, let's do something ... involved ... as an example function. */
static PyObject *foo_bar(PyObject *self, PyObject *args)
{
   char *string;
   int   len;
   if (!PyArg_ParseTuple(args, "s", &string))
       return NULL;
   len = strlen(string);
   return Py_BuildValue("i", len);
}

 

在linux下的運行: gcc -fPIC -shared -o foo.so foomain.c 這一段就ok了.

目前的目錄下會出現"foo.so"檔案.