浅谈C语言中的强符号、弱符号、强引用和弱引用
首先我表示很悲剧，在看《程序员的自我修养--链接、装载与库》之前我竟不知道C有强符号、弱符号、强引用和弱引用。在看到3.5.5节弱符号和强符号时，我感觉有些困惑，所以写下此篇，希望能和同样感觉的朋友交流也希望高人指点。
首先我们看一下书中关于它们的定义。
引入场景：（1）文件A中定义并初始化变量i（int i = 1), 文件B中定义并初始化变量i（int i = 2)。编译链接A、B时会报错b.o:(.data+0x0): multiple definition of `i'；a.o:(.data+0x0): multiple definition of `i'。（2）在文件C中定义并初始化两个变量i(int i = 1; int i = 2), 编译链接时会报错c.c:2:5: error: redefinition of ‘i'; c.c:1:5: note: previous definition of ‘i' was here。
强符号：像场景中这样的符号定义被称为强符号，对于C/C++来说，编译器默认函数和初始化的全局变量为强符号。
弱符号：接上文，为初始化的全局变量为弱符号。
编译器关于强弱符号的规则有：（1）强符号不允许多次定义，但强弱可以共存；（2）强弱共存时，强覆盖弱；（3）都是弱符号时，选择占用空间最大的，如选择 double类型的而不选择int类型的。
由以上定义所以有我之前没有想到的场景：
代码a.c：
1 int i = 2;
代码b.c：
#include<stdio.h>
int i;
int main(int argc, char** argv)
{
printf("i = %d\n", i);
return 0;
}
编译文件a和b并链接，结果输出i为2而不是0。
并且在同一个文件中定义但未初始化两个相同的变量不会报错，只有在使用变量时才会报错。
对于GCC编译器来说，还允许使用__attribute__((weak))来将强符号定义为弱符号，所已有
代码c.c
#include<stdio.h>
__attribute__((weak)) int i = 1;
int main(int argc, char** argv)
{
printf("i = %d\n", i);
return 0;
}
结果i的输出仍未2而不是1。
那么对于函数而言是不是也这样呢？先不看函数，而是先看由强弱符号而进一步引入的强弱引用。书中关于强弱引用的概述是对于强引用若未定义则链接时肯定会报错，而对于弱引用则不会报错，链接器默认其为0（这一点对于函数好理解，即函数符号所代表入口地址为0；对于变量就要注意了，既然是引用那自然就是地址了，所以同函数一样变量的地址为0而不是变量的值为0）。此时对于强弱引用是不是还没有什么明确的概念呢？到底什么是引用？引用和符号又是什么关系？这里我说一下我的理解（欢迎指正），在定义和声明处指定的函数名、变量名即为对应的符号，而在代码其他处调用函数或使用变量时，则把函说明和变量名看作引用，这样一来符号和引用在代码层面上其实就是一个东西，只是根据环境而叫法不同而已。那么强符号对应强引用，弱符号对应弱引用。
有上面的强弱引用的特点可看出，当一个函数为弱引用时，不管这个函数有没有定义，链接时都不会报错，而且我们可以根据判断函数名是否为0来决定是否执行这个函数。这样一来，包含这些函数的库就可以以模块、插件的形式和我们的引用组合一起，方便使用和卸载，并且由于强符号可以覆盖弱符号和强弱符号与强弱引用的关系可知，我们自己定义函数可以覆盖库中的函数，多么美妙。
先看根据条件判断是否执行函数：
代码d.c
#include<stdio.h>
void func()
{
printf("func()#1\n");
}
代码e.c
#include<stdio.h>
__attribute__((weak)) void func();
int main(int argc, char** argv)
{
if (func)
func();
return 0;
}
编译d.c，cc -c d.c 输出d.o；编译e.c并链接d.o，cc d.o e.c -o e输出可执行文件e，运行e正常执行函数func。编译e.c但不链接d.o，此时并不会报错，只不过func不会执行，因为没有它的定义所以if(func)为假。
再看函数覆盖：
代码f.c
#include<stdio.h>
__attribute__((weak)) void func()
{
printf("func()#1\n");
}
代码g.c
#include<stdio.h>
void func()
{
printf("func()#2\n");
}
int main(int argc, char** argv)
{
func();
return 0;
}
~
编译链接，结构输出"func()#2"。
以上可以说明函数和变量是保持一致的，其实对应变量也可以像使用函数那样先判断再使用，只不过不是判断变量的值而是变量的地址，如
代码v1.c
int i = 2;
代码v2.c
#include<stdio.h>
__attribute__((weak)) extern int i;
int main(int argc, char** argv)
{
if (&i)
printf("i = %d\n", i);
return 0;
}
~
编译并链接v1时，输出2；编译但不链接v1时无输出。这样做时要分清定义和声明的区别，__attribute__((weak)) int i 是定义变量并转换为弱符号，这样i是分配了空间的，而__attribute__((weak)) extern int i 则将原来定义的变量i由强符号转换为弱符号，导致使用i时不是强引用而是弱引用。不过虽然变量可以这么做但没有函数那样有意义。
上面关于强弱引用仍旧使用的是GCC提供的__attribute__((weak))，而书中还提到了__attribute__((weakref))，后者貌似更能体现“引用”这一关键词。而我之所以使用前者来介绍强弱引用，是因为我对关于强弱符号与强弱引用对应关系的理解。关于__attribute__((weakref))的使用方法，这里介绍一种（两者都有不同的使用方法）。
代码a.c
#include<stdio.h>
void bar()
{
printf("foo()\n");
}
代码b.c
#include<stdio.h>
static void foo() __attribute__((weakref("bar")));
int main(int argc, char** argv)
{
if (foo)
foo();
return 0;
}
注意函数foo的static修饰符，没有的话会报错，这样将函数foo限制在只有本文件内可使用。
好了，夜已深，写的有点凌乱，我也凌乱了。
相关文章
这篇文章主要介绍了C语言中的运算符,本文给大家介绍的非常详细，具有参考借鉴价值，需要的朋友可以参考下,希望能给你带来帮助2021-08-08
这篇文章主要为大家详细介绍了C语言的随机数rand()函数，使用数据库，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下，希望能够给你带来帮助2022-02-02
这篇文章主要为大家详细介绍了C++ OpenCV如何实现简单的图像矫正功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下2024-03-03
这篇文章主要为大家详细介绍了C语言实现按月显示的日历，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2019-10-10
这篇文章主要为大家详细介绍了C语言数据结构之堆排序源代码，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2018-01-01
这篇文章主要为大家详细介绍了OpenCV实现鼠标响应裁剪图像，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2019-01-01
本文主要介绍了VScode+cuda编程常见环境问题的解决，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2023-02-02
本文主要介绍C语言 二级指针,这里整理了C语言中二级指针的基础资料并附有示例代码和实现结果，帮助大家学习理解相关知识，有学习的朋友可以参考下2016-08-08
本文给大家分享的是一个C语言实现的猜拳小游戏，由于本程序简单易操作，交互性好，对用户没什么特别要求。这里推荐给大家2016-02-02
C语言中的sizeof和strlen是两个常用的操作符/函数,但它们的功能和用途有很大的区别，本文就详细的来介绍一下C语言sizeof和strlen区别，具有一定的参考价值，感兴趣的可以了解一下2024-01-01
最新评论