Тип целого для результата вычислений

← →
Германн © (2006-12-24 01:53) [0]

Дано:
ShowMessage(IntToStr(арифметическое выражение, которое может включать в себя все арифметические операции производимые над набором переменных разного целочисленного типа ));
Набор переменных может включать в себя типы Byte, Smallint, Longint, Integer и т.д.
Теперь вопрос:
Есть ли какие-то "жесткие правила" по тому, какой тип будет у того значения результата вычислений, который будет обрабатываться функцией IntToStr? Если есть, то где они описаны?
Может я "дую на воду", но что-то мне мой склероз напоминает о проблемах, которые я когда-то, где-то видел. А сейчас, сегодня, надо либо знать точно, либо "подстилать соломку" типа Integer(n).

← →
ors_archangel © (2006-12-24 02:21) [1]

Тип результата в данном случае будет определяться так: если в выражении есть только тип byte, тогда результат будет byte и так для каждого типа: smallint, integer, теперь, если в выражении, кроме, допустим smallint если ещё integer, то результат будет типа integer, т.к. множество значения типа integer включает множество значений типа smallint, но не наоборот, это - общий принцип, в частности, он приводит к тому, что если мы комбинируем в выражении типы cardinal (0..2^32-1) и integer (-2^31..2^31-1), то ни один из них "не включает" другой, соответсвенно, выражение приобретает тип int64 (-2^63..2^63-1), множество значений которого включает их оба, но при этом генерируется "плохой" код, т.к. целочисленная 64-битная арифметика до сих пор не поддерживается x86, этот код будет иметь неоправдано большой размер и скорость при этом также весьма и весьма падает, поэтому в таких случаях желательно специально приводить переменные типа cardinal к integer (либо наоборот, в зависимости от смысла), либо не использовать такие переменные в одном математическом выражении.

Замечание: Для D2-D7 Longint = Integer

← →
Германн © (2006-12-24 02:33) [2]

> ors_archangel © (24.12.06 02:21) [1]

Спасибо. Но!!!
Теперь вариант. В "арифметическом выражении" есть только одна переменная. Типа Smallint. Её значение 4000. Умножаем её на 10 и делим целочисленно на 8 (n*10 div 8) .
Что получим в результате выполнения ShowMessage(IntToStr(n*10 div 8)) ?

← →
ors_archangel © (2006-12-24 02:51) [3]

Жёских правил не знаю для таких выражений, но практика (CPU) показывает, что smallint преобразовывается в integer перед использованием в выражении (при помощи movsx), даже если это константа типа smallint, это вполне обосновано: 16-битный код (для типов smallint, word) отличается от 32-битного (integer, cardinal) префиксом 16-битности (66h, например dec ecx (опкод уменьшения значения регистра счётчика на единицу, кто не в курсах) имеет код 49h, а dec cx - 66h 49h), т.о. работают с немного меньшей скоростью (т.к. ухудшается кэширование и выборка) и занимают хоть и чуть-чуть, но больше места, поэтому легче как можно раньше преобраховать smallint или word в integer или cardinal, а потом уже баловаться с ними, поэтому я лично никогда не использую smallint или word, исключая случаи с var/in/out-параметрами и массивами (в последних, чисто для экономии памяти)

← →
Германн © (2006-12-24 03:00) [4]

> ors_archangel © (24.12.06 02:51) [3]
>
> Жёских правил не знаю для таких выражений...

Спасибо за участие! И спасибо вообще!

← →
BanserAnt (2006-12-24 11:46) [5]

Функция IntToStr принимает только Integer, но беспокоиться самому не надо, компилятор преобразует аргумент к данному типу автоматически

← →
Sha © (2006-12-24 12:22) [6]

> BanserAnt (24.12.06 11:46) [5]

Интересно, что же выдаст такой код :)

ShowMessage(IntToStr(int64(MaxInt)*MaxInt));

Короче. Наплевал я на все высокие материи и просто "в лоб" применил Integer() к первой переменной с учётом приоритета арифметических операций. Вроде работает. Но терзают меня смутные сомнения. Где же я когда-то "обжегся на молоке"? Или это мой склероз подсовывает мне глюки? :-)

> [6] Sha
> ShowMessage(IntToStr(int64(MaxInt)*MaxInt));

Насколько я помню, у IntToStr есть overload для Int64, так что всё ок

> ors_archangel © (25.12.06 01:51) [8]
> Насколько я помню, у IntToStr есть overload для Int64, так что всё ок

Я не сомневался )

Тип целого для результата вычислений Найти похожие ветки