C/C++语言中无符号(unsigned)与有符号运算问题

无符号数和有符号数运算会把有符号数转换为无符号数再进行运算

起因是这样，我写了下面一段代码，为了方便理解删去了很多部分。函数max（）地方报错，因为一个是无符号数（size_t是无符号类型），一个是int无法比较。

int jump(vector<int>& nums) {
    int nextmaxdistance = 0;
    for (size_t i = 0; i < nums.size(); ++i) {
        nextmaxdistance = max(nums[i] + i, nextmaxdistance);
    }
    return times;
}

因为nums【i】是有符号类型，i是无符号类型，后面我就尝试看看有符号数无符号数各种运算的结果是有符号类型还是无符号类型。

无符号数和有符号数算数运算结果是无符号数

int main() {
    size_t si = 1;
    int i = 1;
    auto ai1 = si + i;
    auto ai2 = i + si;
    std::cout << "ai1类型：" << typeid(ai1).name() << std::endl;
    std::cout << "ai2类型：" << typeid(ai2).name() << std::endl;
    return 0;
}
/*输出结果
ai1类型：unsigned int
ai2类型：unsigned int
*/

可以看出无符号数和有符号数相加，无符号数无论在前面还是后面，最终结果都是无符号数。

无符号数和有符号数比较运算结果是无符号数

#include <iostream>
#include <typeinfo>

int main() {
    unsigned int ui = -1;
    int i = 1;
    std::cout << "-1 > 1 吗？ " << ((ui > i) ? "yes" : "no") << std::endl;
}
/*输出结果
-1 > 1 吗？ yes
*/

结果是：-1 > 1

为什么会这样呢？

因为有符号数和无符号数进行比较运算时（>, < , ==, !=, <=, >=）,有符号数隐式转换成了无符号数（即底层的补码不变，但是此数从有符号数变成了无符号数），比如上面 -1 > 6这个比较运算，-1的补码为11111111。此数进行比较运算时，被当成了无符号数，它远远大于1