項目里需要使用腳本,我是框架的維護人員,就需要把腳本系統加入到框架里。
因為對PYTHON比較熟悉,所以最后選擇了PYTHON作為腳本系統的主引擎。
下面是在這個過程中遇到的種種問題以及最后的解決方法。
1- 編譯出錯,提示找不到 __imp_Py_XXXX的引用
這個問題真的很惡心,WIN版的PYTHON27.DLL用的是單線DLL的CRT,而項目如果用的是多線LIB的CRT,或者其他不兼容的CRT,就會出這個問題。
果斷下載PYTHON2.7.2的源代碼,編譯之。然而,編譯過程也非常的惡心,工程屬性修改成MTd和MT仍舊不行。
后看到編譯時有調用cl的命令行,找了半天在make_buildinfo這個項目里發現是使用代碼生成的編譯參數,里面寫死的是MDd,修改之再編譯,問題解決。
2- Py_Initialize 退出,提示無法找到site模塊。
這個問題原本想暴力的修改源代碼里的nosite標記改之,后思考可能這個模塊是有用的,所以把運行過PYTHON.EXE的PYTHON運行路徑里的LIB里的被編譯成PYC的所有PY按路徑復制到EXE的路徑下,問題解決。
3- 不想用BOOST.PYTHON,又想不用寫PyCFunction的形式的C模塊方法
這個問題經過分析,得到結論是,從任意形式的用戶函數生成一個PyObject*(*PYFUNC)(PyObject*,PyObject*)形式的函數封裝。并且對于一個獨立地址的用戶函數,需要一個獨立地址的函數封裝。
首先,我開始解決如何從一個固定函數得到另一個固定地址函數。一開始我想到用函數地址作為模版參數,這樣每個獨立地址就能生成一個單獨的模版類,然后模版類里的靜態函數自然就是獨立地址的。后我使用了static的本地函數測試,未果,提示什么non-extra的錯誤。后進群詢問,得到同樣答案,并且編譯成功的結果。仔細觀察后發現,他用的是非static修飾的函數。我去掉static修飾,竟然成了。
接下來,我開始解決如何從PyObject*args解析出用戶函數的每個參數的問題。這個問題有幾個部分,第一部分是如何從函數里析出每個參數,這部分我用了模版的某種特化,具體名字我不懂,就是如下面這種形式:
template <typename TR, typename T1 = void, typename T2 = void>

struct st_func
{};
template <typename TR, typename T1>

struct st_func<TR, T1, void>
{};

這樣就可以析出返回值TR和各個參數的類型。為了支持盡可能多的參數,我寫了個程序生成了從0個參數到40個參數的模版變體。
使用固定地址,因為函數定義需要TR,T1,所以函數指針無法直接在第一個模版參數傳遞,并且是固定參數,無法放在可選參數后面,所以我選擇了先在第一個參數用void*傳遞函數指針,然后在st_func內部用TR,T1...這些拼出一個函數指針,把首位置的指針強轉成原函數形式,再進行調用。
因為PYTHON的解析函數需要每個參數的類型標識符,大部分類型是一個字符表示,這部分用了enum來為每個類型生成一個const且static的字符標識。比如
template <> struct type_char<int> { enum{ typechar = 'i' };};
然后最終PyArg_ParseTuple 需要的是一個字符串,那么我在代碼里就 這樣來生成這個字符串:
char szTypes[] = { type_char<T1>::typechar,
.., 0 }; 最后一個部分是解決TR是void時的函數返回值問題。后來我用了struct內部的特化函數來解決。最終形式如下:
template <void* FP, typename TR, typename T1>
struct st_cppfunc_to_py<FP, TR, T1, void, void>
{
typedef TR (*TFP)(T1);
static PyObject * func( PyObject * self, PyObject * args ) { return _func<TR>( self, args ); }
template<typename ITR>
static PyObject * _func( PyObject * self, PyObject * args ) {
char szType[] = { type_char<T1>::typechar, 0 };
T1 v1;
if( PyArg_ParseTuple( args, szType, &v1 ) ) {
TR ret = ((TFP)FP)( v1 );
char szRetType[2] = { type_char<TR>::typechar, 0 };
return Py_BuildValue( szRetType, ret );
}
Py_RETURN_NONE;
}
template<>
static PyObject * _func<void>( PyObject * self, PyObject * args ) {
char szType[] = { type_char<T1>::typechar, 0 };
T1 v1;
if( PyArg_ParseTuple( args, szType, &v1 ) ) {
((TFP)FP)( v1 );
}
Py_RETURN_NONE;
}
};
外面包一個 template <void*FP, typename TR, typename T1> PyCFunction __cppfunc2py( TR(*RFP)(T1) ) { return st_cppfunc_to_py<FP, TR, T1>::func; }
就可以很方便的生成嵌入PY的函數了。
4- 包裝的scriptvalue怎么獲得PyObject*的類型呢
用Py_TYPE(ob)就可以獲取到object的typeobject,它的tp_name就是它的名字,常用類型 int, long, float, str 都可以分辨出來。
5- PYTHON的調試版總是報GC異常
這個問題我是嘗試著來解決的,總結了以下幾點:
a. 模塊的DICT是不用PY_XDECREF來釋放的
b. 返回值需要一個PY_XDECREF釋放。
c. Py_BuildValue 返回值需要一個PY_XDECREF。
d. 用戶模塊不需要 PY_XDECREF。
e. PY文件生成的模塊需要一個 PY_XDECREF。
f. Set Object到Tuple去調完PY的函數,PY_XDECREF(TUPLE)時,需要注意的是,Set進去的Object都會被調用一次Py_XDECREF,所以一個好的辦法是在Set進Tuple時,就INC一下他們的REF。
6- 為何一直調不到py文件里的函數
這個問題困擾了我幾分鐘,模塊的method獲取不到,讓我一度以為是腳本寫的問題。
后來我打印出來腳本的搜索路徑(print sys.path),是一大堆的路徑,我放進去的路徑排在最后。于是我想,是不是有的路徑下有重名的PY文件,就給文件改了個名字,結果就OK了。
這個問題,我后來想可以通過調整搜索優先級來解決,不過目前還是這樣解決比較好,因為調整方法目前還不得而知。