一道面试题引发的对数据类型转换的思考

面试题目，看代码写结果

#include<stdio.h>

char getChar(int x, int y) {
    char c;
    unsigned int a = x;

    (a + y > 10)?(c=1):(c=2);
    return c;
}

int main() {
    char c1 = getChar(7,4);
    char c2 = getChar(7,3);
    char c3 = getChar(7,-7);
    char c4 = getChar(7,-8);

    int a = -7;
    unsigned int x = a;

    printf("c1 = %d\n", c1);
    printf("c2 = %d\n", c2);
    printf("c3 = %d\n", c3);
    printf("c4 = %d\n", c4);

    return 0;
}

解析

  首先说明getChar()函数的作用：它有两个输入参数，分别是整型的x和y。在函数体内，把参数x的值转换为无符号整型之后再与y相加，其结果与10进行比较，如果大于10，则函数返回1，否则返回2。
  在这里，我么要注意：当表达式中存在有符号类型和无符号类型时，所有的操作数都自动转换成无符号类型。
  当我们赋给无符号类型一个超出它表示范围的值时，结果是初始值对无符号类型表示数值取模后的余数。例如，8bit大小的unsigned char可以表示0至255区间内的值，如果我们赋了一个区间以外的值，则实际的结果是该值对256取模后所得的余数。
  例如我的机器是32位的（32bit）,unsigned int 可以表示0至4294967295（$2^{32}-1$）区间内的值，如果我们赋值了一个区间以外的值，则实际的结果是该值对4294967295取模后所得的余数。因此把-7赋给32位大小的unsigned int所得的结果是4294967289。

    char c3 = getChar(7,-7);

  所以传入两个参数后，-7首先被转换成一个很大的数4294967289，然后与7相加正好溢出，得到的值为0，因此c3返回2。

    char c4 = getChar(7,-8);

  所以传入两个参数后，-7首先被转换成一个很大的数4294967288，然后与7相加正好溢出，得到的值为4294967295（32位的unsigned int所能表示的最大整数），因此c4返回1。

  程序运行结果如下：

附录

  对于整型数a，b来说，取模运算或者求余运算的方法都是：

1. 求 整数商： c = a/b;
2. 计算模或者余数： r = a - c*b.

  求模运算和求余运算在第一步不同: 取余运算在取c的值时，向0 方向舍入(fix()函数)；而取模运算在计算c的值时，向负无穷方向舍入(floor()函数)。
  例如：计算-7 Mod 4
  那么：a = -7；b = 4；

• 第一步：求整数商c，如进行求模运算c = -2（向负无穷方向舍入），求余c = -1（向0方向舍入）；
• 第二步：计算模和余数的公式相同，但因c的值不同，求模时r = 1，求余时r = -3。

  归纳：当a和b符号一致时，求模运算和求余运算所得的c的值一致，因此结果一致。当符号不一致时，结果不一样。求模运算结果的符号和b一致，求余运算结果的符号和a一致。
  另外各个环境下%运算符的含义不同，比如c/c++，java 为取余，而python则为取模。

另外我会找个时间写一篇关于C++中数据类型转换的文章。