之前在extern “C” 用法詳解中已經(jīng)提到過符號(hào)的概念，它是編譯器對變量和函數(shù)的一種標(biāo)記，編譯器對C和C++代碼在生產(chǎn)符號(hào)時(shí)規(guī)則也是不一樣的，符號(hào)除了本身名字的區(qū)別外，還有強(qiáng)符號(hào)和弱符號(hào)之分

我們先看一段簡單的代碼

很顯然，這段代碼是沒法鏈接通過的，它會(huì)報(bào)錯(cuò)undefined reference to hello，說的是hello未定義，因?yàn)檫@里我們只聲明了函數(shù)hello，而沒有定義它。但是我們把代碼稍作修改如下

這時(shí)你會(huì)發(fā)現(xiàn)，編譯鏈接都可通過，但是運(yùn)行會(huì)報(bào)錯(cuò)，因?yàn)檫@時(shí)我們將hello聲明為了弱符號(hào)，在鏈接時(shí)弱符號(hào)會(huì)被鏈接器當(dāng)做0，執(zhí)行一個(gè)地址為0的函數(shù)當(dāng)然會(huì)報(bào)錯(cuò)，改為如下代碼就不會(huì)報(bào)錯(cuò)了，只是它沒有任何輸出

編譯器認(rèn)為，函數(shù)和初始化了的全局變量為強(qiáng)符號(hào)，未初始化的全局變量為弱符號(hào)，鏈接器在處理強(qiáng)符號(hào)和弱符號(hào)時(shí)有如下規(guī)則

1.不同目標(biāo)文件中，不允許有同名的強(qiáng)符號(hào)
2.如果一個(gè)符號(hào)在某個(gè)目標(biāo)文件中是強(qiáng)符號(hào)，在其它目標(biāo)文件中為弱符號(hào)，選擇強(qiáng)符號(hào)
3.如果一個(gè)符號(hào)在所有目標(biāo)文件中都是弱符號(hào)，選擇占用空間最大的，比如目標(biāo)文件A中有double global_var，文件B中有int global_var，double占用8字節(jié)，大于int的4字節(jié)，A和B鏈接后，符號(hào)global占8字節(jié)

對此我們可以簡單的驗(yàn)證一下，有如下兩個(gè)文件

全局變量global_var在兩個(gè)文件中都沒有初始化，因此都是弱符號(hào)，執(zhí)行編譯命令gcc 1.c 2.c，用readelf查看符號(hào)表readelf -s a.out，為了查看方便我們只輸出最后幾行

這里符號(hào)global_var占用的size是4，說明鏈接器選擇的是占用空間更大的int global_var，我們再稍作修改，將1.c中的全局變量初始化，如下

這時(shí)1.c中的global_var為強(qiáng)符號(hào)，2.c中的global_var為弱符號(hào)，同樣編譯之后用readelf查看符號(hào)表readelf -s a.out如下

此時(shí)符號(hào)global_var占用的size是1，說明鏈接器選擇的是強(qiáng)符號(hào)

在寫代碼時(shí)應(yīng)該盡量避免有不同類型的符號(hào)，否則會(huì)引發(fā)非常詭異且不易察覺的錯(cuò)誤，為了避免可以采取如下措施：

1.上策：消除所有的全局變量
2.中策：將全局變量聲明為static類型，并提供接口供訪問
3.下策：全局變量一定要初始化，哪怕初始化為0
4.必備：打開gcc的-fno-common選項(xiàng)，它會(huì)禁止有不同類型的符號(hào)

說了這么多，好像在說應(yīng)該盡量用強(qiáng)符號(hào)，那弱符號(hào)有什么用呢，所謂存在即合理，有時(shí)候我們甚至需要顯示定義弱符號(hào)，這對庫函數(shù)會(huì)非常有用，比如庫中的弱符號(hào)可以被用戶自定義的強(qiáng)符號(hào)覆蓋，從而實(shí)現(xiàn)自定義的庫版本，或者在使用某些擴(kuò)展功能時(shí)，用戶可以定義一個(gè)弱符號(hào)，當(dāng)鏈接了該功能時(shí)，功能模塊可以正常使用，如果去掉功能模塊，程序也可正常鏈接，只是缺少某些功能而已，比如我們可以通過下面的代碼判斷程序是否鏈接了pthread庫，從而決定執(zhí)行什么樣的操作

編譯運(yùn)行結(jié)果如下