問題:跨dll,針對Vector引用的傳遞沒有問題,但是Map就出現問題了。
原因分析:
一句話-----如果任何
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內部,而不是讓它出現在
接口當中。動態庫的
接口越簡單越好,不好去傳太過復雜的東東是至理名言:)