Данное диагностическое предупреждение добавлено по просьбе пользователей.
Анализатор позволяет обнаружить явные приведения типов в программе на C++, написанные в старом стиле языка C. В языке C++ более безопасно явно приводить типы с использованием операторов 'static_cast', 'const_cast' и 'reinterpret_cast'.
Диагностическое правило V2005 помогает выполнить рефакторинг кода, поменять старый стиль приведения типов на новый. Иногда это позволяет выявить ошибки.
Примеры конструкций, на которые анализатор выдаст данное диагностическое сообщение:
int i; double d; size_t s; void *p; .... i = int(p); //+V2005 d = (double)i; //+V2005 s = (size_t)(d); //+V2005
Диагностическое сообщение V2005 не выдается в следующих случаях:
1. Это программа на языке C.
2. Осуществляется приведение к типу 'void'. Такое приведение типа никакой опасности в себе не несёт и используется, чтобы подчеркнуть, что некий результат никак не используется. Пример:
(void)fclose(f);
3. Приведение типа находится в макросе. Если выдавать предупреждения для макросов, то будет огромное количество срабатываний при использовании различных системных констант и макросов. Причем, поправить их все равно нет никакой возможности. Примеры:
#define FAILED(hr) ((HRESULT)(hr) < 0) #define SRCCOPY (DWORD)0x00CC0020 #define RGB(r,g,b)\ ((COLORREF)(((BYTE)(r)|((WORD)((BYTE)(g))<<8))\ |(((DWORD)(BYTE)(b))<<16)))
По умолчанию срабатывания V2005 диагностики имеют второй уровень достоверности (Medium). Если подозрительный код находится в шаблоне, а приведение происходит к типу шаблонного параметра, то уровень предупреждения снижается до третьего (Low).
Рассмотрим синтетический пример:
template <typename TemplateParam> void foo(const std::vector<SomeType>& vec) { auto a = (TemplateParam)(vec[0]); //+V2005 //3rd level auto b = TemplateParam(vec[3]); //+V2005 //3rd level // .... auto i = (int)a; //+V2005 //2 level auto i = int(a); //+V2005 //2 level // .... }
Без инстанцирований шаблона понять, что за тип скрывается под 'TemplateParam', сложно. Если же приведение происходит к известному типу внутри шаблона, то анализатор будет по-прежнему выдавать срабатывания второго уровня. В случае, если предупреждения третьего уровня не имеют практической пользы для вас, их можно подавить при помощи специального комментария:
//-V::2005:3
По дополнительной просьбе пользователей появилась возможность управлять поведением диагностики V2005. В общем заголовочном файле или pvsconfig-файле пишется комментарий специального вида. Пример использования:
//+V2005 ALL
Существует три режима:
а) Режим по умолчанию: на каждое преобразование типов в стиле C выдаётся предупреждающее сообщение, которое гласит: используйте вместо преобразования типов конструкции вида 'static_cast', 'const_cast' и 'reinterpret_cast'.
б) ALL - на каждое преобразование типов в стиле C анализатор выдаёт рекомендацию о том, какое ключевое слово (ключевые слова) требуется использовать вместо него. Изредка возможны единичные неверные рекомендации, связанные с преобразованием сложных шаблонных типов. Также изредка возможна такая ситуация, что анализатор не сможет определить тип преобразования и выдал обыкновенное сообщение без точного указания типа приведения.
//+V2005 ALL
в) NO_SIMPLE_CAST - аналогично предыдущему, но сообщение показывается только если в преобразовании участвует хотя бы один указатель или требуется преобразование сложнее чем static_cast.
//+V2005 NO_SIMPLE_CAST
Дополнительные ссылки: