(轉)跨dll訪問STL的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內部，而不是讓它出現在接口當中。動態庫的接口越簡單越好，不好去傳太過復雜的東東是至理名言：）

posted on 2009-06-16 17:08 大龍 閱讀(2603) 評論(1)  編輯 收藏 引用