C語(yǔ)言中的強(qiáng)符號(hào)和弱符號(hào)介紹
之前在extern “C” 用法詳解中已經(jīng)提到過(guò)符號(hào)的概念，它是編譯器對(duì)變量和函數(shù)的一種標(biāo)記，編譯器對(duì)C和C++代碼在生產(chǎn)符號(hào)時(shí)規(guī)則也是不一樣的，符號(hào)除了本身名字的區(qū)別外，還有強(qiáng)符號(hào)和弱符號(hào)之分
我們先看一段簡(jiǎn)單的代碼
/* test.c */
void hello();
int main()
{
hello();
return 0;
}
很顯然，這段代碼是沒(méi)法鏈接通過(guò)的，它會(huì)報(bào)錯(cuò)undefined reference to hello，說(shuō)的是hello未定義，因?yàn)檫@里我們只聲明了函數(shù)hello，而沒(méi)有定義它。但是我們把代碼稍作修改如下
__attribute__((weak)) void hello();
int main()
{
hello();
return 0;
}
這時(shí)你會(huì)發(fā)現(xiàn)，編譯鏈接都可通過(guò)，但是運(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ò)了，只是它沒(méi)有任何輸出
__attribute__((weak)) void hello();
int main()
{
if(hello)
hello();
return 0;
}
編譯器認(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é)
對(duì)此我們可以簡(jiǎn)單的驗(yàn)證一下，有如下兩個(gè)文件
/* 1.c */
char global_var;
int main()
{
return 0;
}
/* 2.c */
int global_var;
全局變量global_var在兩個(gè)文件中都沒(méi)有初始化，因此都是弱符號(hào)，執(zhí)行編譯命令gcc 1.c 2.c，用readelf查看符號(hào)表readelf -s a.out，為了查看方便我們只輸出最后幾行
Num: Value Size Type Bind Vis Ndx Name
62: 0000000000600818 4 OBJECT GLOBAL DEFAULT 25 global_var
63: 0000000000400474 11 FUNC GLOBAL DEFAULT 13 main
64: 0000000000400358 0 FUNC GLOBAL DEFAULT 11 _init
這里符號(hào)global_var占用的size是4，說(shuō)明鏈接器選擇的是占用空間更大的int global_var，我們?cè)偕宰餍薷?，?.c中的全局變量初始化，如下
/* 1.c */
char global_var = 1;
int main()
{
return 0;
}
/* 2.c */
int global_var;
這時(shí)1.c中的global_var為強(qiáng)符號(hào)，2.c中的global_var為弱符號(hào)，同樣編譯之后用readelf查看符號(hào)表readelf -s a.out如下
Num: Value Size Type Bind Vis Ndx Name
62: 0000000000600818 1 OBJECT GLOBAL DEFAULT 25 global_var
63: 0000000000400474 11 FUNC GLOBAL DEFAULT 13 main
64: 0000000000400358 0 FUNC GLOBAL DEFAULT 11 _init
此時(shí)符號(hào)global_var占用的size是1，說(shuō)明鏈接器選擇的是強(qiáng)符號(hào)
在寫(xiě)代碼時(shí)應(yīng)該盡量避免有不同類(lèi)型的符號(hào)，否則會(huì)引發(fā)非常詭異且不易察覺(jué)的錯(cuò)誤，為了避免可以采取如下措施：
1.上策：消除所有的全局變量
2.中策：將全局變量聲明為static類(lèi)型，并提供接口供訪問(wèn)
3.下策：全局變量一定要初始化，哪怕初始化為0
4.必備：打開(kāi)gcc的-fno-common選項(xiàng)，它會(huì)禁止有不同類(lèi)型的符號(hào)
說(shuō)了這么多，好像在說(shuō)應(yīng)該盡量用強(qiáng)符號(hào)，那弱符號(hào)有什么用呢，所謂存在即合理，有時(shí)候我們甚至需要顯示定義弱符號(hào)，這對(duì)庫(kù)函數(shù)會(huì)非常有用，比如庫(kù)中的弱符號(hào)可以被用戶(hù)自定義的強(qiáng)符號(hào)覆蓋，從而實(shí)現(xiàn)自定義的庫(kù)版本，或者在使用某些擴(kuò)展功能時(shí)，用戶(hù)可以定義一個(gè)弱符號(hào)，當(dāng)鏈接了該功能時(shí)，功能模塊可以正常使用，如果去掉功能模塊，程序也可正常鏈接，只是缺少某些功能而已，比如我們可以通過(guò)下面的代碼判斷程序是否鏈接了pthread庫(kù)，從而決定執(zhí)行什么樣的操作
/* test.c */
#include <stdio.h>
#include <pthread.h>
__attribute__((weak)) int pthread_create(
pthread_t*,
const pthread_attr_t*,
void*(*)(void*),
void*);
int main()
{
if (pthread_create)
{
printf("This is multi-thread version!\n");
}
else
{
printf("This is single-thread version!\n");
}
return 0;
}
編譯運(yùn)行結(jié)果如下
$ gcc test.c
$ ./a.out
This is single-thread version!
$ gcc test.c -lpthread
$ a.out
This is multi-thread version!
相關(guān)文章
C++ 十進(jìn)制轉(zhuǎn)換為二進(jìn)制的實(shí)例代碼
這篇文章介紹了C++ 十進(jìn)制轉(zhuǎn)換為二進(jìn)制的實(shí)例代碼，有需要的朋友可以參考一下2013-10-10
C++實(shí)現(xiàn)LeetCode(138.拷貝帶有隨機(jī)指針的鏈表)
這篇文章主要介紹了C++實(shí)現(xiàn)LeetCode(138.拷貝帶有隨機(jī)指針的鏈表),本篇文章通過(guò)簡(jiǎn)要的案例,講解了該項(xiàng)技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下2021-07-07
詳談全排列next_permutation() 函數(shù)的用法(推薦)
下面小編就為大家?guī)?lái)一篇詳談全排列next_permutation() 函數(shù)的用法(推薦)。小編覺(jué)得挺不錯(cuò)的，現(xiàn)在就分享給大家，也給大家做個(gè)參考。一起跟隨小編過(guò)來(lái)看看吧2017-03-03
C語(yǔ)言實(shí)現(xiàn)簡(jiǎn)單版三子棋
這篇文章主要為大家詳細(xì)介紹了C語(yǔ)言實(shí)現(xiàn)簡(jiǎn)單版三子棋，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2021-10-10
C語(yǔ)言詳細(xì)分析講解關(guān)鍵字goto與void的作用
我們?cè)贑語(yǔ)言中經(jīng)常會(huì)見(jiàn)到void，也會(huì)偶爾見(jiàn)到goto，那么C語(yǔ)言中既然有g(shù)oto，為什么我們?cè)诖a中見(jiàn)的很少呢？在以前很多的項(xiàng)目經(jīng)驗(yàn)中，我們得到這樣一條潛規(guī)則：一般項(xiàng)目都是禁用goto的，程序質(zhì)量與goto的出現(xiàn)次數(shù)成反比。自后也就造成了我們一般不會(huì)使用goto2022-04-04
C++基于hook iat改變Messagebox實(shí)例
這篇文章主要介紹了C++基于hook iat改變Messagebox的方法,以實(shí)例形式展示了針對(duì)IAT（即導(dǎo)入地址表）以及hook的操作,有助于深入理解Windows程序設(shè)計(jì)原理,需要的朋友可以參考下2014-10-10
這篇文章主要介紹了C++ 單例模式的詳解及實(shí)例的相關(guān)資料,這里對(duì)單例中的懶漢模式和餓漢模式進(jìn)行實(shí)現(xiàn)和比較，需要的朋友可以參考下2017-07-07
C語(yǔ)言實(shí)現(xiàn)簡(jiǎn)單掃雷源碼
這篇文章主要為大家詳細(xì)介紹了C語(yǔ)言實(shí)現(xiàn)簡(jiǎn)單掃雷源碼，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2021-04-04
這篇文章主要介紹了C語(yǔ)言中的sscanf()函數(shù)使用詳解,文中附加了一道相關(guān)的ACM題目進(jìn)行補(bǔ)充鞏固,需要的朋友可以參考下2015-08-08
這篇文章主要介為大家詳細(xì)紹了如何使用C語(yǔ)言繪制統(tǒng)計(jì)圖中的曲線圖,文中的示例代碼講解詳細(xì),感興趣的小伙伴可以跟隨小編一起學(xué)習(xí)一下2024-02-02