問(wèn)題:跨dll,針對(duì)Vector引用的傳遞沒有問(wèn)題,但是Map就出現(xiàn)問(wèn)題了。
原因分析:
一句話-----如果任何
STL類使用了靜態(tài)變量(無(wú)論是直接還是間接使用),那么就不要再寫出跨執(zhí)行單元訪問(wèn)它的代碼。
除非你能夠確定兩個(gè)動(dòng)態(tài)庫(kù)使用 的都是同樣的
STL實(shí)現(xiàn),比如都使用VC同一版本的
STL,編譯選項(xiàng)也一樣。強(qiáng)烈建議,不要在動(dòng)態(tài)庫(kù)
接口中傳遞
STL容器!!
STL不一定不能在DLL間傳遞,但你必須徹底搞懂它的內(nèi)部實(shí)現(xiàn),并懂得為何會(huì)出問(wèn)題。
微軟的解釋:
http://support.microsoft.com/default.aspx?scid=kb%3ben-us%3b172396
微軟給的解決辦法:
http://support.microsoft.com/default.aspx?scid=kb%3ben-us%3b168958
1、微軟的解釋:
大部分C++標(biāo)準(zhǔn)庫(kù)里提供的類直接或間接地使用了靜態(tài)變量。由
于這些類是通過(guò)模板擴(kuò)展而來(lái)的,因此每個(gè)可執(zhí)行映像(通常是.dll或.exe文件)就會(huì)存在一份只屬于自己的、給定類的靜態(tài)數(shù)據(jù)成員。當(dāng)一個(gè)需要訪問(wèn)這
些靜態(tài)成員的類方法執(zhí)行時(shí),它使用的是“這個(gè)方法的代碼當(dāng)前所在的那份可執(zhí)行映像”里的靜態(tài)成員變量。由于兩份可執(zhí)行映像各自的靜態(tài)數(shù)據(jù)成員并未同步,這
個(gè)行為就可能導(dǎo)致訪問(wèn)違例,或者數(shù)據(jù)看起來(lái)似乎丟失或被破壞了。
可能不太好懂,我舉個(gè)例子:假如類A<T>有個(gè)靜態(tài)變量m_s,那么當(dāng)1.exe使用了2.
dll中提供的某個(gè)A<int>對(duì)象時(shí),由于模板擴(kuò)展機(jī)制,1.exe和2.
dll中會(huì)分別存在自己的一份類靜態(tài)變量A<int>.m_s。
這樣,假如1.exe中從2.
dll中取得了一個(gè)的類A<int>的實(shí)例對(duì)象a,那么當(dāng)在1.exe中直接訪問(wèn)a.m_s時(shí),其實(shí)訪問(wèn)的是
1.exe中的對(duì)應(yīng)拷貝(正確情況應(yīng)該是訪問(wèn)了2.
dll中的a.m_s)。這樣就可能導(dǎo)致非法訪問(wèn)、應(yīng)當(dāng)改變的數(shù)據(jù)沒有改變、不應(yīng)改變的數(shù)據(jù)被錯(cuò)誤地更
改等異常情形。
原文:
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、保證資源的分配/刪除操作對(duì)等并處于同一個(gè)執(zhí)行單元;
比如,可以把這些操作(包括構(gòu)造/析構(gòu)函數(shù)、某些容器自動(dòng)擴(kuò)容{這個(gè)需要特別注意}時(shí)的內(nèi)存再分配等)隱藏到
接口函數(shù)里面。換句話說(shuō):盡量不要直接從
dll中輸出
stl對(duì)象;如果一定要輸出,給它加上一層包裝,然后輸出這個(gè)包裝
接口而不是原始
接口。
2、保證所有的執(zhí)行單元使用同樣版本的
STL運(yùn)行庫(kù)。
比如,全部使用release庫(kù)或debug庫(kù),否則兩個(gè)執(zhí)行單元擴(kuò)展出來(lái)的
STL類的內(nèi)存布局就可能會(huì)不一樣。
只要記住關(guān)鍵就是:
如果任何STL類使用了靜態(tài)變量(無(wú)論是直接還是間接使用),那么就不要再寫出跨執(zhí)行單元訪問(wèn)它的代碼。
解決方法:
1.
一個(gè)可以考慮的方案
比如有兩個(gè)動(dòng)態(tài)庫(kù)L1和L2,L2需要修改L1中的一個(gè)map,那么我在L1中設(shè)置如下
接口int modify_map(int
key, int
new_value);
如果需要指定“某一個(gè)map”,則可以考慮實(shí)現(xiàn)一種類似于句柄的方式,比如可以傳遞一個(gè)DWORD
不過(guò)這個(gè)DWORD放的是一個(gè)地址
那么modify_map就可以這樣實(shí)現(xiàn):
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可以這樣調(diào)用:
DWORD h =
get_map_handle();
modify_map(h, 1, 2);
2.
加入一個(gè)額外的層,就可以解決問(wèn)題。所以,你需要將你的Map包裝在
dll內(nèi)部,而不是讓它出現(xiàn)在
接口當(dāng)中。動(dòng)態(tài)庫(kù)的
接口越簡(jiǎn)單越好,不好去傳太過(guò)復(fù)雜的東東是至理名言:)