ref: http://yonghaowu.github.io/2016/05/09/Relocation_Symbol_Decoration/
/* bar2.c */
#include <stdio.h>
double x;
void f()
{
printf(" &x=%x\n", &x );
x = 1;
}
/* foo2.c */
#include <stdio.h>
void f(void);
int x = 1234;
int y = 5678;
int main()
{
f();
printf("&x=%x, &y=%x\n", &x, &y );
printf("x = 0x%x y = 0x%x \n", x, y);
return 0;
}
./a.out
&x=601040
&x=601040, &y=601044
x = 0x0 y = 0x3ff00000
//1的double类型表示就是:3FF0000000000000,表示运行主机是小端字节序
// nm -S bar2.o可以查看到x占8个字节
这里, foo2.c中的x跟y都是强符号, 而bar2.c中的x是弱符号, 链接器选择了foo2.c中的x. 而在bar2.c 中的 f函数中赋值时, 就是给for2.c中的int x赋值. 在一台IA32机器上, double类型是8个字节, 而int类型是4个字节, 因此bar2.c的x=-0.0会覆盖了x跟y的位置. (x跟y在foo2.c中占8个字节, 而在bar2.c中的强符号就占了8个字节, 执行f函数赋值为-0.0时就覆盖了x跟y的位置了)
/* 测试字节序
#include <stdio.h>
union A
{
int a;
char buf[4];
}t;
int main()
{
int ret = 0;
t.buf[0] = 0;
t.buf[1] = 0;
t.buf[2] = 0;
t.buf[3] = 'A';
int i = 0;
printf("%d\n", t.a );
for( i = 0; i < 4; ++i )
{
//printf( "%c", t.buf[i] );
}
return ret;
}
*/
/* bar2.c */
#include <stdio.h>
double x;
void f()
{
printf(" &x=%x\n", &x );
x = 1;
}
/* foo2.c */
#include <stdio.h>
void f(void);
int x = 1234;
int y = 5678;
int main()
{
f();
printf("&x=%x, &y=%x\n", &x, &y );
printf("x = 0x%x y = 0x%x \n", x, y);
return 0;
}
./a.out
&x=601040
&x=601040, &y=601044
x = 0x0 y = 0x3ff00000
//1的double类型表示就是:3FF0000000000000,表示运行主机是小端字节序
// nm -S bar2.o可以查看到x占8个字节
这里, foo2.c中的x跟y都是强符号, 而bar2.c中的x是弱符号, 链接器选择了foo2.c中的x. 而在bar2.c 中的 f函数中赋值时, 就是给for2.c中的int x赋值. 在一台IA32机器上, double类型是8个字节, 而int类型是4个字节, 因此bar2.c的x=-0.0会覆盖了x跟y的位置. (x跟y在foo2.c中占8个字节, 而在bar2.c中的强符号就占了8个字节, 执行f函数赋值为-0.0时就覆盖了x跟y的位置了)
/* 测试字节序
#include <stdio.h>
union A
{
int a;
char buf[4];
}t;
int main()
{
int ret = 0;
t.buf[0] = 0;
t.buf[1] = 0;
t.buf[2] = 0;
t.buf[3] = 'A';
int i = 0;
printf("%d\n", t.a );
for( i = 0; i < 4; ++i )
{
//printf( "%c", t.buf[i] );
}
return ret;
}
*/