c++ - unsigned int 本当に正の値が機能しないと主張しますか?

Question

2 つの数値を乗算したいのですが、数値が常に正であることがわかっている場合は、次のようになります。

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

今、私は assert を使用して、「与えられた数値は常に正である」と自分に言い聞かせています。

しかし、私が実行すると：

int main()
{

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

        // more stuff goes here

}

負の数を使用しているにもかかわらず、コードは失敗しません。なんで？

score 7 · Accepted Answer

aとは符号がないため、b負になることはありません。アサーションが失敗する唯一の方法は、アサーションの 1 つが 0 の場合です。

signed int をパラメーターとして関数を呼び出すと、関数が実行される前に (したがって、アサートがチェックされる前に) unsigned it に変換されます。負の整数を符号なしに変換すると、正の整数が生成されます。これは、前述したように、負の符号なし整数がないためです。

score 3 · Accepted Answer

負を使用していません。これはunsigned int、関数がパラメーターとして受け取るものであるため、に変換されます。

アサーションは、数値がの場合にのみ失敗する可能性があります0。

score 3 · Accepted Answer

3

タイプ 'unsigned int' は暗黙的に -4 を unsigned に変換します

于 2012-08-29T09:57:24.427 に答える

score 1 · Accepted Answer

unsigned (32 ビット) int として解釈される -4 はであるため4294967291、これは間違いなく正です。

以下は、意図したとおりに機能するはずです。

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

その間、乗算の結果がオーバーフローするかどうかをアサートするか、より大きな戻り値の型 (例: long long )を選択する必要があります。

score 0 · Accepted Answer

0

これを試して：

(unsigned int a ,unsigned int b)

于 2012-08-29T09:57:34.723 に答える

5 に答える 5