Compartilhar via


C6291

Aviso C6291: Operação bit a bit em um resultado lógico: ! tem precedência maior do que |. Use | | ou (! (x | y)) em vez disso

O ! operador produz um resultado booleano e o |(bit a bit- ou) operador leva dois argumentos de aritméticos. O ! operador também tem precedência |.

Portanto, um dos seguintes erros: foi detectado:

  • A expressão é mis parenthesised:

    Porque o resultado de ! é booleano (zero ou um), uma tentativa de testar duas variáveis tem bits definido será apenas acabam testes que o menor bit está presente no lado direito: ((!x) | y) != (!(x | y))when x == 0 and y == 1.

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

    O ! operador tem um resultado booleano, mas o ~ operador tem resultado aritmético. Esses operadores nunca são intercambiáveis, mesmo quando operando em um valor booleano (zero ou um): ((!x) | y) != ((~x) | y)when x == 1 and y == 0.

  • O operador binário | estiver incorreto e deve ser ||:

    Embora | às 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 podem ser terminal: (!p | (*p == '\0')), quando p == NULL, podemos deve referência para avaliar a outra metade da expressão.

Este aviso não é relatado se a ! operador está no lado direito da | operador porque neste caso é normalmente caso relativamente inócuos de um operador incorreto.

É 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.

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

Exemplo

O código a seguir gera este aviso:

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

Para corrigir esse aviso, use um dos métodos mostrados no código a seguir:

void fC(int x, int y )
{
  /* When checking whether any bits are set in either x or y. */
  if (!(x | y))
  {
    // code
  }
  /* When checking whether bits are set in either */
  /* the complement of x or in y. */
  if ((~x) | y)
  {
    // code
  }
}

#include <windows.h>
void f(int x, BOOL y )
{
  /* When y is a Boolean or Boolean result. */
  if ((!x) || y)
  {
    // code
  }
}