我們在編寫代碼的過程中經常會遇到一種叫做符號重復定義（Multiple Definition）的錯誤，這是因為在多個源文件中定義了名字相同的全局變量，并且都將它們初始化了。

例如，在 a.c 中定義了全局變量 global：

int global = 10;

在 b.c 中又對 global 進行了定義：

int global = 20;

那么在鏈接時就會出現下面的錯誤：

b.o: multiple definition of `global' a.o: first defined here

這種符號的定義可以被稱為強符號。

在C語言中，編譯器默認函數和初始化了的全局變量為強符號（Strong Symbol），未初始化的全局變量為弱符號（Weak Symbol）。強符號之所以強，是因為它們擁有確切的數據，變量有值，函數有函數體；弱符號之所以弱，是因為它們還未被初始化，沒有確切的數據。

鏈接器會按照如下的規則處理被多次定義的強符號和弱符號：
1) 不允許強符號被多次定義，也即不同的目標文件中不能有同名的強符號；如果有多個強符號，那么鏈接器會報符號重復定義錯誤。

2) 如果一個符號在某個目標文件中是強符號，在其他文件中是弱符號，那么選擇強符號。

3) 如果一個符號在所有的目標文件中都是弱符號，那么選擇其中占用空間最大的一個。

比如目標文件 a.o 定義全局變量 global 為 int 類型，占用4個字節，目標文件 b.o 定義 global 為 double 類型，占用8個字節，那么被鏈接后，符號 global 占用8個字節。請盡量不要使用多個不同類型的弱符號，否則有時候很難發現程序錯誤。

在 GCC 中，可以通過__attribute__((weak))來強制定義任何一個符號為弱符號。假設現在有下面的一段代碼：

extern int ext; int weak1; int strong = 100; __attribute__((weak)) weak2 = 2; int main(){return 0; }

weak1 和 weak2 是弱符號，strong 和 main 是強符號，而 ext 既非強符號也非弱符號，它是一個對外部變量的引用（使用）。

為了加深理解，我們不妨再來看一個多文件編程的例子。

main.c 源碼：

#include <stdio.h> //弱符號 __attribute__((weak)) int a = 20; __attribute__((weak)) void func(){printf("C Language\n"); } int main(){printf("a = %d\n", a);func();return 0; }

module.c 源碼：

#include <stdio.h> //強符號 int a = 9999; void func(){printf("c.biancheng.net\n"); }

在 GCC 中，使用下面的命令來運行程序：

$gcc main.c module.c $./a.out a = 9999 c.biancheng.net

在 main.c 中，a 和 func 都是弱符號，在 module.c 中，a 和 func 都是強符號，強符號會覆蓋弱符號，所以鏈接器最終會使用 module.c 中的符號，輸出結果也印證了這一點。

需要注意的是，__attribute__((weak))只對鏈接器有效，對編譯器不起作用，編譯器不區分強符號和弱符號，只要在一個源文件中定義兩個相同的符號，不管它們是強是弱，都會報“重復定義”錯誤。請看下面代碼：

#include <stdio.h> __attribute__((weak)) int a = 20; int a = 9999; int main(){printf("a = %d\n", a);return 0; }

這段代碼在編譯階段就會報錯，編譯器會認為變量 a 被定義了兩次，屬于重復定義。

弱符號對于庫來說十分有用，我們在開發庫時，可以將某些符號定義為弱符號，這樣就能夠被用戶定義的強符號覆蓋，從而使得程序可以使用自定義版本的函數，增加了很大的靈活性。

本文轉自：強符號和弱符號

轉載于:https://www.cnblogs.com/yongdaimi/p/8084634.html

總結

以上是生活随笔為你收集整理的13.强符号和弱符号的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。