天天看點

DLL中傳遞STL參數,vector對象作為dll參數傳遞等問題(轉)一個很奇怪的問題:DLL中使用std::string作為參數結果出錯

STL使用模闆生成,當我們使用模闆的時候,每一個EXE,和DLL都在編譯器産生了自己的代碼,導緻模闆所使用的靜态成員不同步,是以出現資料傳遞的各種問題,下面是詳細解釋。

原因分析:

一 句話-----如果任何STL類使用了靜态變量(無論是直接還是間接使用),那麼就不要再寫出跨執行單元通路它的代碼。 除非你能夠确定兩個動态庫使用的 都是同樣的STL實作,比如都使用VC同一版本的STL,編譯選項也一樣。強烈建議,不要在動态庫接口中傳遞STL容器!!

STL不一定不能在DLL間傳遞,但你必須徹底搞懂它的内部實作,并懂得為何會出問題。

微軟的解釋:

http://support.microsoft.com/default.aspx?scid=kb%3ben-us%3b172396

微軟給的解決辦法:

http://support.microsoft.com/default.aspx?scid=kb%3ben-us%3b168958

1、微軟的解釋:

大 部分C++标準庫裡提供的類直接或間接地使用了靜态變量。由于這些類是通過模闆擴充而來的,是以每個可執行映像(通常是.dll或.exe檔案)就會存在 一份隻屬于自己的、給定類的靜态資料成員。當一個需要通路這些靜态成員的類方法執行時,它使用的是“這個方法的代碼目前所在的那份可執行映像”裡的靜态成 員變量。由于兩份可執行映像各自的靜态資料成員并未同步,這個行為就可能導緻通路違例,或者資料看起來似乎丢失或被破壞了。

可能不太好懂,我舉個例子:假如類A<T>有個靜态變量m_s,那麼當1.exe使用了2.dll中提供的某個A<int>對象時,由于模闆擴充機制,1.exe和2.dll中會分别存在自己的一份類靜态變量A<int>.m_s。

這 樣,假如1.exe中從2.dll中取得了一個的類A<int>的執行個體對象a,那麼當在1.exe中直接通路a.m_s時,其實通路的是 1.exe中的對應拷貝(正确情況應該是通路了2.dll中的a.m_s)。這樣就可能導緻非法通路、應當改變的資料沒有改變、不應改變的資料被錯誤地更 改等異常情形。

原文:

Most classes in the Standard C++ Libraries use static data members directly or indirectly. Since these classes are generated through template instantiation, each executable image (usually with DLL or EXE file name extensions) will contain its own copy of the static data member for a given class. When a method of the class that requires the static data member is executed, it uses the static data member in the executable image in which the method code resides. Since the static data members in the executable images are not in sync, this action could result in an access violation or data may appear to be lost or corrupted.

1、保證資源的配置設定/删除操作對等并處于同一個執行單元;

   比如,可以把這些操作(包括構造/析構函數、某些容器自動擴容{這個需要特别注意}時的記憶體再配置設定等)隐藏到接口函數裡面。換句話說:盡量不要直接從dll中輸出stl對象;如果一定要輸出,給它加上一層包裝,然後輸出這個包裝接口而不是原始接口。

2、保證所有的執行單元使用同樣版本的STL運作庫。

   比如,全部使用release庫或debug庫,否則兩個執行單元擴充出來的STL類的記憶體布局就可能會不一樣。

隻要記住關鍵就是:如果任何STL類使用了靜态變量(無論是直接還是間接使用),那麼就不要再寫出跨執行單元通路它的代碼。

解決方法:

1. 一個可以考慮的方案

比如有兩個動态庫L1和L2,L2需要修改L1中的一個map,那麼我在L1中設定如下接口

int modify_map(int key, int new_value);

如果需要指定“某一個map”,則可以考慮實作一種類似于句柄的方式,比如可以傳遞一個DWORD

不過這個DWORD放的是一個位址

那麼modify_map就可以這樣實作:

int modify_map(DWORD map_handle, int key, int new_value)

