c语言计算结果为1. inf0000,信息的表示和处理

信息的存储

字数据大小

计算机中，字长指的是指针数据标称大小，虚拟地址以字来进行编码的，所以字长w位的机器，可以表示的虚拟内存的范围是0~2^w-1。32位字长的机器可以表示的范围是4GB。一个指针占用的大小，编译的阶段确定。当用gcc -m32的时候，即表明只能在32位字长的机器上运行，生成的可执行文件中，表示了指针的大小被分配了32位，反之用gcc -m64则64位。区别在于代码如何被编译。

寻址和字节顺序

对象的地址是指的对象中连续字节序列中的最小地址。字节如何被排列有两种做法，即大段和小端。

大端 ： 最高有效字节在最前面的方式(内存低地址存储最高的8位)，和书写顺序相同。

小端 ：最低有效字节在最前面的方式(内存高地址存储最高的8位)。低地址存储最低8位，最高地址存储最高8位的形式排序。

表示字符串

c语言中，字符串可以被认为是以null(0)结尾的字符序列，每个字符都是由ASCII 编码。内存中分布的顺序和与字节顺序无关。

移位运算

c语言中提供的位移运算，c语言标准中没有提出到底是右移是逻辑位移还是算术位移，但基本所有的编译器和机器组合都是实现的是算术右移(个人理解因为大部分机器都是基于补码实现的机器)。算术右移n位，最左边补充的n位，都是和原来最高位的bit值相同。在序列位向量[xw-1,....x0]中，如果算术右移动n位，即得出的新的位向量位[xw-1,xw-1,...,xw-1,xw-2,...,x0],其中[xw-1的个数位n+1个。位运算左移操作都是在最右边填充0.

移位操作优先级比+,-,*,/都是要低。

整数表示

无符号数的编码

针对向量

= [xw-1,....x0] ,

B2Uw(

) =

.

B2Uw表示把长度w的位向量映射位无符号整数。UMaxw =

=

.B2Uw为一个双射，每一个无符号整数都有一个w位的位向量，每一个位向量都可映射为一个唯一的无符号整数。

补码编码

补码的定义：B2Tw(

) =

.最高位w-1为符号位。符号位为1时，即为负数。Tminw =

.Tmaxw =

=

.B2Tw同样是一个双射。补码的范围是不对称的。|Tminw| = |Tmaxw + 1|.Tminw没有对应的正数。最大符号数Umaxw = 2Tmaxw + 1.-1和Umaxw具有相同的表示，即所有位均为1.

有符号数和无符号数的转换

有符号和无符号数的转换，会保持位不变，只是改变解释这些位的方式。数值可能会改变，但是位不变。如果 0≤x≤Umaxw，函数U2Bw都会给出唯一的w位无符号表示。当Tminw≤x≤Tmaxw，函数T2Bw都会给出唯一的w位补码形式表示。当输入一个Tminw~Tmaxw之间的数都会对应唯一一个0 ~ Umaxw的值。这两个数具有相同的位模式。反之，则一样。

c语言中无符号数与有符号数。

声明一个常量是。比如0xABCD或者12345 默认是有符号的。如果要申明一个符号整数

.c语言标准没有说明无符号和有符号之间如何转换，大部分是保持位不变，改变解释位的形式转换。当一些表达式同时出现有符号和符号的时候，c语言会隐似的把有符号转换成无符号的形式。< 和 >这样的关系运算符往往会产生非直观的结果。比如-1 < 0u 表达式结果为1。 2147483647 > (int)2147483648u表达式结果为1。

拓展一个数字的位表示

无符号数的拓展，将无符号数据拓展为一个更大的数据类型，将开头的部分填充0.

补码的拓展，将宽度为w的位向量

= [xw-1,....x0] 拓展成为

的位向量 [xw-1,xw-1,xw-1,....x0] .这个可以算算术填充。可以证明B2Tw+k[xw-1,xw-1,xw-1,....x0] = B2Tw[xw-1,....x0] .

截断数字

截断无符号数，令向量

为 [xw-1,....x0] 截断为k位数字时，会丢弃高w-k位。得到一个新向量

位 [xk-1,....x0],截取一个无符号数可能会改变数字结果(溢出的一种方式)。数学上采用mod

次方的形式表示。

截断补码，令向量

为 [xw-1,....x0] 截断为k位数字时，得到一个新向量

位 [xk-1,....x0]。有符号数32位53191(十六进制CFC7)，截取成16位整数时，-65536 + 53191 = -12345。

当一个有符号负数转变位无符号数时(往往隐式转换)，会产生一个很大的符号数，往往就会产生出乎意料的bug，所以尽量不使用无符号数。往往在使用bit位表示不同布尔含义的时候才使用无符号数。

整数运算

无符号数的加法

当

.所以当

时，发生溢出。溢出结果是减去

的结果。

表示，x + y的结果截断位w位在把这个结果看做一个无符号数，这个也是一个形式的模运算。比如x=9，y=12的位表示位[1001]以及[1100].他们的和是21[10101].简单丢弃高位得到[0101](十进制5)。这个结果和21 mod 16结果一致。

//如果溢出，返回0，不会溢出返回1

int uadd_ok(unsigned x,unsigned y){

unsigned s = x + y;

if(s < x) return 0; //等价于 if(s < y) return 0;当且仅当这个情况发生溢出

return 1;

}

补码加法

给定范围

.

对于

//如果溢出，返回0，不会溢出返回1

//版本1 根据定义

int tadd_ok1(int x,int y){

int s = x + y;

int ret = 1;

if (x > 0 && y > 0 && s<= 0 ) ret = 0;

if (x < 0 && y < 0 && s>= 0) ret = 0;

return ret;

}

//版本2

int tadd_ok2(int x,int y){

int s = x+ y;

return (s - x) == y; //等价于(s-y) == x,所以只需要判定一个条件即可。

}

补码的非

在

中，都有一个逆

使得

。所以

在这个也和无符号的逆运算的位结果相同。

时，在

时没有对应的正整数，负数表示范围比正数表示范围大1.即[1000...000]表示

,而[0000...000]则表示0.

从补码位级的值有两种技巧。

表达式-x 和 ~x +1得到的结果一样。所以在求取的值时0xfffffffa。~x+1 = 0x05 + 1 = 0x06 = -x。所以x的值是-0x06.

x的位表示位

，这个值的非的表示可以写为

。继续看上面的例子0xfffffffa位级表示是[1,...1010]，-x = [0...0110] = 6.所以x = -6.

无符号数的乘法

在

中，

。直接进行位截断处理。

补码的乘法

在

中，

的取值范围在

.如果想表示全需要2w-1位来表示。c语言中，直接采用截断位w位的方式来实现。

。所以无符号乘法和补码乘法具有相同的位级等价性。

如果[101] 和[011]相乘。

如果解释成无符号乘法等价于

.位级结果为[1111]丢弃最高位为[111]即为7.

如果解释成补码乘法等价于

. 位级别结果为[1111]丢弃最高位为[111]即为-1.

可能针对完整的最终位计算结果可能不同，但是截取后的结果是相同的。参考[100] * [111].

乘以常数

因为乘法需要的cpu周期往往是10个甚至更多。所以编译器优化的时候，会考虑用移位计算和加法运算替代乘法运算。

乘以2的幂的无符号乘法等价于左移一个数值。表达式

，x<

，补码乘法和无符号乘法也一样。注意无论补码运算还是无符号运算，乘以2的幂都会导致溢出，但是不论移位还是乘法导致的溢出的结果都是一致的。

由于乘法比移位和加法的组合代价要大的多。所以很多编译器会尝试着用加法和移位的组合来代替乘法。比如x*14 可以用(x<<3) + (x<<2) + (x<<1)这样的组合来替代乘法。甚至可以用(x<<4) - (x<<1)来替换，这样只需要2个移位和1个减法就可以了。

除以2的幂

在大多数机器中整数除法比整数乘法更慢，往往需要30甚至以上的时钟周期。除以2的幂，也可以用右移来实现。无符号和补码分别使用逻辑右移和算术右移来达到目的。

整数除法总是舍入到0，对于x>=0,采用向下舍入的方式，对于x<0采用向上舍入的方式。即总是向0舍入。

除以2的幂的无符号除法。采用逻辑右移的方式。移位总是舍入到0.

除以2的幂的补码除法，采用算术右移的方式。当x<0的时候要先加上一个“偏置量”1<>k的形式来保证向0舍入。

浮点数

二进制小数

的表示法可以表示二进制小数。b =

，十进制无法能精确表示1/3.同样有限位数的二进制小数也无法精确表示0.1,0.2之类，只能近似的表示。

IEEE浮点数

IEEE浮点数标准用

,

s为符号位(sign)，负数s = 1，正数s = 0

M为二进制小数(significand)，可以表示

,也可以是

,后面会讲到前者是规范模式下，后者是非规范模式下表示趋近0的小数。

E位阶码(exponent)， 加权作用。偏置量 bias =

.规范化下，阶码E = e- bias.其中e 为无符号整数

最常见的浮点类型，单精度浮点数和双精度浮点数，就单精度(c语言中float)s的位数为1，exp的位数为8位，frac位23位。在双精度浮点数(c语言的double)中s的位数为1，exp位数为11，frac位数为52位。根据exp的值的不同，可以分为3种情况。

1.规范化表示，当exp的位模式既不是全0，也不是全1。阶码的字段被解释成偏置(biased)的形式表示的有符号整数。阶码E = e - bias。其中e为无符号整数，其位表示为

，bias为

。在float类型中，规范化下

，同理在double类型下

小数字段frac被描述成f,

,其二进制表示为

,尾数M定义为1+f。这个是以隐含1开头的表示方法，通过这种方法我们可以额外的获得1位精度。

2.非规格化的表示，当exp的位全部为0时，阶码的字段被解释成E= 1- bias.尾数M = f.小数的部分不包含1开头的小数。所以可以表示+0.0和-0.0，exp位全部为0，以及frac的位全部为0，符号位s为0时表示+0.0，符号位1时表示-0.0。之所以用1-bias 而不是用0-bias的原因是规范化下exp段最小值也是1-bias，而frac被解释成不带1的小数。所以用1-bias可以平滑过渡小数的表示。在float类型中，E = -126。同理在double类型中E = -1022.

非规格化的数表示那些非常接近0的数，提供一种属性称为“逐渐溢出”，分布的数值均匀的分布地接近0.0.

3.特殊值，当exp的位全部为1时，如果frac的位全部为0，那么被解释成

,符号位s=0时，解释成

，符号位s=1时，解释成

，比如两个很大的数相乘或者除以0，无穷表示溢出的结果。当frac的位不全为0时，表示NaN，比如

，或者

时。

//输出的结果符合数学定义

unsigned int u1 = 0x7F800000;

unsigned int u2 = 0x7F800000;

float p1 = *(float*)(&u1); //p1表示+无穷

float p2 = *(float*)(&u2);//p2表示-无穷

printf("%f\n",p1+p2); //输出nan

printf("%f\n",p1+p1); //输出inf +无穷

printf("%f\n",p2+p2); //输出-inf -无穷

printf("%f\n",p1+0.5f);//输出inf +无穷

printf("%f\n",p2+0.5f);//输出-inf -无穷

unsigned int maxu1 = 0x7F7FFFFF;

float maxf1 = *(float*)(&maxu1 );

float maxf2 = maxf1 + 1024.0f; //有符号整数溢出，由于精度问题会舍去1024。

unsigned maxe = 0x7F000000;//指数位相同，尾数M=1.0。

float maxf3 = maxf1 + maxe; //输出无穷 上溢

printf("f max=%f,max2=%f,maxf3=%f\n",maxf1,maxf2,maxf3); //输出f max=340282346638528859811704183484516925440.000000,max2=340282346638528859811704183484516925440.000000

printf("hex max=%x,max2=%x\n",*(unsigned*)(&maxf1),*(unsigned*)(&maxf2));//输出hex max=7f7fffff,max2=7f7fffff 加法会溢出掉最小的数字不会溢出到无穷大。

printf("f max=%f",maxf1*1.1f); //输出inf.乘法会溢出到无穷大

例子中和最大浮点数加上1024，由于浮点加法的运算法则的关系，先保证指数位一致，来缩放尾数，在由于精度只有23位，故丢去了1024.

舍入

浮点运算的结果，针对中间值的情况采用偶数舍入的方式。举个例子要求舍入到二进制小数点后1位。

Round(0.0011) = 0.0

Round(0.0101) = 0.1

Round(0.1100) = 1.0

Round(0.0100)= 0.0

浮点数的运算

浮点数的加法，只具有交换性，不具备结合性。比如(3.14+1e10)-1e10，结果为0，3.14+(1e10-1e10)结果为3.14.前者3.14+1e10,由于浮点加法特性，3.14被舍入了。因为浮点加法不具备结合性。

浮点数的乘法，乘法可能会溢出到无穷，也不具备结合性。举个反例(1e201e20)1e-20，1e201e20溢出到无穷，所以结果是无穷，而1e20(1e20*1e-20)结果为1e20.

c语言的浮点数

c语言没有强制要求使用IEEE浮点数，所以没有标准的方法获取+0，-0，+∞，-∞，NaN之类的特殊值，GNU编译器GCC通过包含头文件比如#include来获取定义的一些特殊值的常数，INFINITY表示+∞，NAN表示NaN。

浮点数的比较，当出现==来比较两个浮点数是否相等时，对应的是数学意义上的相等。

unsigned int mm1 = 0x7FF00000;

unsigned int mm2 = 0xFFF00000;

unsigned int zz1 = 0x00000000;

unsigned int zz2 = 0x80000000;

unsigned int nn1 = 0x7FF00000;

unsigned int nn2 = 0xFFF00000;

if(*(float*)(&mm1) == *(float*)(&mm2))

printf("正无穷==负无穷\n");

else

printf("正无穷!=负无穷\n");

if(*(float*)(&mm1) == *(float*)(&mm1))

printf("正无穷==正无穷\n");

else

printf("正无穷!=正无穷\n");

if(*(float*)(&zz1) == *(float*)(&zz2))

printf("正0==负0\n");

else

printf("正0!=负0\n");

if(*(float*)(&nn1) == *(float*)(&nn2))

printf("NaN1==NaN2\n");

else

printf("NaN1!=NaN2\n");

if(*(float*)(&nn1) == *(float*)(&nn1))

printf("NaN1==NaN1\n");

else

printf("NaN1!=NaN1\n");

输出结果:

正无穷!=负无穷

正无穷!=正无穷

正0==负0

NaN1!=NaN2

NaN1!=NaN1

可以得出结论，无穷/NaN不等于任何值，+0等于-0。

c语言数据类型转换

当从int转换成float时，数字不会溢出，可能会被舍入。

当从int/float转换成double时，因为double有更大精度和范围，所以能准确保留精度。

当从double转换成float时，值可能溢出到

，也可能被舍入。因为float表示范围更小，且有效位数更小。

当从float/double 转换成int时，值会向0舍入。值也可能会溢出。c语言标准没有指出这种情况的固定结果，但是intel兼容的微处理器制定位模式为[100..000]字长为w时的

。即不能为浮点数产生一个合理的近似的整数值。因此表达式(int)1e10会得到-21483648。从正值变成一个负值。