Оглавление
V6032. It is odd that the body of 'Foo_1' function is fully equivalent to the body of 'Foo_2' function.
Анализатор обнаружил два метода, которые реализованы идентичным образом. Наличие двух одинаковых методов само по себе не является ошибкой, но служит поводом обратить на них внимание.
Смысл данной диагностики в обнаружении следующей разновидности ошибок:
class Point
{
....
int GetX() { return mX; }
int GetY() { return mX; }
};Из-за допущенной опечатки две разные по смыслу методы выполняют одинаковые действия. Корректный вариант:
int GetX() { return mX; }
int GetY() { return mY; }В приведённом примере идентичность тел функций GetX() и GetY() явно свидетельствует о наличии ошибки. Однако если выдавать предупреждения на все одинаковые методы, то процент ложных срабатываний будет крайне большим. Поэтому анализатор руководствуется целым рядом исключений, когда не стоит предупреждать об одинаковых телах методов. Вот некоторые из них:
- Не сообщается об идентичности тел методов, если в них не используются переменные кроме аргументов. Пример:
bool IsXYZ() { return true; }. - Если методы с одинаковыми телами повторяются более двух раз.
- Тело методов состоит только из оператора
throw(). - И так далее.
Взгляните на примеры ошибок, обнаруженных с помощью диагностики V6032. |
Была ли полезна эта страница документации?
