关于整数在内存中的存储形式，在博主之前写的文章里已经介绍了！友友们可以去点下面链接去看，这里就不过多介绍。

C语言：进制的转换以及原码、反码、补码

我们以整型在内存中的存储形式为基础，探究后面的内容：整型提升与截断、算数转换、大小端字节序和字节序判断、强制类型转换的原理、浮点数在内存中的存储！！

C语⾔中，整型算术运算总是⾄少以缺省（缺省就是默认的意思）整型类型的精度来进⾏的。

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

表达式的整型运算要在CPU的相应运算器件内执⾏，CPU内整型运算器(ALU)的操作数的字节⻓度⼀ 般就是int的字节⻓度，同时也是CPU的通⽤寄存器的⻓度。

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

通⽤CPU（general-purpose CPU）是难以直接实现两个8⽐特字节直接相加运算（虽然机器指令中 可能有这种字节相加指令）。所以，表达式中各种⻓度可能⼩于int⻓度的整型值，都必须先转换为 int或unsigned int，然后才能送⼊CPU去执⾏运算。

也就是说，假设c1和c2是char类型，那么要先将要实现c1+c2,就需要对c1和c1进行整型提升之后进行运算，那么假设我们用char类型的c3去接收c1和c2的结果，由于char类型是一个字节，所以会发生截断。截断之后，只会保留低位的字节存储在c3中！！

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

2. ⽆符号整数提升，⾼位补0

当长字节的数据类型用短字节的数据类型进行存储时，会发生截断，截断就是通过简单地将高位丢弃，保存低位来实现

补充一条知识：

C语言规定，char类型默认是否带有正负号，由当前的系统决定，也就是说char类型可能等价于signed char也可能等价于unsigned char，这一点与int不同，int必然等价于signed int，但是在大多数的编译器环境下，包括当前的vs，char等价于signed char！

下面我将通过一道例题来深入解析整型提升和截断的全过程！！！

大家可以看我的注释，写的比较详细！

我们会发现，当char类型进行运算时，会进行整型提升，而当计算的结果保存在char类型时，会对整型提升后的结果进行截断，只保留低位。

明白了整型提升与截断，我们考虑到了计算字符和短整型操作数使用前的情况，那如果操作数类型都大于等于4个字节呢？？？

如果某个操作符的各个操作数属于不同的类型，那么除非其中一个操作数转换为另一个操作数的类型，否则操作将无法进行。那么为了判别两个操作数转换的优先级，设置了如下层次体系，该体系杯成为寻常算数转换。

类型排名较低的操作数应该转换成类型排名高的操作数进行计算

比方说float a+int b，那计算前会先把b转换成float类型运算

如果是float a +double b，那计算前会先把a转换成double类型运算

当我们了解了整数在内存中存储后，我们调试看⼀个细节：

调试的时候，我们可以看到在a中的 0x11223344 这个数字是按照字节为单位，倒着存储的。这是为什么呢？下面就要讲到大小端概念！

“大端”和“小端”可以追溯到1726年的Jonathan Swift的《格列佛游记》，其中一篇讲到有两个国家因为吃鸡蛋究竟是先打破较大的一端还是先打破较小的一端而争执不休，甚至爆发了战争。1981年10月，Danny Cohen的文章《论圣战以及对和平的祈祷》（On holy wars and a plea for peace）将这一对词语引入了计算机界。这么看来，所谓大端和小端，也就是big-endian和little-endian，其实是从描述鸡蛋的部位而引申到计算机地址的描述，也可以说，是从一个俚语衍化来的计算机术语。

这个术语引入的目的是什么呢？

计算机中，内存被分为了一个个内存单元，每个内存单元的大小是1个字节，所以当我们需要存储数据超过一个字节时，就涉及到了存储顺序的问题，根据存储顺序的不同，我们分为了大端字节序存储和小端字节序存储的概念。

⼤端（存储）模式：是指数据的低位字节内容保存在内存的⾼地址处，⽽数据的⾼位字节内容，保存 在内存的低地址处。

⼩端（存储）模式：是指数据的低位字节内容保存在内存的低地址处，⽽数据的⾼位字节内容，保存 在内存的⾼地址处。

这样直接记忆概念可能有点困难，那有没有更为简单的记忆呢？

在裘宗燕翻译的《程序设计实践》里，这对术语并没有翻译为“大端”和小端，而是“高尾端”和“低尾端”，这就好理解了：如果把一个数看成一个字符串，比如11223344看成"11223344"，末尾是个'\0'，'11'到'44'个占用一个存储单元，那么它的尾端很显然是44，前面的高还是低就表示尾端放在高地址还是低地址，它在内存中的放法非常直观，如下图：

