C6237
upozornění C6237: (<zero> & & <expression>) je vždy nula.<expression> nikdy vyhodnoceny a může mít vedlejší účinky
Toto upozornění znamená, že konstantní hodnota nula byl nalezen na levé straně logické- a operace v rámci testu.Vždy výsledný výraz vyhodnocen jako NEPRAVDA.Proto po pravé straně logické- A operace nebudou vyhodnoceny.To se označuje jako "zkratové hodnocení."
Měla přezkoumat pravé straně výraz pečlivě, aby žádné vedlejší účinky, jako je například přiřazení volání funkce zvýšit, a nejsou ovlivněny operací snižovat potřebné pro správnou funkčnost zkratové hodnocení.
Výraz (0 && n) vytváří žádné vedlejší účinky a obvykle se používá selektivní výběr cesty kódu.
Příklad
Následující kód ukazuje různé ukázky kódu, které tato upozornění:
#include <stdio.h>
#define INPUT_TYPE 0
int test();
// side effect: n not incremented
void f1( int n )
{
if(INPUT_TYPE && n++) //warning: 6237
{
puts("code path disabled");
}
else
{
printf_s("%d - n was not incremented",n);
}
}
// side effect: test() not called
void f2( )
{
if(INPUT_TYPE && test()) //warning: 6237
{
puts("code path disabled");
}
else
{
puts("test() was not called");
}
}
//side effect: assignment and function call did not occur
void f3( int n )
{
if(INPUT_TYPE && ( n=test() )) //warning: 6237
{
puts("code path disabled");
}
else
{
printf_s("%d -- n unchanged. test() was not called", n);
}
}
Chcete-li opravit toto upozornění, použijte následující kód:
#include <stdio.h>
#define INPUT_TYPE 0
int test();
void f1( int n )
{
if(INPUT_TYPE)
{
if(n++)
{
puts("code path disabled");
}
}
else
{
puts("n was not incremented");
}
}
void f2( )
{
if(INPUT_TYPE)
{
if( test() )
{
puts("code path disabled");
}
}
else
{
puts("test() was not called");
}
}
void f3( int n )
{
if(INPUT_TYPE)
{
n = test();
if( n )
{
puts("code path disabled");
}
}
else
{
puts("test() was not called");
}
}