C语言类型的作用

灵魂拷问

为什么C语言有这么多种类型？引入这么多数据类型意义何在？

1. 明确变量的存储空间大小

C是编译型语言，程序必须经过编译后方可运行，程序运行时被装载到内存中，那么一个变量占用多大的存储空间？这个问题是需要解决的。

不同的系统、不同的编译器占用情况可能是不同的，但对某个编译器来说，某种类型变量占用字节数肯定是确定的，如int型变量一般是4 Byte。

2. 明确数据存取方式

程序运行时，数据也暂存在内存中，内存中的数据按计算机二进制0101……的方式存储（以补码存储），所以其实对于一块内存区域，数据在不修改时，就是这么个数据，但对这个区域的数据如何解析取决于用什么类型，看例子：

#include <stdio.h>

int main(int argc, char* argv[])
{
    char c = 0xff;

    printf("以unsigned char解析：%u\n", *(unsigned char *)&c);
    printf("以char解析：%d\n", c);

    return 0;
}

运行结果

以unsigned char解析：255
以char解析：-1

对变量c内存区域中的值是0xff，但同样都是输出变量c的值，在把c强制类型转换为unsigned char类型后，得到了255，刚好是0xff的十进制值；

而char类型本身是有符号类型，最高位被当成符号位（0正1负），因而是负数，至于数值，负数的补码（符号位不变，其余位取反后加1）为（二进制表示）

11111111->10000000->10000001=-1，所以得到了-1

程序说明了对同一块内存区域，不同类型的取值不同，即内存上的数据表现的意义取决于数据类型

3. 类型检查

有了类型的区别, 编译器可以在编译期做类型安全检查, 对类型不兼容的操作发出警告与报错, 如:

#include <stdio.h>

int main()
{
    int temp = 10;
    int *p = temp;

    return 0;
}

temp是int类型, 而p是int*类型, 编译器在编译期会发出警告

~ > gcc main.c
main.c: In function 'main':
main.c:6:14: warning: initialization makes pointer from integer without a cast
     int *p = temp;
              ^

参考

补码