断言unsigned int确实是正面的不起作用？

Question

我想将两个数字相乘，我知道我的数字总是正数，然后：

unsigned int mulPositiveNumbers(unsigned int a ,unsigned int b)
{
    assert(a > 0);
    assert(b > 0);
    return (a*b);
}

现在，我正在使用断言告诉自己“给定的数字总是积极的”。

但是当我跑步时：

int main()
{

    unsigned int res = mulPositiveNumbers(-4,3);

        // more stuff goes here

}

代码不会失败，即使我使用的是负数。 为什么？

Answer 1

因为a和b是无符号的，所以它们永远不会是负数。 断言失败的唯一方法是其中一个为0。

当您使用signed int作为参数调用函数时，它将在函数执行之前简单地转换为unsigned（因此在检查断言之前）。 将负整数转换为无符号将产生正整数，因为正如我所说，没有负无符号整数。

Answer 2

你没有使用负数，它被转换为unsigned int因为这是函数作为参数所用的。

断言只有在数字为0才会失败。

Answer 3

您的类型'unsigned int'将隐式-4转换为无符号等效

Answer 4

因为-4解释为无符号（32位）int是4294967291 ，这肯定是正面的。

以下应该按照您的意愿工作。

unsigned int mulPositiveNumbers(int a, int b)
{
    assert(a > 0); // Fail for (-4, 3)
    assert(b > 0);
    return (a*b);
}

当你在它的时候，你也应该断言乘法的结果是否会溢出，或者选择一个更大的返回类型（例如long long ）

Answer 5

尝试这个：

(unsigned int a ,unsigned int b)