目录
隐式类型转换
#include<stdio.h>
int main()
{
int a = 0;
double b = 0;
b = a; //隐式类型准换
return 0;
}
不同类型值传递,和强转这个数都会创建一个临时变量来进行传递,不会改变原来变量的类型
表达式求值:
表达式求值的顺序一部分是由操作符的优先级和结合性决定
同样,有些表达式的操作数在求值的过程中可能需要转换为其他类型
隐式类型转换(整型提升和算数转换):
整型提升:
C的整型算术运算总是至少以缺省整型类型的精度来进行的
为了获得这个精度,表达式中的字符和短整型操作数在使用之前被转换为普通整型,这种转换称为整型提升
整型提升的意义:
表达式的整型运算要在CPU的相应运算器件内执行,CPU内整型运算器(ALU)的操作数的字节长度
一般就是int的字节长度,同时也是CPU的通用寄存器的长度
因此,即使两个char类型的相加,在CPU执行时实际上也要先转换为CPU内整型操作数的标准长
度
通用CPU(general-purpose CPU)是难以直接实现两个8比特字节直接相加运算(虽然机器指令
中可能有这种字节相加指令)。所以,表达式中各种长度可能小于int长度的整型值,都必须先转
换为int或unsigned int,然后才能送入CPU去执行运算
我们来看几串代码
#include <stdio.h>
int main()
{
char a = 5;
char b = 127;
char c = a + b;
//因为a和b参与了运算所以发生了,而且a和b是char类型,所以发生了整型提升
//a整型提升后的二进制位00000000000000000000000000000101
//b整型提升后的二进制位00000000000000000000000001111111
//c得到的二进制位0000000000000000000000000000010000100
//因为c是char类型,只能存8个比特位,所以发生了截断,10000100(补码)
//原码为11111100
printf("%d", c);//打印出来的结果为-124
//%d是打印整型,所以也发生了整型提升
//c进行整型提升11111111111111111111111110000100(补码)
//得到的原码的结果是-124
return 0;
}
#include <stdio.h>
int main()
{
char c;
printf("%u\n", sizeof(c));//结果是1
printf("%u\n", sizeof(-c));//结果是4,虽然sizeof里面的东西不会实际参与运算,但是会参加模拟推算
printf("%u\n", sizeof(+c));//结果是4,虽然sizeof里面的东西不会实际参与运算,但是会参加模拟推算
return 0;
}
#include<stdio.h>
int main()
{
char a = 0xb6;
short b = 0xb600;
int c = 0xb6000000;
if (a == 0xb6)
printf("a");
if (b == 0xb600)
printf("b");
if (c == 0xb6000000)
printf("c");
return 0;
}
//只有c打印了出来,因为a和b进行整型提升后,结果就和判断条件不相符了
注:
1、整型提升按照变量的数据类型的符号位来提升
2、整型提升不会改变符号和数值
3、整型提升高位补符号位,负数补高位补1,正数高位补0,对无符号位的整型,高位统一补0
4、非整型数据,只要参与运算就会发生整形提升
5、如果大于int类型就不会发生整型提升
算数转换:
如果某个操作符的各个操作数属于不同的类型,那么除非其中一个操作数的转换为另一个操作数的类型,否则操作就无法进行。下面的层次体系称为寻常算术转换
long double
double
float
unsigned long int
long int
unsigned int
int
如果某个操作数的类型在上面这个列表中排名较低,那么首先要转换为另外一个操作数的类型后执行运算
注:类型转换要合理,不然可能会丢失精度
例如:
float f = 3.14;
int num = f;//丢失后面的精度
操作符的属性:
复杂表达式的求值有三个影响的因素
1. 操作符的优先级
2. 操作符的结合性
3. 是否控制求值顺序
两个相邻的操作符先执行哪个?取决于他们的优先级。如果两者的优先级相同,取决于他们的结合性
优先级 | 运算符 | 名称或含义 | 使用形式 | 结合方向 | 说明 |
1 | [] | 数组下标 | 数组名[常量表达式] | 左到右 | -- |
() | 圆括号 | (表达式)/函数名(形参表) | -- | ||
. | 成员选择(对象) | 对象.成员名 | -- | ||
-> | 成员选择(指针) | 对象指针->成员名 | -- | ||
2 | - | 负号运算符 | -表达式 | 右到左 | 单目运算符 |
~ | 按位取反运算符 | ~表达式 | |||
++ | 自增运算符 | ++变量名/变量名++ | |||
-- | 自减运算符 | --变量名/变量名-- | |||
* | 取值运算符 | *指针变量 | |||
& | 取地址运算符 | &变量名 | |||
! | 逻辑非运算符 | !表达式 | |||
(类型) | 强制类型转换 | (数据类型)表达式 | -- | ||
sizeof | 长度运算符 | sizeof(表达式) | -- | ||
3 | / | 除 | 表达式/表达式 | 左到右 | 双目运算符 |
* | 乘 | 表达式*表达式 | |||
% | 余数(取模) | 整型表达式%整型表达式 | |||
4 | + | 加 | 表达式+表达式 | 左到右 | 双目运算符 |
- | 减 | 表达式-表达式 | |||
5 | << | 左移 | 变量<<表达式 | 左到右 | 双目运算符 |
>> | 右移 | 变量>>表达式 | |||
6 | > | 大于 | 表达式>表达式 | 左到右 | 双目运算符 |
>= | 大于等于 | 表达式>=表达式 | |||
< | 小于 | 表达式<表达式 | |||
<= | 小于等于 | 表达式<=表达式 | |||
7 | == | 等于 | 表达式==表达式 | 左到右 | 双目运算符 |
!= | 不等于 | 表达式!= 表达式 | |||
8 | & | 按位与 | 表达式&表达式 | 左到右 | 双目运算符 |
9 | ^ | 按位异或 | 表达式^表达式 | 左到右 | 双目运算符 |
10 | | | 按位或 | 表达式|表达式 | 左到右 | 双目运算符 |
11 | && | 逻辑与 | 表达式&&表达式 | 左到右 | 双目运算符 |
12 | || | 逻辑或 | 表达式||表达式 | 左到右 | 双目运算符 |
&& 和 || 控制求值顺序 | |||||
13 | ?: | 条件运算符 | 表达式1? 表达式2: 表达式3 | 右到左 | 三目运算符 |
?:控制求值顺序 | |||||
14 | = | 赋值运算符 | 变量=表达式 | 右到左 | -- |
/= | 除后赋值 | 变量/=表达式 | -- | ||
*= | 乘后赋值 | 变量*=表达式 | -- | ||
%= | 取模后赋值 | 变量%=表达式 | -- | ||
+= | 加后赋值 | 变量+=表达式 | -- | ||
-= | 减后赋值 | 变量-=表达式 | -- | ||
<<= | 左移后赋值 | 变量<<=表达式 | -- | ||
>>= | 右移后赋值 | 变量>>=表达式 | -- | ||
&= | 按位与后赋值 | 变量&=表达式 | -- | ||
^= | 按位异或后赋值 | 变量^=表达式 | -- | ||
|= | 按位或后赋值 | 变量|=表达式 | -- | ||
15 | , | 逗号运算符 | 表达式,表达式,… | 左到右 | 控制求值顺序 |
注:虽然规定了操作符的运算顺序,但是也有些未规定的方式,如果用未规定的方式写出的代码,在不同的编译器上面可能会出现不同的效果,所以不能这么写代码