Использование побитового оператора с подобным булевской переменной операндом происходит, когда вы используете побитовые операторы, такие как:

с:

Используя булевы переменные типа как индексы массива, в булевом арифметическом выражении, и в перемещении операций не повышает этот дефект.

Подобные булевской переменной операнды, такие как переменные типа bool и выходные параметры операторов отношения обычно появляются в логических выражениях. Используя побитовый оператор в выражении, содержащем Логические переменные и операторы отношения, может быть знак логической ошибки. Поскольку побитовые операторы и логические операторы выглядят подобными, вы можете непреднамеренно использовать побитовый оператор вместо логического оператора. Такие логические ошибки не повышают ошибки компиляции и могут ввести ошибки в вашем коде, которые затрудняют, чтобы найти.

Используйте логические операторы в выражениях, которые содержат Логические переменные и оператор отношения. Чтобы указать, что вы намереваетесь использовать побитовый оператор в таком выражении, используйте круглые скобки.

class User{
	//...
	int uid;
	int euid;
public:
	int getuid();
	int geteuid();
};
void Noncompliant ()
{
	User nU;
	if (nU.getuid () & nU.geteuid () == 0) {   //Noncompliant
		//...
	}else{
		//...
	}
}

В этом примере, if-else блок выполняется условно. Условный оператор использует поразрядный AND (&) вместо логического AND (&&), возможно, по ошибке. Рассмотрите когда функциональный nU.geteuid() оценивает к 0, и nU.getuid() оценивает к 2. В этом случае, else блок кода выполняется, если вы используете & потому что 2&1 оценивает к false. С другой стороны, if блок кода выполняется, когда вы используете && потому что 2&&1 оценивает к true. Используя & вместо && может ввести логические ошибки и ошибки в вашем коде, которые затрудняют, чтобы найти. Polyspace^® отмечает использование побитовых операторов в этих видах выражений, где операторы отношения также используются.

Одна возможная коррекция должна использовать логические операторы в выражениях, которые содержат операторы отношения и Логические переменные.

class User{
	//...
	int uid;
	int euid;
public:
	int getuid();
	int geteuid();
};
void Noncompliant ()
{
	User nU;
	if (nU.getuid () && nU.geteuid () == 0) {   //Compliant
		//...
	}else{
		//...
	}
}