Для получения триального ключа
заполните форму ниже
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

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

Мне интересно попробовать плагин на:
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
>
>
Warning C4267 в выражении unsigned n = …

Warning C4267 в выражении unsigned n = str.find(substr)

23 Янв 2012

При переносе 32-битного кода на 64-битную систему компилятор Visual C++ может выдать множество предупреждений C4267 в коде, где результат функции std::string::find() помещается в переменную типа unsigned.

Рассмотрим пример соответствующего кода:

using namespace std;
string s("123456789");
unsigned n = s.find("a");
if (n == string::npos)
  cout << "OK" << endl;
else
  cout << "64-bit error" << endl;

Функция find() возвращает значение типа string::size_type, который на практике эквивалентен типу size_t. В 32-битной программе тип string::size_type и unsigned совпадают и имеют размер 32-бита.

При компиляции приведенного выше кода в 64-битном режиме компилятор выдаст следующее предупреждение:

warning C4267: 'initializing' : 
conversion from 'size_t' to 'unsigned int', possible loss of data

Это связано с тем, что тип string::size_type увеличивается в 64-битной программе до размера 64-бита. Соответственно компилятор предупреждает о потери значащих бит при неявном приведении 64-битного типа к 32-битному.

При анализе данной ситуации программист часто допускает следующую логическую ошибку:

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

В результате такого рассуждения, он подавляет предупреждение компилятора явным приведением типа. Это позволяет ему поправить код только в одном месте, не трогая последующий код. Ниже показан "исправленный" таким образом код:

using namespace std;
string s("123456789");
unsigned n = (unsigned)s.find("a");
if (n == string::npos)
  cout << "OK" << endl;
else
  cout << "64-bit error" << endl;

Показанное исправление некорректно. Код содержит ошибку, а предупреждение которое может помочь его обнаружить теперь подавлено явным приведением типа. Если запустить этот код в 64-битном режиме, то вместо строки "OK" он распечатает "64-bit error".

Ошибка кроется в том, что функция find() возвращает значение string::npos, которое равно 0xFFFFFFFFFFFFFFFFui64. Это значение урезается до величины 0xFFFFFFFFu и помещается в 32-битную переменную. В результате условие 0xFFFFFFFFu == 0xFFFFFFFFFFFFFFFFui64 всегда ложно.

Корректное исправление подобных предупреждений заключается не в подавлении их явным приведением типов, а в использовании корректных типов. В данном случае для хранения результата следует использовать переменную типа string::size_type. Пример корректного исправления кода:

using namespace std;
string s("123456789");
string::size_type n = s.find("a");
if (n == string::npos)
  cout << "OK" << endl;
else
  cout << "64-bit error" << endl;

Конечно использование string::size_type несколько загромождает код и делает его менее читабельным. Можно пойти на компромисс между полной точность и простотой кода, используя тип size_t. Данный момент мы оставляем на усмотрение читателя.

Предупреждение компилятора C4267 полезно, поскольку позволяет выявлять различные 64-битные ошибки. К сожалению, иногда данное предупреждение бывает скрыто явным приведением типа, которое было написано еще при разработке 32-битного кода. В этом случае диагностировать связанные с этим проблемы вам поможет статический анализатор Viva64, входящий в состав PVS-Studio. В нем имеются диагностические сообщения V201, V202, позволяющие выявлять опасные явные приведения типа при разработке 64-битных приложений.

Последние статьи:

Опрос:

Популярные статьи по теме
Простая ошибка при кодировании - не значит нестрашная ошибка

Дата: 19 Апр 2017

Автор: Андрей Карпов

Популяризируя статический анализатор кода PVS-Studio, мы обычно пишем статьи для программистов. Однако, на некоторые вещи программисты смотрят одностороннее. Именно поэтому и существуют менеджеры про…
Как обнаружить переполнение 32-битных переменных в длинных циклах в 64-битной программе?

Дата: 22 Мар 2016

Автор: Андрей Карпов

Одна из проблем, с которой сталкиваются разработчики 64-битных приложений, это переполнение 32-битных переменных в очень длинных циклах. С этой задачей хорошо справляется анализатор кода PVS-Studio (…
64-битный код в 2015 году: что нового в диагностике возможных проблем?

Дата: 21 Май 2015

Автор: Сергей Васильев

64-битные ошибки достаточно тяжело обнаружить, так как они сродни бомбе замедленного действия: могут дать о себе знать далеко не сразу. Статический анализатор PVS-Studio облегчает задачу поиска и исп…
C++11 и 64-битные ошибки

Дата: 29 Апр 2014

Автор: Андрей Карпов

64-битные компьютеры давно и успешно используются. Большинство приложений стали 64-битными. Это позволяет им использовать больший объем памяти, а также получить прирост производительности за счёт арх…
Отличие %p от %x

Дата: 05 Апр 2013

Автор: Андрей Карпов

В функциях семейства printf существуют спецификаторы типа "%p" и "%x".

Комментарии (0)

Следующие комментарии
Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо