c语言学习（整形提升，算数转换，操作符的属性）

目录

整型提升：

算数转换：

操作符的属性：

表达式求值：

表达式求值的顺序一部分是由操作符的优先级和结合性决定
同样，有些表达式的操作数在求值的过程中可能需要转换为其他类型

隐式类型转换（整型提升和算数转换):

整型提升：

C的整型算术运算总是至少以缺省整型类型的精度来进行的
为了获得这个精度，表达式中的字符和短整型操作数在使用之前被转换为普通整型，这种转换称为整型提升

整型提升的意义：

表达式的整型运算要在CPU的相应运算器件内执行，CPU内整型运算器(ALU)的操作数的字节长度
一般就是int的字节长度，同时也是CPU的通用寄存器的长度
因此，即使两个char类型的相加，在CPU执行时实际上也要先转换为CPU内整型操作数的标准长
度
通用CPU（general-purpose CPU）是难以直接实现两个8比特字节直接相加运算（虽然机器指令
中可能有这种字节相加指令）。所以，表达式中各种长度可能小于int长度的整型值，都必须先转
换为int或unsigned int，然后才能送入CPU去执行运算

我们来看几串代码

#include 
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 
int main()
{
	char c;
	printf("%un", sizeof(c));//结果是1
	printf("%un", sizeof(-c));//结果是4，虽然sizeof里面的东西不会实际参与运算，但是会参加模拟推算
	printf("%un", sizeof(+c));//结果是4，虽然sizeof里面的东西不会实际参与运算，但是会参加模拟推算
	return 0;
}

#include
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	，	逗号运算符	表达式,表达式,…	左到右	控制求值顺序

注：虽然规定了操作符的运算顺序，但是也有些未规定的方式，如果用未规定的方式写出的代码，在不同的编译器上面可能会出现不同的效果，所以不能这么写代码