gcc 强符号 弱符号

在读《程序员的自我修养中》,看到了强符号弱符号的概念。整理了以下相关的知识，作为备忘。
编译器默认函数和初始化了的全局变量和定义的函数为强符号，未初始化的全局变量为弱符号。
我们可以通过#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作为定义，符合规则三。