换个角度带你学C语言的基本数据类型

V2AS问路

换个角度带你学C语言的基本数据类型

阅读原文时间：2022年06月01日阅读：1

摘要： C语言的基本数据类型，大家从学生时代就开始学习了，但是又有多少人会试图从底层的角度去学习呢？这篇文章会用一问一答的形式，慢慢解析相关的内容和困惑。

本文分享自华为云社区《从深入理解底层的角度学习C语言之基本数据类型》，作者： breakDawn 。

C语言的基本数据类型，大家从学生时代就开始学习了，但是又有多少人会试图从底层的角度去学习呢？这篇文章会用一问一答的形式，慢慢解析相关的内容和困惑。

数据类型位数和符号
数据类型转换
浮点数

Q: C里的signed 和unsigned类型的区别是什么？

A：拿unsigned char无符号char 和 signed char有符号char举例（因为他们都是1字节，比较好举例子）

假设某个局部变量a，内存里存的都是0xff(即二进制11111111)

执行printf("%d",a)时，输出的是255，还是-1呢？

如果a是无符号，那就是255。

如果a是有符号，那就是-1。

Q:为什么有符号的0xff输出的是-1？
A:这个就是补码的概念。

正数的补码就是其本身
负数的补码是在其原码的基础上, 符号位不变, 其余各位取反, 最后+1. (即在反码的基础上+1)

补码的计算方式：如果是-1，则负号就是首位的“1”，而“-1”里的1作为二进制是0000001，取反+1，得到1111111，和首位1拼接，变成了11111111.
进行printf打印时，C语言通过变量类型，确认11111111的首位是符号位，于是通过补码的反向计算，得到实际真值为-1。
如果是无符号，则C语言通过变量类型，确认11111111的首位不是符号位，不需要反向计算，于是直接输出255。

原码、反码、补码对于+1和-1的表示如下
[+1] = [00000001]原 = [00000001]反 = [00000001]补
[-1] = [10000001]原 = [11111110]反 = [11111111]补

Q: 已知正负数默认都是补码的形式，为什么不能用原码表示数字呢？即只用第一个标识符号位，后面7位就是代表真实绝对值
A:计算机CPU做计算时，无法区别符号位，只会死板的将8位数字进行加法计算。
假设做减法，就和下面那样
1 - 1 = 1 + (-1) = [00000001]原 + [10000001]原 = [10000010]原 = -2
可以看到符号位的信息会误导减法的计算。

Q: 那为什么不用能反码呢
A:因为反码对于0的表示有两种情况，11111111可以代表-0，而00000000代表+0，相当于浪费了。
而补码不存在这个情况。11111111代表-1,00000000代表0。

Q: 为什么要有补码？补码有什么好处？
A:当计算机执行1 - 1时，希望都是用加法的动作来做，且不希望做if-else判断，根据符号位去判断正负再做加减，对计算机的消耗是很大的。

使用补码的机制，则可以将1-1转成变成1+(-1)
那么-1就是补码0xff，和0x01相加，变成了0，即不需要做真正的减法即可

Q: 刚才提到CPU希望都是位加法，不肯做减法，为什么？
A:因为CPU的减、乘、除都是基于加法、移位等操作实现的。
加法过程依赖CPU的ALU累加器，累加器背后的电路是数字电路异或门和与门的组合。

Q: 为什么补码表示的情况下，范围是-128到127？为什么补码会比原码和反码多一位？
A:就是上面提到的0的问题。原码的10000000、00000000都表示0，补码的11111111和00000000都表示0，而补码只有1个0的表示

同时补码有一个100000000，把后7位取反+1，等同于-128。

原码、反码、补码知识详细讲解（此作者是我找到的讲的最细最明白的一个）

Q: 计算机在CPU做计算时，怎么识别是无符号还是有符号？
A:CPU 所处理的寄存器、内存中的数本身无符号信息。CPU 做加减法时会一起做无符号数的进位/有符号数的溢出标志，并不专门对待有符号数和无符号数。

