Ошибки типа при компиляции в Delphi: причины и последствия для 32/64-битных проектов

Delphi , Синтаксис , Типы и Переменные

При работе с языками программирования, такими как Object Pascal, используемыми в среде разработки Delphi, разработчики могут сталкиваться с различными предупреждениями и ошибками компиляции. Одно из таких предупреждений связано с комбинированием знаковых типов и беззнаковых 64-битных типов, что приводит к их интерпретации как беззнаковые типы. Рассмотрим эту проблему на примере, возникшего у пользователя в Delphi 10.3 при работе с 32-битными и 64-битными целевыми платформами.

Описание проблемы

Пользователь столкнулся с предупреждением в строке кода, где происходит комбинирование переменной типа UInt64 с результатом выражения, содержащим отрицательное значение. Код добавляет размер выбранных файлов к общей сумме, если файл выбран, и вычитает, если файл не выбран. Несмотря на то, что код работает корректно, компилятор выдает предупреждение о комбинировании разных типов.

SelectedFilesSize := SelectedFilesSize +
  UInt64(IdList.GetPropertyValue(TShellColumns.Size)) *
  ifthen(Selected, 1, -1);

Подтвержденный ответ

Предупреждение, выдаваемое компилятором, обосновано. При умножении UInt64 на -1 фактически происходит умножение на максимальное беззнаковое значение 2^64 - 1. Результатом будет 128-битное значение, но нижние 64 бита будут соответствовать результату знакового умножения. В результате, при добавлении полученного значения к переменной UInt64, например SelectedFilesSize, нижние 64 бита результата будут корректными, а верхние 64 бита не будут использоваться и потому не важны.

Пример

Предположим, IdList.GetPropertyValue(TShellColumns.Size) возвращает значение 420. Тогда выполняется умножение:

$00000000000001A4 * $FFFFFFFFFFFFFFFF = $00000000000001A3FFFFFFFFFFFFFF5C

Это большое положительное число, но нижние 64 бита могут быть интерпретированы как -420. Если SelectedFilesSize равен 100000 (или 0x00000000000186A0 в шестнадцатеричном представлении), то результат будет:

$00000000000186A0 + $FFFFFFFFFFFFFF5C = $00000000000184FC

Что в десятичной системе равно 99580, что и требовалось.

Выводы

Код будет работать корректно, так как избыточные биты, начиная с 64-го, можно игнорировать. В противном случае результаты были бы неверными. При работе с крайними значениями и при условии, что не используются проверки на переполнение, код будет выполняться без ошибок. Однако, если в коде используются проверки на переполнение, это может привести к ошибкам во время выполнения.

Альтернативный ответ

Пользователь также задает вопрос, будет ли код работать корректно, если SelectedFilesSize и UInt64(IdList.GetPropertyValue(TShellColumns.Size)) имеют максимальные значения, и еслиthen(Selected, 1, -1) возвращает -1, то есть будет ли результат равен 0? Ответ подтверждается тем, что внутренне компьютер выполняет 128-битные арифметические операции и результаты, превышающие 64 бита, будут отброшены. Ошибка может возникнуть, только если промежуточный результат будет больше 127 битов.

Заключение

Важно понимать, что при работе с большими числами и при переходе между знаковыми и беззнаковыми типами могут возникать предупреждения компилятора. Эти предупреждения часто связаны с потенциальными проблемами переполнения или потери данных. Разработчикам следует учитывать эти аспекты при проектировании и отладке кода, особенно при работе с 32-битными и 64-битными проектами.

Создано по материалам из источника по ссылке.

Проблема связана с предупреждением компилятора Delphi при комбинировании знаковых и беззнаковых типов 64-битной разрядности, что может привести к неправильной интерпретации результатов операций и ошибкам при работе с большими числами, особенно при перехо

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Типы и Переменные ::