1.整形提升
整形提升(Integral Promotion)是C和C++编程语言中的一种类型转换规则,它在表达式计算时自动进行。当一个较小的整数类型(如`char`、`signed char`、`unsigned char`或`short`等)参与算术运算或其他需要至少int类型精度的上下文时,该类型的值会被隐式地转换成较大的整数类型——通常是`int`,如果`int`不能足够容纳所有可能的值,则会提升到`unsigned int`。
具体来说:
- 如果原始类型是`char`或`short`(无论它们是有符号还是无符号),并且int类型能表示这些类型的所有可能值,在表达式计算前,这些值将被提升为`int`类型。
- 如果原始类型为`char`或`short`,但其最大值大于或等于`int`的最大值(例如,在某些特殊系统架构上),则提升为`unsigned int`。
- 在任何情况下,浮点类型不参与整形提升;它们遵循不同的类型转换规则。
整形提升确保了在进行算术操作时不会因为不同类型的操作数而导致未定义的行为,并且与CPU的整数寄存器宽度相匹配以优化计算效率。这一特性使得程序员无需手动显式转换就可以在混合不同大小整数类型的表达式中获得一致的结果。
整形提升
int main()
{
char a = 127;
char b = 3;
printf("%d\n",a+b);//结果为int类型
char c = a + b;
printf("%d\n", c);
return 0;
}
以上举例中,已知:char类型占内存大小8字节 int类型占内存32个字节
其中a为0111111 b为0000011
在printf("%d\n",a+b);以整形int形式打印结果a+b 实际在运算中会暂时把a和b转化为整形进行计算:a+b = 0000000000000000000000000111111 +0000000000000000000000000011 =
00000000000000000000010000010 结果为130
在char c = a + b;
printf("%d\n", c); a+b 的结果为00000000000000000000010000010 在存入char类型的c时会
把前面24个0给挤掉 结果c = 10000010; 在后面以整形打印c的时候,会将c转化为int大小来打印
因为c的开头符号位为1,计算机转化时把c按负数处理,结果为11111111111111111111111111111110000010;也就是-126
2.特定的类型转换规则
在C或C++等编程语言中,当有符号整型(signed integer)和无符号整型(unsigned integer)混合出现在同一个表达式时,编译器会遵循特定的类型转换规则来确保运算的一致性。具体会发生以下几种情况:
1. **算术运算**:
- 当一个有符号数和一个无符号数进行算术运算(如加、减、乘、除等)时,有符号数会被隐式转换为无符号数。
- 如果有符号数是负数,在转换成无符号数后,这个负数将被解释为其对应的无符号值(通常是通过取模得到的一个非常大的正数值)。
例如:`int signed_num = -1; unsigned int unsigned_num = 5; unsigned_res = signed_num + unsigned_num;` 在这种情况下,`signed_num` 被转换为无符号类型,其结果将是 `unsigned_max + 4` (其中 `unsigned_max` 是无符号整型的最大值)。
2. **比较运算**:
- 在进行大小比较时,如果比较操作符两边的类型不同,较小范围的类型通常会提升到较大范围的类型。
- 如果一个有符号数和一个无符号数做比较,有符号数同样会被转换为无符号数进行比较。
- 这可能导致意外的结果,因为负的有符号数转换为无符号数后会变成一个很大的数,所以原本预期的小于零的比较可能变得不成立。
例如:`if (signed_int >= unsigned_int)`,如果 `signed_int` 是负数,则它会变成一个大正数与 `unsigned_int` 比较,可能会导致条件判断出乎意料地为真。
3. **赋值和初始化**:
- 有符号整型可以赋值给无符号整型变量,这同样会导致负数被转换为无符号数的大正值。
为了避免上述潜在的问题,尤其是在涉及比较和算术运算时,最佳实践是在混合使用有符号和无符号整型时明确进行类型转换,并且确保理解这样做的含义。此外,应尽量避免在逻辑上不合理的场景中混合使用这两种类型。
以下为类型转化的举例:
#include <stdio.h>
int i;
int main()
{
i--;
if (i > sizeof(i))//i>sizeof(i)为表达式 sizeof(i)结果为无符号整形
{
printf(">\n");
}
else
{
printf("<\n");
}
return 0;
}
C语言中,0为假,非0即为真。
全局变量,没有给初始值时,编译其会默认将其初始化为0。
i的初始值为0,i--结果-1,i为整形,sizeof(i)求i类型大小是4,但是sizeof的返回值类型实际为无符号整形,因此编译器会自动将左侧i自动转换为无符号整形的数据,-1对应的无符号整形是一个非常大的数字,超过4或者8,故实际为 i > sizeof(i)