在 C 中,当表达式中的操作数类型不一致时,
编译器会自动进行类型转换,以确保操作能够进行。
这种转换遵循一定的规则,主要分为两类:隐式转换(自动进行)和显式转换(通过强制类型转换操作符实现)。下面详细介绍隐式转换的逻辑:
算术转换
当二元运算符(如 +, -, *, /)的两个操作数类型不同时,
C 会进行类型提升,将它们转换为一个公共类型。转换规则如下:
1.整型提升
存储空间较小的整数类型(如 char, short)会被提升为int(或unsignedint,如果原类型是无符号的)。
char a = 10;
int b = 20;
int result = a + b; // 'a' 先提升为 int,再与 b 相加
2.寻常算术转换
如果两个操作数中有一个是浮点类型,则另一个会被转换为范围更大的浮点类型:
float x = 3.14f;
double y = 2.718;
double result = x + y; // 'x' 被提升为 double
3.如果两个操作数都是整数类型,则转换为范围更大的类型:
int a = 10;
long b = 20L;
long result = a + b; // 'a' 被提升为 long
4.无符号类型的优先级:如果一个操作数是无符号类型,另一个是有符号类型,且无符号类型的范围不小于有符号类型(如 unsigned int 和 int),则有符号类型会被转换为无符号类型。but这可能导致意外结果:
int a = -1;
unsigned int b = 1;
if (a < b) // 结果为 false,因为 'a' 被转换为很大的无符号数
std::cout << "a < b";
else
std::cout << "a >= b"; // 实际执行这一行