C說話中的強符號和弱符號引見。本站提示廣大學習愛好者：（C說話中的強符號和弱符號引見）文章只能為提供參考，不一定能成為您想要的結果。以下是C說話中的強符號和弱符號引見正文
之前在extern “C” 用法詳解中曾經提到過符號的概念，它是編譯器對變量和函數的一種標志，編譯器對C和C++代碼在臨盆符號時規矩也是紛歧樣的，符號除自己名字的差別外，還有強符號和弱符號之分
我們先看一段簡略的代碼
/* test.c */
void hello();
int main()
{
hello();
return 0;
}
很明顯，這段代碼是沒法鏈接經由過程的，它會報錯undefined reference to hello，說的是hello不決義，由於這裡我們只聲清楚明了函數hello，而沒有界說它。然則我們把代碼稍作修正以下
__attribute__((weak)) void hello();
int main()
{
hello();
return 0;
}
這時候你會發明，編譯鏈接都可經由過程，然則運轉會報錯，由於這時候我們將hello聲明為了弱符號，在鏈接時弱符號會被鏈接器當作0，履行一個地址為0的函數固然會報錯，改成以下代碼就不會報錯了，只是它沒有任何輸入
__attribute__((weak)) void hello();
int main()
{
if(hello)
hello();
return 0;
}
編譯器以為，函數和初始化了的全局變量為強符號，未初始化的全局變量為弱符號，鏈接器在處置強符號和弱符號時有以下規矩
1.分歧目的文件中，不許可有同名的強符號
2.假如一個符號在某個目的文件中是強符號，在其它目的文件中為弱符號，選擇強符號
3.假如一個符號在一切目的文件中都是弱符號，選擇占用空間最年夜的，好比目的文件A中有double global_var，文件B中有int global_var，double占用8字節，年夜於int的4字節，A和B鏈接後，符號global占8字節
對此我們可以簡略的驗證一下，有以下兩個文件
/* 1.c */
char global_var;
int main()
{
return 0;
}
/* 2.c */
int global_var;
全局變量global_var在兩個文件中都沒有初始化，是以都是弱符號，履行編譯敕令gcc 1.c 2.c，用readelf檢查符號表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
這裡符號global_var占用的size是4，解釋鏈接器選擇的是占用空間更年夜的int global_var，我們再稍作修正，將1.c中的全局變量初始化，以下
/* 1.c */
char global_var = 1;
int main()
{
return 0;
}
/* 2.c */
int global_var;
這時候1.c中的global_var為強符號，2.c中的global_var為弱符號，異樣編譯以後用readelf檢查符號表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
此時符號global_var占用的size是1，解釋鏈接器選擇的是強符號
在寫代碼時應當盡可能防止有分歧類型的符號，不然會激發異常詭異且不容易發覺的毛病，為了不可以采用以下辦法：
1.下策：清除一切的全局變量
2.中策：將全局變量聲明為static類型，並供給接供詞拜訪
3.下策：全局變量必定要初始化，哪怕初始化為0
4.必備：翻開gcc的-fno-common選項，它會制止有分歧類型的符號
說了這麼多，似乎在說應當盡可能用強符號，那弱符號有甚麼用呢，所謂存期近公道，有時刻我們乃至須要顯示界說弱符號，這對庫函數會異常有效，好比庫中的弱符號可以被用戶自界說的強符號籠罩，從而完成自界說的庫版本，或許在應用某些擴大功效時，用戶可以界說一個弱符號，當鏈接了該功效時，功效模塊可以正常應用，假如去失落功效模塊，法式也可正常鏈接，只是缺乏某些功效罷了，好比我們可以經由過程上面的代碼斷定法式能否鏈接了pthread庫，從而決議履行甚麼樣的操作
/* 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;
}
編譯運轉成果以下
$ gcc test.c
$ ./a.out
This is single-thread version!
$ gcc test.c -lpthread
$ a.out
This is multi-thread version!
