Являются * и + эквивалентными, соответственно, && и || на булевых операндах?

Question

a [8] - массив булевых элементов. Я пытаюсь вычислить логическое выражение, похожее на следующее.

bool a[8]; 
..... 
bool result=a[0]*(a[3]+a[6]*(a[4]+a[7]*a[5]))+a[1]*(a[6]*a[3]+a[4]+a[7]*a[5])+a[2]*(a[5]+a[7]*(a[4]+a[6]*a[3])); 

Выражение длинное, но концептуально ничего сложного. Единственная ошибка, кажется, что результат отличается, когда я заменяю * в выражении & & (в обоих случаях я ожидаю логическое И) или заменяю + на || (ожидая логического ИЛИ).

Я не уверен, какие из них были бы правильными, логические операторы или математические обозначения умножения, добавления и т. Д. Хуже того, ни одна из них не дает никакой ошибки, то есть компилятор доволен обоими. Какой из них безопаснее и правильнее?

Answer 1

Это почти то же самое для bool операндов. Но есть тонкие различия:

1. * и + расширятся аргументы типа в bool для int типов.

2. Тип выражения a || b является bool, в то время как это a + bint. То же самое для && и *.

3. * и + не секвенирование точек, тогда как && и || есть.

4. * и + не закорочены, в то время как && и || есть.

5. Они занимают очень разные позиции в таблице приоритетов оператора. Таким образом, замена не является простой.

6. Если a является bool и b также bool, но не инициализирован, то поведение a || b определяется, но a + b является неопределенными поскольку boolможет содержать представление ловушки в C++. Аналогичные выражения могут быть вызваны для && и *.

7. Очень длинная цепочка a + b + c + ... может переполнять тип int, поведение которого не определено.

(3) означает, что a++ * a++ не определено поведение, но a++ || a++ не является.

(Не важно здесь, но стоит отметить: обратите внимание, что && и || теряют свойство короткого замыкания, если они перегружены).

Answer 2

В дополнение к короткому замыканию в логических операциях, что здесь не имеет значения, решающее значение для объяснения изменений в поведении - operator precedence.

При замене * с && или + с ||, порядок изменения приоритета: * имеет более высокий приоритет, чем+, но && имеет нижний приоритет, чем +. Вот почему вам нужно полностью заключить в скобки свое выражение, чтобы принудительно установить желаемый порядок операций только с заменой * на &&.

Замена обоих * и + с && и || будет поддерживать относительный приоритет двух операторов то же самое, так что вы бы в конечном итоге с тем же результатом.