Оглавление
V3003. The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence.
Анализатор обнаружил потенциально возможную ошибку в конструкции, состоящей из условных операторов.
Рассмотрим пример:
if (a == 1)
Foo1();
else if (a == 2)
Foo2();
else if (a == 1)
Foo3();В данном примере метод 'Foo3()' никогда не получит управления. Вероятно, мы имеем дело с логической ошибкой и корректный код должен выглядеть так:
if (a == 1)
Foo1();
else if (a == 2)
Foo2();
else if (a == 3)
Foo3();На практике подобная ошибка может выглядеть следующим более сложным образом.
Например, анализатором удалось найти следующую ошибочную конструкцию.
....
} else if (b.NodeType == ExpressionType.Or ||
b.NodeType == ExpressionType.OrEqual){
current.Condition = ConstraintType.Or;
} else if(...) {
....
} else if (b.NodeType == ExpressionType.OrEqual ||
b.NodeType == ExpressionType.Or){
current.Condition = ConstraintType.Or |
ConstraintType.Equal;
} else if(....В данном примере, в вышестоящей инструкции if было проверено условие, что
b.NodeType == ExpressionType.Or ||
b.NodeType == ExpressionType.OrEqual.А в нижестоящей инструкции if, условие было таким же по логике, но написано в обратном порядке, что является малозаметным с точки зрения человека, но приводит к ошибке выполнения кода.
b.NodeType == ExpressionType.OrEqual ||
b.NodeType == ExpressionType.OrДанная диагностика классифицируется как:
Взгляните на примеры ошибок, обнаруженных с помощью диагностики V3003. |
Была ли полезна эта страница документации?
