wps for linux最近的重大bug

leslielg

这是wps开发人员对这个bug的一个简单描述：

"不是，我们反复确认过了。一段类似下面的代码出问题了。
double valx100 = val * 100;
unsigned int valx100h = *((unsigned int *)&valx100+1);

val=1.23456的时候valx100h变成了0。"

都来看看这个bug，发表点见解。
wps开发人员已经将该bug定义为gcc编译器的bug。希望他们能提供更加详细的bug描述。

hellioncu

取double的后面那4字节？不知道有什么意义。
依赖于浮点数存储格式

shan_ghost

戴上护目镜，以免被华丽的指针/强制类型转换操作给亮瞎了……

bruceteen

sizeof( unsigned int ) 是多少？
不要说“double valx100 = val * 100; val=1.23456的时候 ……”
直接说 printf( "%016llX\n", *(long long*)&valx100 ); 输出是多少

bruceteen

如果不是gcc的bug的话
a. 最大可能是 unsigned int 是 64bits
b. “val=1.23456的时候”并不是严格的1.23456，而是 1.2345599365234375，此后 valx100 的16进制值为 405EDD2F00000000，恰巧尾部是4字节的0

shan_ghost

64位机器上，这个操作无意义。

32位机器上：
小端序的机器上，这个操作似乎是取指数的，但没有丢掉符号位，又稍带了尾数的开头部分；大端序的机器上，这个操作是取尾数的后半部分。

相比之下，应该只有小端机器上的操作有意义。目的可能是为了实现快速的double到float转化。

leslielg

回复 5# bruceteen


    int在什么机器上有64位？

shan_ghost

bruceteen 发表于 2013-02-22 14:34
b. “val=1.23456的时候”并不是严格的1.23456，而是 1.2345599365234375，此后 valx100 的16进制值为 405EDD2F00000000，恰巧尾部是4字节的0

应该就是这个问题了。

金山可能是想做从double到float数据类型的快速转化。

因为float的表示是seeeeeeeemmmmmm...
而double的表示是seeeeeeeeeeemmmmmm...

这样，截取double的前4个字节（在小端序机器上，其实是物理内存里的后4个字节，这就是上面一堆操作的意义所在），然后保留符号位，把剩余部分左移3位，得到的就是对应的float表示。
这比正规的double-->float转换要快很多，只是尾数部分会稍微损失一点点精度（3个位）。

但对你这个特殊数据，转换后就变成1.0了。

这不是bug……或者说，这是数据类型选择的bug，不是gcc的。

leslielg

我曾经遇到过这样的问题：

gcc下float 1.0 其实是0.999999，而vc下是1.00000，对浮点数来说两者是一样的，但是如果截取为int，则一个是0,一个是1，就有区别了。

金山的代码可能在windows下可以使用，而用gcc编译后出现了问题，所以他们断定这是gcc编译器的问题？

bruceteen

leslielg 发表于 2013-02-22 14:51
回复 5# bruceteen
int在什么机器上有64位？

在 ILP64 数据模型下 int 就是64bits，你可以Google一下 ILP64