А. Григорьев - О чём не пишут в книгах по Delphi

Рассмотрим другой пример: из пяти (в двоичном представлении 00000101) вычесть десять (00001010). Здесь уместно вспомнить вычитание в столбик, которое изучается в школе: если в разряде уменьшаемого стоит цифра, большая, чем в соответствующем разряде вычитаемого, то из старшего разряда уменьшаемого приходится занимать единицу. То же самое и здесь: чтобы вычесть большее число из меньшего, как бы занимается единица из несуществующего девятого разряда. Это можно представить так: из числа (1)00000101 вычитается (0)00001010 и получается (0)11111011 (несуществующий девятый разряд показан в скобках: после получения результата мы про него снова забываем). Если интерпретировать полученный результат как знаковое целое, то он равен -5, т.е. именно тому, что и должно быть. Но с точки зрения беззнаковой арифметики получается, что 5-10=251.

Приведенные примеры демонстрировали ситуации, когда результат укладывался в один из диапазонов (знаковый или беззнаковый), но не укладывался в другой. Рассмотрим, что будет, если результат не попадает ни в тот, ни в другой диапазон. Пусть нам нужно сложить 10000000 и 10000000. При таком сложении снова появляется несуществующий девятый разряд, но на этот раз из него единица не занимается, а в него переносится лишняя. Получается (1)00000000. Несуществующий разряд потом игнорируется. С точки зрения знаковой интерпретации получается, что 128 + 128 = 0. С точки зрения беззнаковой — что -128 + (-128) = 0, т.е. оба результата, как и можно было ожидать с самого начала, оказываются некорректными.

Знаковые целые представлены в Delphi типами ShortInt( N =8, диапазон -128..127), SmallInt( N =16, диапазон -32 768..32 767), LongInt( N =32, диапазон -2 147 483 648..2 147 483 647) и Int64( N =64, диапазон -9 223 372 036 854 775 808..9 223 372 036 854 775 807).

32-разрядные процессоры не могут выполнять операции непосредственно с 64-разрядными числами, поэтому компилятор генерирует код, который обрабатывает это число по частям. Сначала операция сложения или вычитания выполняется над младшими 32-мя разрядами а потом — над старшими 32-мя, причем, если в первой операции занималась единица из несуществующего (в рамках данной операции) 33-го разряда или единица переносилась в него, при второй операции эта единица учитывается.

Далее приведены несколько примеров, иллюстрирующих сказанное.

Начнем с рассмотрения простого примера (листинг 3.1. проект Assignment1 на компакт-диске).

procedure TForm1.Button1Click(Sender: TObject);

var

X: Byte;

Y: ShortInt;

begin

Y := -1;

X := Y;

Label1.Caption := IntToStr(X);

end;

При выполнении этого примера будет выведено значение 255. Здесь мы сталкиваемся с тем, что все разряды значения Yбез дополнительных проверок копируются в X, но если Yинтерпретируется как знаковое число, то X— как беззнаковое, а числам 255 и -1 в восьмиразрядном представлении соответствует одна и та же комбинация битов.

Промежуточная переменная Yпонадобилась потому, что прямо присвоить переменной значение, выходящее за ее диапазон, компилятор не позволит — возникнет ошибка компиляции "Constant expression violates subrange bounds".

Строго говоря, в Delphi предусмотрена защита от подобного присваивания. Если включить опцию Range checking(включается в окне Project/Options...на закладке Compilerили директивой компилятора {$R+}или {$RANGECHECKS ON}), то при попытке присвоения X := Yвозникнет исключение ERangeError. Но по умолчанию эта опция отключена (для повышения производительности — дополнительные проверки требуют процессорного времени), поэтому программа без сообщений об ошибке выполняет такое неправильное присваивание.

В следующем примере (листинг 3.2, проект Assignment2 на компакт-диске) мы рассмотрим присваивание числу такого значения, которое не укладывается ни в знаковый, ни в беззнаковый диапазон.

procedure TForm1.Button1Click(Sender: TObject);

var

X: Byte;

Y: Word;

begin

Y := 1618;

X := Y;

Label1.Caption := IntToStr(X)

end;

На экране появится число 82. Разберемся, почему это происходит. Число 1618 в двоичной записи равно 00000110 01010010. При присваивании этого значения переменной Xстаршие восемь битов "некуда девать", поэтому они просто игнорируются. В результате в Хзаписывается число 01010010, т.е. 82.