C++彙編靜態變量和共享對象

Question

描述：

一個。類X包含一個靜態私有數據成員ptr和靜態公共函數成員getptr（）/ setptr（）。
在X.cpp中，ptr被設置爲NULL。

b。 libXYZ.so（共享對象）包含類X的對象（即libXYZ.so包含X.o）。

c。 libVWX.so（共享對象）包含X類的對象（即libVWX.so包含X.o）。 d）。可執行A.EXE包含X.cpp作爲翻譯單元部分，最後連接到libXYZ.so，libVWX.so

PS：
1.有參與任何類的沒有用戶的命名空間。
2.庫和可執行文件還包含許多其他類。
3.沒有dlopen（）已經完成。所有的庫在編譯時使用-L和-l標誌進行鏈接。

問題陳述：

1. 當編譯，並與其他庫（即libXYZ.so和libVWX.so）連接a.exe的，我期待一個鏈接錯誤（衝突/相同的次數符號多次），但沒有得到一個。

2. 當在執行程序 - 行爲是SUSE Linux的10和HP-UX 11 IA64奇怪。
   在Linux中，當執行流被推送到不同庫中的所有對象時，效果僅在X的一個副本中註冊。
   在HPUX中，當執行流被推送到不同庫中的所有對象時，效果爲在3個不同的充X（2屬於每個庫和1用於可執行）

PS副本註冊：在運行節目期間我的意思是，該流程也傳遞thourgh屬於A.EXE，libXYZ.so多個對象和libVWX.so），其與靜態指針交互屬於X.

問：

• 期待鏈接錯誤不正確？由於兩個編譯器默默地通過了編譯，可能會有一個標準規則來處理這種類型的場景，而我錯過了。如果是這樣，請讓我知道一樣。
• 如何（在HPUX GCC在Linux和ACC）編譯器決定X的多少副本保留在最終的可執行文件，並在這樣的情況下是指他們。
• gcc和aCC是否支持任何標誌，這會在這種情況下警告/停止編譯給用戶？

感謝您的幫助提前。

Answer 1

該函數是「公共靜態」，所以我假設它是OOP-意思是「靜態」（不需要實例） ，而不是C的靜態含義（文件靜態;本地編譯單元）。因此這些功能是外部的。

現在在Linux中，您有明確的權利來覆蓋庫符號，無論是使用其他庫還是可執行文件。庫中的所有外部符號都使用全局偏移量表來解析，即使庫實際上定義了它自己。儘管可執行文件中定義的函數通常不會像這樣解析，但鏈接器注意到符號將從庫中到達符號表，並將引用放置在可執行文件定義的引用中。因此，如果您生成了可執行文件，庫會看到在可執行文件中定義的符號。

這是一個顯式的功能，可以讓您執行諸如替換內存分配函數或打包文件系統操作等功能。HP-UX可能沒有此功能，因此每個庫最終都會調用它自己的實現，而其他任何具有未定義符號的對象都會看到其中一個。

Answer 2

我不太確定我是否完全理解了這種情況。但是，在Linux下加載動態對象（以及其他的 Unices）的默認行爲是使庫中的所有符號可用，並且僅使用 第一次遇到。因此，如果您同時包含和libVWX.so 包含符號X::ourData，它不是錯誤;如果你將它們加載到 那個訂單中，libVWX.so將使用, 而不是它自己的X::ourData。從邏輯上講，這很像頭文件中的模板定義 ：編譯器偶然選擇一個，如果任何定義與所有其他定義不同，則爲 未定義的行爲。通過將標誌RTLD_LOCAL傳遞給dlopen可以覆蓋此行爲 。

至於你的問題：

• 的連接僅僅是實現（當系統加載庫隱含您獲取）的dlopen的默認行爲。因此，沒有錯誤（但是，如果任何定義不相同，那麼未定義行爲的邏輯等價物就不相同）。

• 編譯器沒有決定。當加載.so時會作出決定，具體取決於您在致電dlopen時是否指定了RTLD_GLOBAL或RTLD_LOCAL。當運行時隱式地調用dlopen來解決依賴關係時，如果在加載主可執行文件時發生這種情況，它將使用RTLD_GLOBAL，以及當依賴項來自庫時曾用於加載庫的內容。 （這意味着，當然，前提是RTLD_GLOBAL將傳播，直到調用dlopen明確。）

Answer 3

有beetween「外部的」符號的差（這是在C++缺省值）和「共享libary外部」。默認情況下，符號只是「extern」，這意味着一個「鏈接單元」的範圍，例如一個可執行文件或一個庫。 所以預期的行爲將是：沒有編譯器錯誤，並且每個模塊都有自己的副本。 這會導致內聯編譯等問題......等等...... 要聲明符號「共享庫extern」，您必須使用「.def」文件或編譯器聲明。 例如在visual C++中，這將是「_ declspec（dllexport）」和「 _declspec（dllimport）」。 我不知道gcc目前的聲明，但我確信有人會這樣做:-)