为什么C++中负数执行取模运算会返回不符合预期的0值？

问题根因 #

• 核心原因是vec.size()的返回值为无符号整数类型size_t，%运算执行前会发生隐式类型转换，把带负号的int值-4转成size_t类型后再计算，最终得到不符合预期的结果。

具体执行流程： #

1. C++算术运算规则规定：如果同一个运算符的两个操作数分别为有符号整数、无符号整数，有符号整数会先隐式转换为无符号整数，再执行运算。
2. 你的代码中-k是值为-4的int类型，vec.size()返回的是size_t类型（32位平台下为32位无符号整型，64位平台下为64位无符号整型），因此-4会先被转换为对应的size_t值：以32位size_t为例，-4转无符号数的结果为4294967292。
3. 接下来执行取模运算4294967292 % 3，该值刚好是3的整数倍，所以输出结果为0，和你观测到的现象一致。

修正方案 #

如果要得到符合预期的-4 % 3的结果，需要先把vec.size()显式转换为有符号整型，避免隐式类型转换：

#include <iostream>
#include <vector>

int main()
{
    std::vector<int> vec {1,2,3};
    int k{4}; 
    int vec_size = static_cast<int>(vec.size());
    std::cout << (-k) % vec_size; // 输出为-1，符合预期

    return 0;
}

补充注意事项 #

• C++11及之后的标准明确规定，有符号数对有符号数取模时，结果的符号和被除数保持一致，所以-4 % 3的标准运算结果是-1。
• 开发中要格外注意size_t等无符号类型和有符号类型混合运算的隐式转换问题，这类问题非常容易触发非预期逻辑。

内容的提问来源于stack exchange，提问作者James Rockey