有无符号的区别是只属于（中）高级语言的概念，反映到机器语言上，是跟运算及与其结果相关的指令上的区别，而不会反映到 CPU 所处理的数本身。

即CPU处理时，统一用加法处理，但是否要做求补等操作，取决于提供的运算指令。

Q: C语言的char是signed char还是unsigned char？
A: 当你定义为char时，可能是signed char，也可能是unsigned char。

这个取决于你编译器的实现。
-funsigned-char : 设置为 unsigned char
-fno-signed-char : 设置为非 signed char
-fsigned-char : 设置为 signed char
-fno-unsigned-char : 设置为非 unsigned char

Q: int有可能像char一样，即可能是signed int也可能是unsigned int吗？
A:int一定是有符号int。不会因为编译器不同而不同。

Q: 为什么char可以区分有符号或者无符号，但是int只能默认为signed int ?
A:个人理解和应用场景有关，char不一定会参与计算，而int大部分情况下都是有符号计算，因此默认为signed int比较好。

Q: ILP32、LP64、LLP64分别是什么？
A:指的是这个操作系统中，有哪些类型分别是多少位的意思。
I指int
L指long
LL指long long
P指point指针
32和64就是分别指32位和64位。

32位系统一定是ILP32模型
64位系统中，unix一般是LP64，而windows则是LLP64
即linux中，long是64位，而在windows中，long是32位，而只有long long是64位

Q: 为什么windos要用LLP64这么奇怪的模型？这个模型里， long是32位，long long 才是64位。
A:来自知乎陈硕大佬的回答：

我猜，是因为 Windows API 从 16-bit 升级到 32-bit 发生得太晚了——大约是随 1995 年发布的 Windows 95 而普及。

虽然之前有 Windows NT 3.x 和 Win32s，但似乎比较小众。

而 Unix 从 16-bit 升级到 32-bit 发生在 1980 年前后，当时运行在 VAX 上的 Unix/32V 和 3BSD 都是 32-bit 的。

造成的结果是，两边的程序对 short/int/long 的长度形成了不同的习惯认知：

Unix 程序习惯了 int 是 32-bit，而 long 不一定只有 32-bit。Windows/DOS 习惯了 long 是 32-bit，而 int 有可能是 16-bit 或 32-bit，因为刚刚从 16-bit 升级上来嘛。

当往 64-bit 升级的时候，如果把 Windows 的 long 升级到 64-bit，会破坏原来很多程序的假设，只好用个新的类型来表示 64-bit 整数了。反正 LONGLONG 在 32-bit 程序中也是 64-bit 整数，干脆用它好了。

详细的数据类型展示：

PS: 从上面可以看到java虚拟机的一个优势，就是对开发者而言，屏蔽了各不同系统情况下的数据位数。

Q: 那么又有个问题，java虚拟机如何实现不同平台可以跑相同的java代码，不用担心底层数据类型的？
A:如图所示，class字节码都是同一份，但是不同的系统，会有不同的虚拟机解释器实现，在解释器实现里处理了不同的数据类型位数情况。

Q: C里的隐式类型转换有什么规律？
A:

占用字节数少的类型，向占用字节数多的类型转换；
int->long
占用字节数相同情况下，有符号向无符号转换；
int->unsigned int
整数类型向浮点类型转换；
int -> double
单精度向双精度转换；
float->double

Q: 下面这个例子输出多少，为什么？
A:

void Test()
{
int a = -1;
unsigned b = 10;

if (a > b)  
{  
    printf("a is greater than b.\\n");  
}  
else  
{  
    printf("a is less than or equal b.\\n");  
}

}

输出a>b即a is greater than

因为a=-1，存储的二进制是11111111，强转成unsigned时，二进制没有变，但是对编译器而言表示的大小变成了255了。

float、double、long double的比特数、有效位数、数值范围如下：

Q: 下面这个代码输出什么？

#include
int main(void)
{
float a = 9.87654321;
float b = 9.87654322;
if(a > b)
{
printf("a > b\n");
}
else if(a == b)
{
printf("a == b\n");
}
else
{
printf("a < b\n");
}
return 0;
}