c - 有符号整数模无符号整数会产生无意义的结果

Question

我需要在 C 中执行一个真正的数学模运算。对我来说，对于 moduled 参数允许负数是有意义的，因为我的模计算会产生负的中间结果，必须将其放回最小残留系统。但是允许负模块是没有意义的，因此我写了

unsigned int mod( int x, unsigned int m )
{
    int r = x % m;
    return r >= 0 ? r : r + m;
}

但是用负数和正模块调用这样的函数

printf("%u\n", mod(-3, 11));

产生输出

1

我不明白为什么。你能解释一下吗？

编辑:我知道运算符 % 不同于数学模，我知道它是如何定义正数和负数的。我在问它会为不同的签名做些什么，而不是不同的签名。

Answer 1

clang与 -Wconversion enabled 清楚地指出了您的错误:

prog.cc:3:15: warning: implicit conversion changes signedness: 'unsigned int' to 'int' [-Wsign-conversion]
    int r = x % m;
        ~   ~~^~~
prog.cc:3:13: warning: implicit conversion changes signedness: 'int' to 'unsigned int' [-Wsign-conversion]
    int r = x % m;
            ^ ~
prog.cc:4:21: warning: operand of ? changes signedness: 'int' to 'unsigned int' [-Wsign-conversion]
    return r >= 0 ? r : r + m;
    ~~~~~~          ^
prog.cc:4:25: warning: implicit conversion changes signedness: 'int' to 'unsigned int' [-Wsign-conversion]
    return r >= 0 ? r : r + m;
                        ^ ~
prog.cc:9:12: warning: implicit conversion changes signedness: 'unsigned int' to 'int' [-Wsign-conversion]
    return mod(-3, 11);
    ~~~~~~ ^~~~~~~~~~~

live example on wandbox

当转换为 unsigned int , -3变成 4294967293 .
4294967293 % 11等于 1 .