Описание

Возможно непреднамеренная оценка выражения из-за правил приоритета оператора происходит, когда результат арифметического выражения возможно непреднамерен, потому что правила приоритета оператора диктуют порядок оценки, что вы не ожидаете.

Дефект подсвечивает выражения формы x op_1 y op_2 z. Здесь, op_1 и op_2 являются комбинациями оператора, которые обычно вызывают эту ошибку. Например, x == y | z.

Средство проверки не отмечает все комбинации оператора. Например, x == y || z не отмечается, потому что вы, скорее всего, намеревались выполнить логический OR между x == y и z. А именно, средство проверки отмечает эти комбинации:

Риск

Дефект может вызвать следующие проблемы:

Фиксация

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

Для лучшей удобочитаемости вашего кода это - хорошая практика, чтобы применить круглую скобку, чтобы реализовать порядок оценки, даже когда правила приоритета оператора налагают тот порядок.

Пример - выражения с возможно непреднамеренным порядком оценки

int test(int a, int b, int c) {
    return(a & b == c);
}

В этом примере операция == происходит сначала, сопровождаемая операцией &. Если вы предназначили обратный порядок операций, результат не то, что вы ожидаете.

Исправление — круглая скобка для намеченного порядка

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

int test(int a, int b, int c) {
    return((a & b) == c);
}