以C语言为例探究计算机编程的数据类型

一、计算机中的数据类型
以C语言为中的数据类型为例，重点研究其类型转换，数值溢出和移位。
其中short、int、long、char、float、double 这六个关键字再加上两个符号说明符signed和unsigned是C语言的最常用的数据类型。

下面列出了在32位操作系统下常见编译器下的数据类型大小及表示的数据范围： 注意：计算机内部总是采用二进制补码形式表示一个数值型数据，所以对于带符号的数，其负数的表示范围比正数大。

二、数据类型转换
数据类型转换就是将数据（变量、数值、表达式的结果等）从一种类型转换为另一种类型。
(a)长类型到短类型的转换，采用直接截断的方式，如int -> short -> char等。
(b)高精度类型到低精度类型的转换，采用截断方式，如double型数据3.14159265 转换为float型数据时，得到3.1415，舍去了后面四位。
精度类型到高精度类型的转换,一般在后面补零，如无符号float型数据转换为double型数据，会在后面补4个零

1.自动类型转换
(1) 将一种类型的数据赋值给另外一种类型的变量时就会发生自动类型转换，如
float f = 100;
100 是 int 类型的数据，需要先转换为 float 类型才能赋值给变量 f，如
int n = f;
f 是 float 类型的数据，需要先转换为 int 类型才能赋值给变量 n。
注意：由高精度数据转换为低精度数据时，这会导致数据失真，或者精度降低；所以说，自动类型转换并不一定是安全的。对于不安全的类型转换，编译器一般会给出警告。

(2) 在不同类型的混合运算中，编译器也会自动地转换数据类型，将参与运算的所有数据先转换为同一种类型，然后再进行计算。转换的规则如下：
转换按数据长度增加的方向进行，以保证数值不失真，或者精度不降低。例如，int 和 long 参与运算时，先把 int 类型的数据转成 long 类型后再进行运算。
所有的浮点运算都是以双精度进行的，即使运算中只有 float 类型，也要先转换为 double 类型，才能进行运算。
char 和 short 参与运算时，必须先转换成 int 类型。

2.强制类型转换
如果需要，程序员可以自己在代码中明确地提出要进行类型转换，这称为强制类型转换。
自动类型转换是编译器默默地、隐式地进行的一种类型转换，不需要在代码中体现出来；强制类型转换是程序员明确提出的、需要通过特定格式的代码来指明的一种类型转换。换句话说，自动类型转换不需要程序员干预，强制类型转换必须有程序员干预。
强制类型转换的格式为： 新类型名称 变量/表达式/数值
如 float (a+b);
或是 (double) sum / count，能用于提高除法运算结果的精度
注意：只能强制进行的类型转换一般风险较高，可能导致取得的值也很奇怪，甚至会导致程序崩溃。

三、数据移位
1.左移运算符（<<）规则
按二进制形式把所有的数字向左移动对应的位数，高位移出(舍弃)，低位的空位补零。
语法格式: 需要移位的数字 << 移位的次数
数学意义：在数字没有溢出的前提下，对于正数和负数，左移一位都相当于乘以2的1次方，左移n位就相当于乘以2的n次方。
2.右移运算符（>>）规则：
按二进制形式把所有的数字向右移动对应位移位数，低位移出(舍弃)，高位的空位补符号位，即正数补零，负数补1。
语法格式：需要移位的数字 >> 移位的次数
数学意义：右移一位相当于除2，右移n位相当于除以2的n次方。
3.无符号右移运算符规则：
按二进制形式把所有的数字向右移动对应位数，低位移出(舍弃)，高位的空位补零。对于正数来说和带符号右移相同，对于负数来说不同。
注意：在移位运算时，byte、short和char类型移位后的结果会变成int类型，对于byte、short、char和int进行移位时，编译器未做任何优化的情况下（优化后不可预期），规定实际移动 的次数是移动次数和32的余数，也就是移位33次和移位1次得到的结果相同。移动long型的数值时，规定实际移动的次数是移动次数和64的余数，也就是 移动66次和移动2次得到的结果相同。

四、数据溢出
以C语言的整型溢出为例，分为无符号整型溢出和有符号整型溢出。
（1）对于unsigned整型溢出，C的规范是有定义的——“溢出后的数会以2^(8*sizeof(type))作模运算”，也就是说，如果一个unsigned char（1字符，8bits）溢出了，会把溢出的值与256求模。如：
1.unsigned char x = 0xff;
2.printf("%dn", ++x);
上面的代码会输出：0 （因为0xff + 1是256，与2^8求模后就是0）
（2）对于signed整型的溢出，C的规范定义是“undefined behavior”。