深度剖析数据在内存中的存储

一. 数据类型详细介绍

1. 整形：char，short，int, long, long long
   char类型之所以属于整形，是因为字符和ASCII码 一 一 对应。
2. 浮点型: float, double, long double
3. 构造类型: 数组类型，结构体类型struct, 枚举类型enum, 联合体类型union
4. 指针类型
5. 空类型void
   void类型通常用于函数的返回类型，函数的参数，指针类型。

二. 整形在内存中的存储：原码，反码，补码

一个变量的创建就是要在内存中开辟空间，空间的大小由数据的类型而决定。
计算机中的整数在内存中有三种存储形式，即原码，反码，补码。三种表示方式都由符号位和数字位组成，符号位用0表示“正”，用1表示“负”。
正数的原，反，补码相同。
负数的原，反，补码各不相同。

原码
直接将数值位按照正负数的形式翻译成二进制就可以得到原码。
反码
将原码的符号位保留，其他位按位取反就可以得到反码。
补码
在反码的基础上+1即是补码。

在计算机中，整形数据按补码的形式存储。

那为什么计算机要选择补码来存储整形数据呢？
其实是为了符号位和数值位在运算时可以统一处理；

同时，加法和减法也可以统一处理（CPU只有加法器），减法通过加法模拟实现；
此外，补码和原码的相互转换，其运算过程是相同的，不需要额外的硬件电路。

三. 大小端字节序的判断

1. 什么是大小端存储
   大端存储：是指数据的低位存放在内存的高地址中，而数据的高位，存放在内存的低地址中；
   小端存储：是指数据的低位存放在内存的低地址中，而数据的高位，存放在内存的高地址中；
   大小端存储由电脑决定，在笔者的电脑上，是按小端形式进行存储。
   
2. 为什么会有大小端模式之分呢？

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

四. 浮点型在内存中的存储解析

常见的浮点数：
3.1415
1E6

1. 先看一个例子：
   

为什么会这样呢？这个0和1091…是怎么出来的呢？为了解答这个问题，我们先来了解一下浮点数的存储规则。

浮点数的存储规则

根据国际标准IEEE（电气与电子工程协会）754，任意一个二进制浮点数V可以表示成下面的形式：

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

IEEE754规定：

对于32位的浮点数，最高的一位是符号位S,接着8位是指数E，剩余的23位是有效数字M。

对于64位的浮点数。最高的一位是符号位S，接着11位是指数E,剩余的52位是有效数字M。

举个例子：
十进制的5.0，写成二进制就是101.0，相当于1.010*2²。
根据上文V的格式，S=0, M=1.010, E=2。

那么，S,E,M又是如何存入内存中的呢，
其中S最为简单，正数则存入0，负数则存入1。
而对于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。但是如果碰到很小的数（即非常接近0的数），那么E将为负数，所以IEEE 754规定：

存入内存时E的真实值必须再加上一个中间数，对于8位的E，这个中间数是127；对于11位的E，这个中间数是1023。

比如：2⁸的E是8，那么当它保存为32位的浮点数时，就保存为8+127=135，即10000111。

然而，指数E虽然是这样保存，但取出时仍然分为3种情况：
E不全为0或不全为1
这时，浮点数就采用下面的规则表示，即指数E的计算值减去127（或1023），得到真实值，再将有效数字M前加上第一位的1。

举个例子：0.5的二进制形式为0.1，即1.0*2^-1,即S=0, E=-1, M=1.0。
那么，E在内存中保存为-1+127=126，即01111110；
M舍去1后为0，在内存中的存储形式为00000000000000000000000
最终0.5在内存中的存储形式即为

0 01111110 00000000000000000000000

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

E全为1
这时，表示±无穷大（正负取决于符号位S）。

讲到这里，让我们再返回最初的问题，我们用一张图来解释，以达到一个清晰的效果：

本节终。