Оглавление
V3130. Priority of the '&&' operator is higher than that of the '||' operator. Possible missing parentheses.
Анализатор обнаружил потенциальную ошибку, связанную с тем, что приоритет логического оператора '&&' выше приоритета логического оператора '||'. Про это часто забывают. В результате логическое выражение может давать совсем не тот результат, на который рассчитывал программист.
Рассмотрим пример некорректного кода:
if (c == 'l' || c == 'L' && !token.IsKeyword)
{ .... }Скорее всего, программист ожидал, что вначале выполнится проверка равенства переменной 'c' значению 'l' или 'L'. И только затем выполнится операция '&&'. Но согласно приоритету операторов, в языке C# вначале произойдет выполнение операции '&&', а уже потом '||'.
Можно порекомендовать во всех выражениях с редко используемыми вами операторами или там где нет уверенности, писать скобки. Даже если скобки окажутся лишними, это не страшно. Зато код станет более легким для понимания и будет меньше подвержен ошибкам.
Корректный вариант кода:
if ((c == 'l' || c == 'L') && !token.IsKeyword)
{ .... }А как убрать ложное предупреждение, если действительно планировалась последовательность вычислений: сначала логическое '&&', затем логическое '||'?
Есть несколько вариантов:
1) Плохой вариант. Можно использовать комментарий "//-V3130" для подавления предупреждения в нужной строке.
if (c == 'l' || c == 'L' && !token.IsKeyword) //-V3130
{ .... }2) Хороший вариант. Можно добавить дополнительные скобки:
if (c == 'l' || (c == 'L' && !token.IsKeyword))
{ .... }Дополнительные скобки помогут вашим коллегам понять, что этот код корректен.
Взгляните на примеры ошибок, обнаруженных с помощью диагностики V3130. |
Была ли полезна эта страница документации?
