关于C语言浮点数正0和负0那点破事

Hatsune__Miku___

已于 2023-10-13 23:46:22 修改

阅读量1.2k

点赞数 1

文章标签： c语言

于 2023-10-13 23:42:46 首次发布

本文链接：https://blog.csdn.net/Hatsune__Miku___/article/details/133819522

版权

是这样的：

众所周知，C语言当中，单精度浮点数是这样表示的：

单精度浮点数表示

符号位 $s i g n$ 为0，则为正；否则为负。

其中，阶码 $e x p$ 在[1,0xfe]之间时，它的值为：

$(1.a_{23}a_{22}a_{21}...a_1)_{binary} \times 2^{exp-127} \times \left \{ \begin{matrix} 1,sign = 0 \\ -1,sign = 1 \end{matrix} \right.$

然后， $e x p = 0 x ff$ 时：

$\left \{ \begin{matrix}\pm inf, a_{23}a_{22}a_{21}...a_{1}= 0, 正负取决于符号 \\ \\ NaN, a_{23}a_{22}a_{21}...a_{1} \neq 0\end{matrix} \right.$

然后， $e x p = 0$ 时：

$0.a_{23}a_{22}a_{21}...a_{1} \times 2^{-126}$

那么问题来了，这么搞，可就有正0和负0了呀。

那么C语言会怎么处理？是让两者同时存在，还是把V2F(0x80000000u)~~（这里V2F表示32位二进制向量解释为单精度浮点数后的值）~~ 整成其他值？

然后我就跑了如下代码；

#include <stdio.h>

int main()
{
	unsigned *p = malloc(sizeof(unsigned));
	float *fp = p;
	*p = 0x80000000u;
	
	unsigned *p2 = malloc(sizeof(unsigned));
	float *fp2 = p2;
	*p2 = 0u;

	printf("f1: %e\n",(*fp));
	printf("f2: %e\n",(*fp2)); // 用%e是因为如果浮点数过小，%f统统显示0，看不出来信息。 
	printf("equal: %d\n",(*fp2)==(*fp));
	free(p2);
	free(p);
	return 0;
}

GCC版本：4.9.2，没有优化（可能自带O1优化？不管了，问题不大）。

然后输出：

f1: -0.000000e+000
f2: 0.000000e+000
equal: 1

实验结果表明，C语言允许浮点数正0负0同时存在，且二者相等。

接下来大家可以试试双精度、算术运算等，尤其是比如V2F(0x00000001)/2.0和V2F(0x80000001)/2.0这种除成0了它会变成正0还是负0。