“第十八天” 整型提升 ,野指针

        表达式求值

表达式求值的顺序一部分是由操作符的优先级和结合性决定。

同样的,有些表达式的操作数在求值的过程中可能需要转化为其他类型。

        隐式类型转换

c的整型算术运算总是至少以缺省(缺省就是“默认”的意思)整型类型的精度来进行的。

为了获得这个精度,表达式中的字符和短整型操作符在使用之前被转换为普通整型,这种转换称为整型提升

        整型提升的意义

表达式的整型运算要在cpu的相应运算器件内执行,cpu内整型运算器(ALU )的操作数的字节长度一般就是int 的字节长度,同时也是cpu的通用寄存器的长度。

因此,即使两个char类型的相加,在cpu执行时实际上也要先转换为cpu内整型操作数的标准长度。

通用cpu时难以直接实现两个八比特字节直接相加运算的,所以,表达式中各种长度可能小于int长度的整型值,都必须转换为 int 或 unsigned int ,然后才能送入cpu去执行运算。

        :一个有符号的char类型能表示 -128到 127的数字,但ASCII码 取值是 0 ~ 127 .

整型提升是按照变量的数据类型的符号位来提升的。

如负数的整型提升,是在高位补 1 ,而正数的整型提升则是在高位补 0 。

        由于整型提升,所以字符型整数相加时,有可能因为溢出出现一些问题,如下:

这个就不分析了,可以自己分析,和上面一样

%u 打印无符号整型

下面这个比较有意思,也让我看到了 单目操作符 + 的一个作用,这里下面两个之所以打印 4,4 ,也是因为在对 c 进行 + ,-的时候,还是要先把c的类型转换为整型,所以内存就变成了四字节。

        如果某个操作符的各个操作数属于不同的类型,那么除非其中的一个操作数的转换为另一个操作数的类型,否则操作就无法进行。下面的层次体系称为寻常算术转换

int -> unsigned int -> long int -> unsigned long int  ->  flaot -> double  -> long double 

如果某个操作数的类型在上面这个列表中排名较低,那么首先要转换为另一个操作数的类型后执行运算。但是算术转换要合理,要不然会有一些潜在的问题。

比如把浮点型转换为整型,就可能导致精度丢失。

在编程时要保证表达式的唯一计算路径,否则会出现问题表达式,可能会最终影响计算的结果。

比如这里,如果a,b,c,d,e,f之间的值相互关联,那么三个乘的语句运行的先后顺序就会影响到最终的结果,但这个语句式无法决定三个语句是谁先运行的,在不同的编译器上,运行的顺序可能不同,导致最终结果不同

像这个程序,在vs2022上的运行结果如下,这里应该是运行了第一个fun语句之后读取一次,然后表达式是 2-fun()*fun(),,然后运行第二个 读取,第三个 读取,变成2-3*4,然后执行运算,最后得到 -10,但在其他的编译器上可能是,连续运行三次fun之后再读取,那样就是 4-4*4,结果就不一样,所以这样的运算结果是无法判断的。

再如:  int c=2;  c + -- c ;这里是无法知道第一个c的值的,因为不知道第一个c是在什么时候存入寄存器的,如果是在 --c之前,那么第一个c就是2,要是再 --c 运行之后,那么就是1,所以这种形式的表达式的计算路径都不唯一,和编译器有关。

        指针

内存空间的管理是通过将内存切割成内存单元(1 字节),然后对每个内存单元编号,这个编号就称为地址(也叫指针)。

所以指针其实就是内存中最小单元的编号(不是计算机,计算机最小单元是位,8位等于1字节),也就是地址。而我们平时口语中说的指针,通常指的是指针变量,是用来存放内存地址的变量。

对于32位的机器,假设有32根地址线,那么每根地址线在寻址的时候产生高电压和低电压用来分别代表 1和 0.

那么32根地址线产生的地址就会有 2^32种

一个编号对应1字节内存,则32位机器最大内存为:

2^32byte =2^32/1024 kb=2^32 /1024/1024 mb =2^32 /1024/1024/1024 gb =4gb 

在32位的机器上,地址是由任意数的0或者1组成的32位的二进制序列,那地址就要用4个字节的空间来存储,所以一个指针变量的大小就应该是4个字节。而如果在64位机器上,如果有64个地址线,那么一个指针变量的大小是8个字节才可以存储一个地址。

总结:

指针式用来存放地址的,地址式唯一标示一块地址空间的。

指针的大小在32位平台上是4个字节,在64位平台上是8个字节。

指针定义时,前面的类型指的是指针变量指向的变量类型,决定了对指针解引用的时候有多大的权限(能操作几个字节),如char*的指针解引用就只能访问一个字节,而int*的指针的解引用就能访问四个字节(目前我的理解是,这个决定了从指针变量存储的地址开始向下读取几个字节),*表示定义的变量是指针,注意定义里面的 * 不是解引用操作符 * 。如图,指针类型决定了指针在被解引用时访问几个字节。图中,pi 和 pc 存放的内容是一样的,都是a的首地址,不一样的是解引用时,访问几个字节。

同样的,指针类型也决定了指针进行 +-1操作的时候,跳过几个字节,即决定了指针的步长。

所以如果要读取某种类型的变量时,就定义相对应的指针变量,但这里还有个点是,不是说两种类型的内存大小一样就可以混用,比如 int型和float型的内存都是四字节,但是int* 和float* 还是不能混用。

        野指针

野指针就是指指针指向的位置是不可知的。

成因:

1、指针未初始化

2、指针越界访问。

3、指针指向的空军释放

这个地方有一个新的理解点,空间销毁其实指的是,这片空间不再属于当前程序,没有使用权限,但数据可能还在,但可以被其他覆盖,这有点像,我原本有间房子,里面放的是我的东西,因为我有这件房子的使用权,别人就不能使用,后来房子不属于我了,那我的东西仍可以在里面,不过这件房子的所有权就可以属于任何人,属于别人之后,别人就可以把我的东西都给丢了。

如图,虽然出test函数之后,a已经被销毁,但实际上p仍能接收到a原来的地址,已经打印出里面的值,这里其实感觉还是可以理解的,毕竟原本就是把一块地址划给a使用,后来虽然销毁了a,但地址还在,还是指向那个内存,里面存储的值,短时间内也可能不变。但是如果系统执行了其他语句,就可能再次使用了这片内存,里面的值可能就会被覆盖,如图二

避免野指针

1、指针初始化,  2、小心指针越界,   3、指针指向空间释放即NULL 

4、避免返回局部变量的地址,   5、指针使用之前检查其有效性

如果定义时不知道该指向谁,可以使用空指针,也可以使用判断,决定是否赋值。

但使用判断有些问题还是不能避免

  

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值