目录
Ubuntu版本:12.04
Linux版本:3.5.0
GCC版本:4.6.3
一、先说结论
在C语言中,强符号:
- 非静态函数
- 初始化的非静态全局变量(包括显示初始化为0)
弱符号:
- 未初始化的非静态全局变量
- GCC的
__attribute__((weak))
来定义任何一个强符号
强弱符号是针对于定义来说的,不是针对符号的引用。
__attribute__((weak))
修饰引用时,可以不用链接,依据符号在实际语句中的作用将其替换成0,编译时还是需要做语法正确性检查。
虽然允许多个相同弱符号同时存在,但是这里的存在只是在同一个项目中不同的文件中相同弱符号允许存在,同一个文件中不允许相同的弱符号同时存在。
======================================================================================================
下面对上述内容进行举例说明,如有理解错误,望不吝指正。
二、当attribute修饰符号的引用/声明时——不做链接
当 __attribute__((weak))
修饰强符号(定义好的)的时候,可以将强符号变成弱符号,当__attribute__((weak))
修饰引用/声明时,可以避过链接,依据符号在实际语句中的作用将其替换成0,编译时候语法正确性检查还是需要的。
什么是定义?
变量定义、函数定义认为是定义,例如:int a; void func(void){}
什么是引用/声明?
外部变量、函数原型认为是引用/声明,例如:extern int a; void func(void)
2.1、变量声明
阶段一、
/* test.c文件 */
#include <stdio.h>
int main(int argc, const char *argv[])
{
a++;
return 0;
}
编译:gcc test.c
(错误原因:‘a’ 未申报 )
阶段二、
/* test.c文件 */
#include <stdio.h>
extern int a; //外部变量——声明
int main(int argc, const char *argv[])
{
a++;
return 0;
}
编译:gcc test.c
(错误原因:对‘a’的未定义引用 )
阶段三、
/* test.c文件 */
#include <stdio.h>
extern int __attribute__((weak)) a; //外部变量——声明
int main(int argc, const char *argv[])
{
a++;
return 0;
}
编译:gcc test.c
编译结果:通过,不做链接。
运行结果:Segmentation fault (core dumped),因为链接器会将此未定义的weak symbol赋值为0,所以出现段错误。
2.2、函数声明
__attribute__((weak))
修饰函数声明,同样也是避过链接,将对应的符号设置成0,依然在编译时会做语法正确性检查。
gcc编译器中函数不用进行原型声明的解释
gcc编译器如果没有写函数原型,编译器会把函数调用同时认为是声明,默认返回值为int。
如果写了函数原型,那么以函数原型去检查函数调用是否符合规定。
变量如果是外部引用的也必须说明,不然编译报错。
安全起见还是写一下函数原型!!!
参考:关于gcc编译器中函数不用进行原型声明的解释