• 【C语言深度解剖】float变量在内存中存储原理&&指针变量与“零值”比较


    大家好好我是沐曦希💕

    在这里插入图片描述


    在这里插入图片描述

    🎆float 变量

    💥浮点数在内存中的存储原理

    根据国际标准IEEE(电气和电子工程协会) 754,任意一个二进制浮点数V可以表示成下面的形式:

    (-1)^S * M * 2^E
    (-1)^S表示符号位,当S=0,V为正数;当S=1,V为负数。
    M表示有效数字,大于等于1,小于2。
    2^E表示指数位。

    例如:
    十进制中的5.0转换成二进制是101.0,相当于1.01*2^2
    (二进制中0.1表示1*2^(-1); 0.11表示1*2^(-1)+1*2^(-2))
    那么,按照上面V的格式,可以得出S=0,M=1.01,E=2。
    十进制的-5.0,写成二进制是 -101.0 ,相当于 -1.01×2^2 。那么,S=1,M=1.01,E=2。
    V=9.5f=1001.1=(-1)^0*1.0011*2^3
    相当于S=0;M=1.0011;E=3。

    🔭IEEE 754规定

    对于32位的浮点数,最高的1位是符号位s,接着的8位是指数E,剩下的23位为有效数字M。
    单精度浮点数存储模型:
    在这里插入图片描述
    对于64位的浮点数,最高的1位是符号位S,接着的11位是指数E,剩下的52位为有效数字M。
    双精度浮点数存储模型:
    在这里插入图片描述
    IEEE 754对有效数字M和指数E,还有一些特别规定。

    🎠有效数字M的规定

    前面说过, 1≤M<2 ,即M可以写成 1.xxxxxx 的形式,其中xxxxxx表示小数部分。

    IEEE 754规定,在计算机内部保存M时,默认这个数的第一位总是1,因此可以被舍去,只保存后面的xxxxxx部分。比如保存1.01的时候,只保存01,等到读取的时候,再把第一位的1加上去。这样做的目的,是节省1位有效数字。以32位浮点数为例,留给M只有23位,将第一位的1舍去以后,等于可以保存24位有效数字

    🚗指数E的规定

    🎉指数E为一个无符号整数

    这意味着,如果E为8位,它的取值范围为0~255;如果E为11位,它的取值范围为0~2047。存入内存时E的真实值必须再加上一个中间数,对于8位的E,这个中间数是127;对于11位的E,这个中间数是1023

    例如: V=0.5f;
    (-1)^0*1.0*2^(-1) 保存成32位浮点数时,必须保存成E+127–>126
    保存成64位浮点数时,必须保存成E+1023–>1022 即float–>E(真实值)+127(中间值)–>存储值
    即double–>E(真实值)+1023(中间值)–>存储值

    然后,指数E从内存中取出还可以再分成三种情况:

    💥E不全为0或不全为1

    浮点数就采用下面的规则表示,即指数E的计算值减去127(或1023),得到真实值,再将有效数字M前加上第一位的1。

    💥E全为0

    当浮点数的指数E等于1-127(或者1-1023)即为真实值,
    有效数字M不再加上第一位的1,而是还原为0.xxxxxx的小数。这样做是为了表示±0,以及接近于0的很小的数字。

    💥E全为1

    当有效数字M全为0,表示±无穷大(正负取决于符号位s);

    🎇float 变量与"零值"进行比较

    浮点数在内存中存储,并不想我们想的,是完整存储的,在十进制转化成为二进制,是有可能有精度损失的。
    注意这里的损失,不是一味的减少了,还有可能增多。浮点数本身存储的时候,在计算不尽的时候,会“四舍五入”或者其他策略

    //code1
    #include <stdio.h>
    int main()
    {
    	double x = 3.6;
    	printf("%.50f\n", x);
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8

    在这里插入图片描述

    //code2
    #include <stdio.h>
    int main()
    {
    	double x = 1.0;
    	double y = 0.1;
    	printf("%.50f\n", x - 0.9);
    	printf("%.50f\n", y);
    	if ((x - 0.9) == y) 
    	{
    		printf("you can see me!\n");
    	}
    	else
    	{
    		printf("oops\n");
    	}
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18

    在这里插入图片描述

    结论:因为精度损失问题,两个浮点数,绝对不能使用==进行相等比较.
    浮点数本身有精度损失,进而导致各种结果可能有细微差别。

    浮点数比较应该进行范围精度比较
    伪代码一:

    if((x-y) > -精度 && (x-y) < 精度){
    //TODO
    }
    
    • 1
    • 2
    • 3

    伪代码-简洁版

    if(fabs(x-y) < 精度){ //fabs是浮点数求绝对值
    //TODO
    }
    
    • 1
    • 2
    • 3

    精度可以直接定义一个(宏定义)或者使用系统精度。

    🎡宏定义精度

    #define EPS 0.0000000000000001
    #include<stdio.h>
    #include<math.h>
    int main()
    {
    	double x = 1.0;
    	double y = 0.1;
    	if (fabs((x - 0.9) - y) < EPS)
    	{
    		printf("x==y");
    	}
    	else
    	{
    		printf("x!=y");
    	}
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17

    输出结果:
    在这里插入图片描述

    🎡系统精度

    #include<float.h> //使用下面两个精度,需要包含该头文件
    DBL_EPSILON //double 最小精度
    FLT_EPSILON //float 最小精度
    
    • 1
    • 2
    • 3
    #include <stdio.h>
    #include <math.h> //必须包含math.h,要不然无法使用fabs
    #include <float.h> //必须包含,要不然无法使用系统精度
    int main()
    {
    	double x = 1.0;
    	double y = 0.1;
    	printf("%.50f\n", x - 0.9);
    	printf("%.50f\n", y);
    	if (fabs((x - 0.9) - y) < DBL_EPSILON) 
    	{ //原始数据是浮点数,我们就用DBL_EPSILON
    		printf("x==y\n");
    	}
    	else 
    	{
    		printf("x!=y\n");
    	}
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19

    在这里插入图片描述

    两个精度定义
    #define DBL_EPSILON 2.2204460492503131e-016 /* smallest such that 1.0+DBL_EPSILON !=1.0 */
    #define FLT_EPSILON 1.192092896e-07F /* smallest such that 1.0+FLT_EPSILON !=1.0 */
    XXX_EPSILON是最小误差,是:XXX_EPSILON+n不等于n的最小的正数。
    EPSILON这个单词翻译过来是’ε’的意思,数学上,就是极小的正数。

    🧨x与"零值"比较

    #include <stdio.h>
    #include <math.h>
    #include <float.h>
    int main()
    {
    	double x = 0.00000000000000000000001;
    	//if (fabs(x-0.0) < DBL_EPSILON){ //写法1
    	//if (fabs(x) < DBL_EPSILON){ //写法2
    	if (x > -DBL_EPSILON && x < DBL_EPSILON) 
    	{ 
    		printf("x==y\n");
    	}
    	else 
    	{
    		printf("x!=y\n");
    	}
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18

    在这里插入图片描述

    x > -DBL_EPSILON && x < DBL_EPSILON: 为何不是>= && <= 呢?
    XXX_EPSILON是最小误差,是:
    XXX_EPSILON+n不等于n的最小的正数。
    XXX_EPSILON+n不等于n的最小的正数: 有很多数字+n都可以不等于n,但是XXX_EPSILON是最小的,但是XXX_EPSILON依旧是引起不等的一员。
    换句话说:fabs(x) <= DBL_EPSILON(确认x是否是0的逻辑),如果=,就说明x本身,已经能够引起其他和他±的数据本身的变化了,这个不符合0的概念。

    🎇fabs库函数

    在这里插入图片描述
    fabs是用来计算浮点参数的绝对值的库函数,头文件是math.h。

    Example
    /* ABS.C: This program computes and displays
     * the absolute values of several numbers.
     */
    #include  <stdio.h>
    #include  <math.h>
    #include  <stdlib.h>
    void main( void )
    {
       int    ix = -4, iy;
       long   lx = -41567L, ly;
       double dx = -3.141593, dy;
       iy = abs( ix );
       printf( "The absolute value of %d is %d\n", ix, iy);
       ly = labs( lx );
       printf( "The absolute value of %ld is %ld\n", lx, ly);
       dy = fabs( dx );
       printf( "The absolute value of %f is %f\n", dx, dy );
    }
    
    Output
    The absolute value of -4 is 4
    The absolute value of -41567 is 41567
    The absolute value of -3.141593 is 3.141593
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24

    🎎指针变量与“零值”进行比较

    #include<stdio.h>
    int main()
    {
    	printf("%d\n", 0);//0
    	printf("%d\n", '0');//字符0,ASCII码值48
    	printf("%d\n", '\0');//字符串结束标'\0',ASCII码值0
    	printf("%d\n", NULL);//0
    	//#define NULL ((void *)0)
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10

    在这里插入图片描述
    真实转化
    字符串A为“123456”转换成int类型,此时字符串A的字节数为7,而int类型为4个字节,要进行真实转化,需要我们编写算法,使用相关库函数来进行转化。

    强制类型转化
    不改变内存中的数据,只改变对应的类型。
    例如:

    float a = 3.14;//3.14类型为double,存储在float类型中需要经过强制类型转化
    //float a =(float)3.14;
    
    • 1
    • 2
    int* p = NULL;//定义指针一定要同时初始化,否则为野指针
    //if(p==0); if(p!=0);//不推荐
    //if(p);  if(!p);//不推荐
    if(NULL==p);  if(NULL!=p);//推荐
    
    • 1
    • 2
    • 3
    • 4

    🧵else 到底与哪个if配对呢?

    //code1
    #include<stdio.h>
    int main()
    {
    	int x = 0;
    	int y = 1;
    	if (10 == x)
    		if (11 == y)
    			printf("hello\n");
    	else
    			printf("world!\n");
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13

    无打印结果。

    //code2
    #include<stdio.h>
    int main()
    {
    	int x = 0;
    	int y = 1;
    	if (10 == x)
    	{
    		if (11 == y)
    		{
    			printf("hello\n");
    		}
    	}
    	else
    	{
    		printf("world!\n");
    	}
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19

    打印结果:world!

    结论:else 匹配if采取就近原则

    💫写在最后

    友友们觉得不错的可以给个关注,点赞或者收藏哦!😘感谢各位友友们的支持。

    你的❤️点赞是我创作的动力的源泉
    你的✨收藏是我奋斗的方向
    你的🙌关注是对我最大的支持
    你的✏️评论是我前进的明灯
    创作不易,希望大佬你支持一下小沐吧😘

  • 相关阅读:
    代码随想录刷题|LeetCode 309.最佳买卖股票时机含冷冻期 714.买卖股票的最佳时机含手续费
    openSmile 在 Linux 下的安装教程与使用示例
    分类预测 | Matlab实现基于LFDA-SVM局部费歇尔判别数据降维结合支持向量机的多输入分类预测
    【unity3D-网格编程】01:Mesh基础属性以及用代码创建一个三角形
    Visio——对齐方法的规则
    「设计模式」建造者模式
    文件用手机拍照片打印时,打印出来总是有黑阴影,如何去掉黑色阴影打印清晰的图片
    CentOS 6/7/8 操作系统镜像下载
    【Windows && Linux】计算机存储 | 磁盘分区 | 文件系统
    SpringMVC之全局异常管理
  • 原文地址:https://blog.csdn.net/m0_68931081/article/details/125469694