{

    std::map<int, int>& themap = *(std::map<int, int>*)map_handle;

    themap[key] = new_value;

}

map_handle的值也首先由L1“告訴”L2:

DWORD get_map_handle();

L2可以這樣調用:

DWORD h = get_map_handle();

modify_map(h, 1, 2);

2. 加入一個額外的層,就可以解決問題。是以,你需要将你的Map包裝在dll内部,而不是讓它出現在接口當中。動态庫的接口越簡單越好,不好去傳太過複雜的東東是至理名言:)

在動态連接配接庫開發中要特别注意記憶體的配置設定與釋放問題,稍不注意,極可能造成記憶體洩漏,進而通路出錯。例如在某DLL中存在這樣一段代碼:

extent "C" __declspec(dllexport) 

void ExtractFileName( const std::string& path //!< Input path and filename.

, std::string& fname //!< Extracted filename with extension.

)

std::string::size_type startPos = path.find_last_of('\\');

fname.assign(path.begin() startPos 1, path.end() );

在DLL中使用STL對象std::string,并且在其中改變std::string的内容,即發生了記憶體的重配置設定問題,若在EXE中調用該函數會出現記憶體通路問題。主要是:因為DLL和EXE的記憶體配置設定方式不同,DLL中的配置設定的記憶體不能在EXE中正确釋放掉。

解決這一問題的途徑如下:

一般情況下:建構DLL必須遵循誰配置設定就由誰釋放的原則,例如COM的解決方案(利用引用計數),對象的建立(QueryInterface)與釋放均在COM元件内部完成。在純C 環境下,可以很容易的實作類似方案。

在應用STL的情況下,很難使用上述方案來解決,是以必須另辟蹊徑,途徑有二:

1、自己寫記憶體配置設定器替代STL中的預設配置設定器。

2、使用STLport替代系統的标準庫。

其實,上述問題在VC7及以後版本中,已得到解決,注意DLL工程和調用的工程一定要使用多線程DLL庫,就不會發生記憶體通路問題。

<a href="http://bbs.rosoo.net/tag-STL.html" target="_blank">STL</a>

這段時間,在工程中将一些功能封裝成動态庫,需要使用動态庫接口的時候.使用了STL的一些類型作為參數.

比方string,vector,list.但是在使用接口的時候.

class exportClass

     bool dll_funcation(string &amp;str);

};

複制代碼

//上面這個類隻是一個形式,具體内容不寫出來了.這個類被導出

當我在使用這個庫的時候.這樣寫代碼:

string str="":

exportClass tmp;

tmp.dll_function(str);

這個函數能成功調用.但是在函數裡面會給這個數組附值.如果字元串太長,就會出錯.函數調用能成功,但是一旦str資源需要釋放的時候,資源就不能釋放了,提示釋放了錯誤的記憶體空間.

一點一點取掉這個函數的代碼.最後就剩下

str="qadasdasdasdsafsafas";

還是出錯誤.

如果改成很短的字元串,就不會出錯誤.

在這個時候,隻能嘗試認為是字元串的空間太小

最終我修改成這樣,錯誤消失了.希望錯誤真的是這個引起的

str.resize(1000);

今 天寫程式的時候要給一個子產品的dll傳遞一個參數,由于參數數量是可變的,是以設計成了vector&lt;string&gt;類型,但調試過程中發現 在exe中的參數傳遞到dll中的函數後,vector變成空的,改成傳引用類型後,vector竟然變得很大,并且是無意義的參數。

對于這個問題,兩種辦法:

1.傳遞vector指針

2.傳遞const vector&lt;TYPE&gt;。

究其原因:

是因為vector在exe和dll之間傳遞的時候,由于在dll内可能對vector插入資料,而這段記憶體是在dll裡面配置設定的,exe無法知道如何釋放記憶體,進而導緻問題。而改成const類型後,編譯器便知道dll裡不會改變vector,進而不會出錯。

或 者可以說這是"cross-DLL problem."(This problem crops up when an object is created using new in one dynamically linked library (DLL) but is deleted in a different DLL)的一種吧。

