关于多个相同全局变量在不同模块中定义的问题

joe_zh128

/*test1.c*/
#include<stdio.h>
void f(void);

int x=15213;
int y=15212;

int main()
{
f();
printf("x=0x%x,y=0x%x\n",x,y);
return 0;
}
============================
/*test2.c*/
double x;

void f()
{
x=-0.0;
}
============================
在IA32/linux机器上运行结果如下：
x=0x0，y=0x80000000

有没有哪位高人能解释一下
非常感谢！！！

想飞的蜗牛

1. 
   
2. main()
   
3. {
   
4.     int i;
   
5.     char c;
   
6.     for(i = 0; i< 5; i++){
   
7.     scanf("%d",&c);
   
8.     printf("%d ",i);
   
9.     }
   
10.     printf("\n");
    
11. }
    

复制代码

跟《c陷阱与缺陷》一书这个例子有点异曲同工之妙
不知道理解错没有

[ 本帖最后由 想飞的蜗牛 于 2008-3-4 22:36 编辑 ]

joe_zh128

understand！

多谢！

joe_zh128

谢谢各位！
我知道这个程序会得到错误的结果，只不过想知道为什么会出错，怎么出错的而已

To：agaric
我就是在你说的那本书上看到的，因为不解，所以发上来
-0.0即是0x80000000
但为什么x中没有存储，全都存到y中了呢

flw

原帖由 cjaizss 于 2008-3-4 13:28 发表
错误的程序得到了错误的结果
如果你真想搞懂怎么回事情，那么你就去想想double是怎么存储的吧，如果你不懂双精度是怎么存储的，那么去查吧

admire

cjaizss

错误的程序得到了错误的结果
如果你真想搞懂怎么回事情，那么你就去想想double是怎么存储的吧，如果你不懂双精度是怎么存储的，那么去查吧

agaric

另外我不记得printf 可以用 %x 来打印浮点数呀。

flw

原帖由 agaric 于 2008-3-4 12:49 发表
见《深入理解计算机系统》 链接器一章。 关于符号重复定义的问题。

int x = 15213； 即是声明，又是定义，所以是强符号。
double x;  没有初值，不一定是定义，是弱符号。
所以你的程序里面，最终链接到程 ...

说的好！

agaric

见《深入理解计算机系统》 链接器一章。 关于符号重复定义的问题。

int x = 15213； 即是声明，又是定义，所以是强符号。
double x;  没有初值，不一定是定义，是弱符号。
所以你的程序里面，最终链接到程序里面的是int x, 占4个字节。

而在test2.c中，因为有double x的声明。 所以程序以为x是一个8字节的double数， 所以对x操作时，会写到x本身4字节空间以外的地址，碰巧你的y在那个位置，所以就变成了80000000 。

8不就是你的符号位，-0;

[ 本帖最后由 agaric 于 2008-3-4 12:52 编辑 ]

yuangong

这段代码能运行么?我怀疑