C++ if文の数学的評価のバグ

Question

私は数学的なバグになると思いますが、なぜそれが起こっているのか完全に理解していません。

if (mNextBottomIndex < mBlocks.size() - 1) { 
    if (mBlocks[mNextBottomIndex + 1]->getGlobalPosition().y >= -mBlocks[mNextBottomIndex + 1]->getHeight()) { 
    mBlocks[mNextBottomIndex + 1]->setAlpha(1.0f); 
    mNextBottomIndex++; 
    } 
} 

mBlocks.size() = 0とmNextBottomIndex = 3（またはmNextBottomIndex> 0任意の数に等しい）ので、それはinner if statementの評価にクラッシュです。だから私の質問は、最後の文で変数が与えられた場合、どのようにそれがouter if statementを過ぎていますか？アプリケーションがバックグラウンドスレッドでこれらの変数を処理していない、と変数は前と同じであり、outer if statement

後、私は

if (mBlocks.size() != 0 && mNextBottomIndex < mBlocks.size() - 1) { 
    if (mBlocks[mNextBottomIndex + 1]->getGlobalPosition().y >= -mBlocks[mNextBottomIndex + 1]->getHeight()) { 
    mBlocks[mNextBottomIndex + 1]->setAlpha(1.0f); 
    mNextBottomIndex++; 
    } 
} 

する外if statementを修正し、それがクラッシュしていないようです今。

Answer 1

mBlocks.size（）は符号なし整数です。 値0の符号なし整数から1を引いた値が大きい正の数にアンダーフローします。

Answer 2

あなたは私たちにmBlocksの種類を示していますが、std::vectorのsize() member function呼び出していることを考えるとしていない（またはいくつかの類似したSTDLIBコンテナを、例えばstd::array）、戻り値の型は、（cppreference @std::vector::sizeから）タイプsize_typeは次のとおりです。ある

std::vector::size

size_type size() const; 

（std::vectorからcppreference @）常に符号なし整数：（通常std::size_t）

メンバーの種類

...

size_type符号なし整数型

あなたは1を引きます0から、符号なしの型で負の数を生成します（この負の数が小さい場合は）という述語を当然trueとして渡す大きな符号なし整数にラップアラウンドします。

も参照してください。次

• What happens if I assign a negative value to an unsigned variable?
• Andrew Koenig - Unsigned Arithmetic: Useful but Tricky