C语言基础13 表达式求值与隐式类型转换

表达式求值

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

隐式类型转换

C的整型算术运算符总是至少以缺省整型类型的精度来进行的。

为了获得这个精度，表达式中的字符和短整型操作数在使用之前被转换为普通整型，这种转换称为整型提升。

注：
比 int 大的不用整形提升

整型提升的意义：

表达式的整型运算要在CPU的相应运算器件内执行，CPU内整型运算器（ALU）的操作数的字节长度一般就是int的字节长度，同时也是CPU的通用寄存器的长度。

因此，即使两个char类型的相加，在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。

通用CPU是难以直接实现两个8比特字节直接相加运算（虽然机器指令中可能有这种字节相加指令）。所以，表达式中各种长度可能小于int长度的整型值，都必须先转换为int或unsigned int ，然后才能送入CPU去执行。

如：

char a,b,c;
...
a = b + c;

b和c的值被提升为普通整型，然后再执行加法运算。

加法运算完成之后，结果将被截断，然后再存储于a中。

如何进行整型提升呢？

 整形提升是按照变量的数据类型的符号位来提升的

//负数的整形提升
char c1 = -1;
变量c1的二进制位（补码）中只有8个比特位:
11111111
因为char为有符号的char
所以整形提升的时候,高位补充符号位,即为1
提升之后的结果是:
11111111111111111111111111111111

//正数2的整型提升
char c2 = 1;
变量c2的二进制位（补码）中只有8个比特位:
00000001
因为char为有符号的char
所以整形提升的时候,高位补充符号位,即为0
提升之后的结果是:
00000000000000000000000000000001

//无符号整形提升,高位补0

int mian()
{
    char a = 3;
    //00000000000000000000000000000011
    //00000011 - a
    char b = 127;
    //00000000000000000000000001111111
    //01111111 - b

    char c = a + b;
    //00000000000000000000000000000011
    //00000000000000000000000001111111
    //00000000000000000000000010000001
   
    //10000010 - c
    //11111111111111111111111110000010  - 补码
    //11111111111111111111111110000001  - 反码
    //00000000000000000000000001111110  - 原码
    //-126
    //a,b都是char类型的,都没有达到衣蛾int的大小,所以这里就会发生整形提升
    
    printf("%d\n",c); //-126
    return 0;
}

Console:
-126

整形提升的例子：

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;
}

Console:
c

算术转换

如果某个操作符的各个操作数属于不同的类型，那么除非其中一个操作符转换为另一个操作符的类型，否则操作就无法进行。下面的层次体系为寻常算术转换。

  long double
  double
  float
  unsigned long int 
  long int 
  unsigned int 
  int 

如果某个操作数的类型在上表排名中较低，那么首先要转换为另一个操作数的类型后执行运算。

注： 算术转换要合理，要不然会有一些潜在的问题。

float f = 3.14;
int num = f; //隐式转换,会有精度丢失

操作符的属性

复杂表达式的求值有三个影响的因素。

1. 操作符的优先级
2. 操作符的结合性
3. 是否控制求值顺序（&&、||）

两个相邻的操作符先执行哪个？取决于他们的优先级。如果两者的优先级相同，取决于他们的结合性。