我在编写的一些 c 代码中遇到了一个错误,虽然它相对容易修复,但我希望能够更好地理解它背后的问题。基本上发生的事情是我有两个无符号整数(实际上是uint32_t),当应用模运算时,产生了一个负数的无符号等价物,一个已经被包装的数字,因此是“大”的。这是一个示例程序来演示:
#include <stdio.h>
#include <stdint.h>
int main(int argc, char* argv[]) {
uint32_t foo = -1;
uint32_t u = 2048;
uint64_t ul = 2048;
fprintf(stderr, "%d\n", foo);
fprintf(stderr, "%u\n", foo);
fprintf(stderr, "%lu\n", ((foo * 2600000000) % u));
fprintf(stderr, "%ld\n", ((foo * 2600000000) % u));
fprintf(stderr, "%lu\n", ((foo * 2600000000) % ul));
fprintf(stderr, "%lu\n", foo % ul);
return 0;
}
这会在我的 x86_64 机器上产生以下输出:
-1
4294967295
18446744073709551104
-512
1536
2047
1536 是我期望的数字,但 (uint32_t)(-512) 是我得到的数字,正如您可能想象的那样,这有点让事情发生了。
所以,我想我的问题是:为什么在这种情况下,两个无符号数之间的模运算会产生一个大于除数的数字(即负数)?这种行为是首选的原因吗?