我们可以利用高尾端和低尾端来记住大端小端的概念，因为尾端的数字对应的就是低位字节，如果尾端的数字在较高地址处，就是高尾端，就是大端，也就是低位字节被保存在高地址处。同理，如果尾端的数字在较低地址处，就是低尾端，也就是低位字节被保存在低地址处。

为什么会有⼤⼩端模式之分呢？这是因为在计算机系统中，我们是以字节为单位的，每个地址单元都 对应着⼀个字节，⼀个字节为8 bit 位，但是在C语⾔中除了8 bit 的 char 之外，还有16 bit 的 short 型，32 bit 的 long 型（要看具体的编译器），另外，对于位数⼤于8位的处理器，例如16位 或者32位的处理器，由于寄存器宽度⼤于⼀个字节，那么必然存在着⼀个如何将多个字节安排顺序的问题。因此就导致了⼤端存储模式和⼩端存储模式。

例如：⼀个 16bit 的 short 型 x ，在内存中的地址为 0x0010 ， x 的值为 0x1122 ，那么 0x11 为⾼字节， 0x22 为低字节。对于⼤端模式，就将 0x11 放在低地址中，即 0x0010 中， 0x22 放在⾼地址中，即 0x0011 中。⼩端模式，刚好相反。我们常⽤的 X86 、x64结构是⼩端模式，⽽ KEIL C51 则为⼤端模式。很多的ARM，DSP都为⼩端模式。有些ARM处理器还可以由硬件来选择是⼤端模式还是小端模式。

小端模式：

1、强制类型转换数据不需要调整字节内容。（在强制类型转换原理会解释）

2、CPU做数值运算时从内存中依顺序依次从低位到高位取数据进行运算，直到最后刷 新最高位的符号位，这样的运算方式会更高效

大端模式：

符号位判断固定为第一个字节，容易判断正负，便于人类阅读。

总结：大小端没有谁更优更劣，各种优点就是对方劣势。

int数据类型强转char数据类型的原理就是字节截断！截断就是通过简单地将高位丢弃，保存低位来实现

char数据类型强转int数据类型的原理就是整型提升！

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

2. ⽆符号整数提升，⾼位补0

大小端（endianness）是指多字节数据在存储时的字节顺序。在C语言中，赋值操作是不受大小端影响的。

其中截断是通过简单地将高位丢弃来实现的，而与数据存储的字节顺序无关 。

既然无关，那为什么说小端的优势就是强制类型转换数据不需要调整字节内容？？

虽然截断与数据存储的字节顺序（大小端）无关，但是大小端对于截断效率是不一样的，假设在小端模式下把int的4字节强制转换成short的2字节时，就直接把int数据存储的前两个字节给short就行，因为其前两个字节刚好就是最低的两个字节，符合转换逻辑。

这就是说明了大小端对截断效率有影响，这就好比化学反应加了催化剂一样，加与不加的结果是一样，但是速度不一样！！

上述讲的都是不同字节的数据类型的强转，那如果是相同数据类型的强制转换，比如说int强转float，那恰好都是4个字节，就不需要补位，也不需要截断。那他们强转之后会有区别吗？？

我们来看下面这个代码

我们会发现，当我们用int类型存储9，再用float类型取出9时，得到的结果是0.000000，而用float类型去存储9.0时，用int类型取出来时1091567616

按道理来说，这两种类型都是四个字节，不会出现截断和整型提升，存储的内容并没有发生改变，为什么会出现这样的情况？？

原因就是因为，float类型和int类型的存储方式不一样！！！下面将介绍浮点数在内存中的存储！

常⻅的浮点数：3.14159、1E10（E表示底数是10）等，浮点数家族包括： float（4字节）、double（8字节）、long double（8字节） 类型。

浮点数表⽰的范围：float.h中定义

根据国际标准IEEE（电⽓和电⼦⼯程协会） 754，任意⼀个⼆进制浮点数V可以表⽰成下⾯的形式：

为什么是这样的形式呢？这就跟科学计数法有关系。下面通过一个例子来说明：

10进制的5.5应该怎么转换成二进制呢？

5变成2进制是101 ，0.5变成2进制是2^-1,所以可以其二进制形式可以写成101.1，用科学计数法来表示就是1.011*2^2,类比上图的表示形式我们可以发现，此时S=0，M=1.011，E=2.

既然浮点数可以写成科学计数法的形式，并且可以算出对应的S M E,所以我们实际上只需要在内存中将S M E 存储起来即可！！

IEEE 754规定：

对于32位的浮点数，最⾼的1位存储符号位S，接着的8位存储指数E，剩下的23位存储有效数字M 对于64位的浮点数，最⾼的1位存储符号位S，接着的11位存储指数E，剩下的52位存储有效数字M

IEEE 754对有效数字M和指数E，还有⼀些特别规定。

前⾯说过， 1≤M