Compartilhar via


C6290

Aviso C6290: Operação bit a bit em um resultado lógico: ! tem precedência &. Usar & & ou (! (x & y)) em vez disso

Este aviso indica uma possível confusão no uso de um operador ou a precedência do operador.

O ! operador produz um resultado booleano e tem precedência maior do que o &.o bit a bit- e (e) operador leva dois argumentos aritmético. Portanto, um dos seguintes erros: foi detectado:

  • A expressão é mis parenthesised:

    Porque o resultado de ! é booleano (zero ou um), uma tentativa de testar que duas variáveis têm em comum será apenas final até que o menor bit está presente no lado direito de teste de bits: ((!8) & 1) == 0.

  • O ! operador estiver incorreto e deve ser um ~ em vez disso:

    O ! operador tem um resultado booleano, enquanto o ~ operador tem resultado aritmético. Esses operadores nunca são intercambiáveis, mesmo quando operando em um valor booleano (zero ou um): ((!0x01) & 0x10) == 0x0, while ((~0x01) & 0x10) == 0x10.

  • O operador binário & está incorreta e deve ser &&:

    Enquanto & algumas vezes podem ser intercambiados com &&, mas não equivalente porque o força a avaliação do lado direito da expressão. Determinados efeitos colaterais nesse tipo de expressão pode ser terminal.

É difícil avaliar a gravidade deste problema sem examinar o código. O código deve ser inspecionado para garantir que o teste pretendido está ocorrendo.

Exemplo

O código a seguir gera este aviso:

void f(int x, int y)
{
  if (!x & y)
  {
    // code ..
  }
}

Para corrigir esse aviso, use o exemplo de código a seguir:

void f(int x, int y)
{
  /* When testing that x has no bits in common with y. */
  if (!(x & y))
  {
    // code 
  }

  /* When testing for the complement of x in y. */
  if ((~x) & y)
  {
    // code ...
  }
}
#include <windows.h>
void fC(int x, BOOL y )
 {
  /* When y is a Boolean or Boolean result. */
  if ((!x) && y)
  {
    // code ...
  }
}

C6317 de aviso será relatado se a ! operador está no lado direito da & operador.

Consulte também

Referência

C6317