C语言中int到float的强制类型转换

最近在看一本名为的书。由于我所看过的计算机理论方面的书较少，加上自己大学期间一直也不用功，所以对于计算机的工作原理以及程序的工作方式我始终只知甚少，印象也十分模糊。

不过，应该说我碰到了一本好书。至少，通过昨晚对浮点数一章的阅读（呃...我的确之前对浮点数从没弄明白过），我终于了解了C语言中为什么32位int型数据强制转换到float型会出现精度不能完全保留的现象：

首先来看看我们可爱的int型变量吧，在一台典型的32位机器上一个有符号的int型的取值范围为-2147483648 ~ 2147483647（-2^31 ~ (2^31-1))（注1）。也就是说，在一个4字节（32位2进制），除去首位用于符号位表示正负外，其余的31位都是数字的有效位。

下面再来看看“万恶的”float型变量：根据IEEE的浮点标准，一个浮点数应该用下述形式来表示: 
V=(-1)^s * M * 2^E （公式1）
在C语言中，32位的float型变量有着这样的规定：首位表示符号位s，接下来的8位（指数域）用于表示2的指数E，剩余的23位（小数域）表示M（取值范围为[1，2）或[0，1））。除了上述规定以外，根据指数域的二进制表示情况不同，被编码的float型数字又可以分成三种情况——
1、规格化值。当指数域的8个二进制数字既非全零又非全1时，float数值就是这种情况。设指数域的八位二进制所表示的十进制数为e, 则公式1中的E就是 E = e - (2^7 - 1) （公式2）；