在读《程序员的自我修养中》,看到了强符号弱符号的概念。整理了以下相关的知识,作为备忘。
编译器默认函数和初始化了的全局变量和定义的函数为强符号,未初始化的全局变量为弱符号。
我们可以通过#pragma weak symbol 或者 attribute((weak)) 来改变一个符号的属性。
针对强弱符号的概念,链接器就会按如下规则处理与选择被多次定义的全局符号:
规则1:不允许强符号被多次定义(即不同的目标文件中不能有同名的强符号);如果有多个强符号定义,则链接器报符号重复定义错误。
a.cpp
#include <iostream> int foo() { } int global=10; int main(int argc, const char *argv[]) { return 0; }
b.cpp
int global;
int foo()
{
}
错误码 ``/tmp/ccGGNnzp.o:(.bss+0x0): multiple definition of `global' /tmp/ccd5zDei.o:(.data+0x0): first defined here /tmp/ccGGNnzp.o: In function `foo()': b.cpp:(.text+0x0): multiple definition of `foo()' /tmp/ccd5zDei.o:a.cpp:(.text+0x0): first defined here collect2: error: ld returned 1 exit status``
a b 中都定义了 全局变量global 函数foo,并且都是强符号
规则2:如果一个符号在某个目标文件中是强符号,在其他文件中都是弱符号,那么选择强符号。
/*========================================================================= * Filename: a.cpp * ========================================================================= */ #include <stdio.h> #pragma weak x double x=0; #pragma weak y int y=0; int main(int argc, const char *argv[]) { printf("x's size=%u x=%x y=%x\n",sizeof(x), x, y); x=0; printf("x's size=%u x=%x y=%x\n",sizeof(x), x, y); return 0; }
/*========================================================================= * Filename: b.cpp * ========================================================================= */ int x=10; int y=10;
结果
x's size=8 x=a y=a
x's size=8 x=0 y=0
因为在b中 x y是强符号,所以会取b中的定义,但是在a中改变x ,影响了y。
规则3:如果一个符号在所有目标文件中都是弱符号,那么选择其中占用空间最大的一个。
/*========================================================================= * Filename: a.cpp * ========================================================================= */ #include <stdio.h> #pragma weak x int x=0; #pragma weak y int y=0; int main(int argc, const char *argv[]) { printf("x's size=%u x=%x y=%x\n",sizeof(x), x, y); return 0; }
/*========================================================================= * Filename: b.cpp * ========================================================================= */ #pragma weak x #pragma weak y long int x=10; long int y=10;
结果 x's size=4 x=a y=a
a b中的x y 都是弱符号 ,链接器选择了更大空间的b中的x y作为定义,符合规则三。