對于STL,在DLL中使用的時候,往往存在這些問題,在網絡上搜集了下,這些都是要平時使用STL的時候注意的。

***************************************************************************************************************

當template 遭遇到dynamic link 時候, 很多時候卻是一場惡夢.

現在來說說一部分我已經碰到過的問題. 問題主要集中在記憶體配置設定上.

1&gt; 

      拿STL來說, 自己寫模闆的時候,很難免就用到stl. stl的代碼都在頭檔案裡. 那麼表示着記憶體配置設定的代碼.隻有包含了它的cpp 編譯的時候才會被決定是使用什麼樣的記憶體配置設定代碼. 考慮一下: 當你聲明了一個vector&lt;&gt; . 并把這個vector&lt;&gt;交給一個 dll裡的代碼來用. 用完後, 在你的程式裡被釋放了.    那麼如果你 在dll裡往vector裡insert了一些東西. 那麼這個時候insert 發生的記憶體配置設定的代碼是屬于dll的. 你不知道這個dll的記憶體配置設定是什麼. 是配置設定在哪裡的. 而這個時候.釋放那促的動作卻不在dll裡.....同時. 你甚至無法保證編譯dll的那個家夥使用的stl版本和你是完全一樣的..&gt;

      如此說來, 程式crash掉是天經地義的.... 

      對策: 千萬别别把你的stl 容器,模闆容器在 dll 間傳來傳去 . 記住string也是....

2&gt; 

     你在dll的某個類裡聲明了一個vector之類的容器. 而沒有顯式的寫這個類的構造和析構函數. 那麼問題又來了.

     你這個類肯定有操作這vector的函數. 那麼這些函數會讓vecoter&lt;&gt;生成代碼. 這些代碼在這個dll裡都是一緻的. 但是别忘了.你沒有寫析構函數...... 如果這個時候, 别人在外面聲明了一個這樣的類.然後調用這個類的函數操作了這個vector( 當然使用者并不知道什麼時候操作了vector) . 它用完了這個類以後. 類被釋放掉了. 編譯器很負責的為它生成了一份析構函數的代碼...... 聽好了.這份代碼并不是在 dll裡 ... . 事情于是又和1&gt;裡的一樣了.... crash ......(可能還會伴随着迷茫.....)

     對策: 記得dll裡每個類,哪怕式構造析構函數式空的. 也要寫到cpp裡去. 什麼都不寫也式很糟糕的.....同時,更要把任何和記憶體操作有關的函數寫到 .cpp 裡...

3&gt; 

    以上兩個問題似乎都是比較容易的-----隻要把代碼都寫到cpp裡去, 不要用stl容器傳來傳去就可以了.

   那麼第三個問題就要麻煩的多.

   如果你自己寫了一個模闆, 這個模闆用了stl 容器..........

   這個時候你該怎麼辦呢?

 顯然你無法把和記憶體配置設定相關的函數都寫到.cpp裡去 . template的代碼都必須放到header file裡.....

   對策: 解決這個問題的基本做法是做一個stl 記憶體配置設定器 , 強制把這個模闆裡和記憶體配置設定相關的放到一個.cpp裡去.這個時候編譯這個cpp就會把記憶體配置設定代碼固定在一個地方: 要麼是dll. 要麼是exe裡...

模闆+動态連結庫的使用問題還很多. 要千萬留心這個陷阱遍地的東西啊

***************************************************************************************************************************

微軟關于這類問題的解釋:

You may experience an access violation when you access an STL object through a pointer or reference in a different DLL or EXE

<a href="http://support.microsoft.com/default.aspx?scid=KB;en-us;q172396">http://support.microsoft.com/default.aspx?scid=KB;en-us;q172396</a>

How to export an instantiation of a Standard Template Library (STL) class and a class that contains a data member that is an STL object

<a href="http://support.microsoft.com/default.aspx?scid=KB;en-us;q168958">http://support.microsoft.com/default.aspx?scid=KB;en-us;q168958</a>

總結:

字元串參數用char*,Vector用char**,

動态記憶體要牢記誰申請誰釋放的原則。

繼續閱讀