C4800には実際の値がありますか？マイクロソフトのC++コンパイラで

Question

C4800警告ここで説明したように：「 'タイプ'：「真BOOLする値を強制的に

// C4800.cpp 
// compile with: /W3 
int main() { 
    int i = 0; 

// try.. 
// bool i = 0; 

    bool j = i; // C4800 
    j++; 
} 

C4800警告を投げる：

https://msdn.microsoft.com/en-us/library/b6801kcy.aspx

は、このコードが作ります'または' false '（パフォーマンスの警告） "

マイクロソフトは、それが合理的に重要であると考えているようですが、レベル3の警告としていますが、Clangは明らかにそうではないと思っています。それについてのints - あらゆるもの、その最大の警告レベル。

C4800が有効にする価値があると指摘している現実のバグはありますか？

Answer 1

これは基本的に、他の整数型をboolに変換したことを警告しているだけで、この変換は完全にフリーではありません。

boolを他の整数型と混同していることを警告するのはほとんどの場合です（少なくとも私が物事を見ているように）。これはパフォーマンスのわずかな低下につながるだけでなく、コードの混乱を示唆することもあります。問題のコードを見てみると：

int i = 0; 

// try.. 
// bool i = 0; 

    bool j = i; // C4800 
    j++; 

...私たちはが以前のタイプintであるとjを定義されたいくつかのコードの不完全な変換のように見えます持っているもの。 jの定義は既に編集されており、タイプはboolですが、まだintの値が割り当てられています（さらに悪い）、ポストインクリメントを使用しています。jのタイプがint実際にはのjではありません。同様boolにiを回すでしょうbool j = (i != 0);または多分より完全な変換：

bool i = false; 

// ... 
bool j = i; // no warning 

j = true; // cleaner way of producing the same result as the post-increment.