如果你是写上层代码的程序员(名叫上上)，需要下层程序员(名叫下下)提供一个新的API，为了保证版本库里的代码至少是可编译成功的，上上就不得不等下下把API提交，在下下的库文件和头文件发布到上上要改的工程之后，上上才能提交代码。

今天这个东西就可以让上上谁也不用等，直接提交代码，早早下班。

weak symbol

弱符号，这涉及到编译中符号的概念。在Linux开发环境中，有强符号和弱符号，符号简单来说就是函数、变量的名字，对于全局(非局部、非static)的函数和变量，能不能重名是有一定规矩的，强、弱符号就是针对这些全局函数和变量来说的。

符号类型

对象

强

函数名，赋初值的全局变量

弱

未初始化的全局变量

当代码中同时存在多个强或弱的全局变量时，要遵守如下规则

强符号只能定义一次，否则编译错误

强弱符号同时存在，以强符号为准

没有强符号，则从多个弱符号中任选一个，用–fno-common编译选项可以在这种情况下打出warning

弱符号的声明

弱符号的声明有两种方式

第一种，用__attribute__((weak))修饰，例如

void __attribute__((weak)) func(void);

extern int __attribute__((weak)) var;

第二种，用#pragma weak标记，例如

#pragma weak func

代码演示

main.c

这个文件中main函数调用了2个声明为弱符号的函数，它们是weak0和weak1

#include void __attribute__((weak)) weak0(void);

void __attribute__((weak)) weak1(void);

int main(int argc, char **argv){

//尝试调用弱符号函数weak0

if (weak0){

weak0();

}

else{

printf("weak0=%p\n", weak0);

}

//尝试调用弱符号函数weak1

if (weak1){

weak1();

}

else{

printf("weak1=%p\n", weak0);

}

return 0;

}

weak.c

这个文件中定义了2个函数(它们还是weak0和weak1)，并强制声明为弱符号

#include //标记weak0为弱符号

#pragma weak weak0

//标记weak1为弱符号

void __attribute__((weak)) weak1(void);

static char *label = "weak";

void weak0(void){

printf("[%s]%s is called\n", label, __FUNCTION__);

}

void weak1(void){

printf("[%s]%s is called\n", label, __FUNCTION__);

}

strong.c

这个文件中重复定义(与上面重复)了两个函数，它们又是weak0和weak1

#include //两个函数都[不]声明为弱符号

//#pragma weak weak0

//void __attribute__((weak)) weak1(void);

static char *label = "strong";

void weak0(void){

printf("[%s]%s is called\n", label, __FUNCTION__);

}

void weak1(void){

printf("[%s]%s is called\n", label, __FUNCTION__);

}

编译与输出

编译main.c

当弱符号函数链接不成功，处于未定义状态时，其名字所代表的地址为nil。

#gcc main.c -o test && ./test

weak0=(nil)

weak1=(nil)

编译main.c+weak.c

弱符号链接成功时，可以被正常调用。

#gcc main.c weak.c -o test && ./test

[weak]weak0 is called

[weak]weak1 is called

编译main.c+weak.c+strong.c

当强符号定义出现时，弱符号定义不起作用。

#gcc main.c weak.c strong.c -o test && ./test

[strong]weak0 is called

[strong]weak1 is called

上上如何提前下班呢？

他可以直接将新的API声明为弱符号函数，如果函数名地址非空，则可以调用，否则就维持原始逻辑，完全可能和下下一起下班。

对于全局变量，可以有类似的做法吗？