3.1.5. Неявное преобразование в цикле for

3.1.5. Неявное преобразование в цикле for

Рассмотрим программу (пример ForRange на компакт-диске), на форме которой находятся кнопка и панель, причем кнопка (это важно!) — не на панели, а на форме, а на панели нет никаких компонентов. Обработчик нажатия на кнопку выглядит следующим образом (листинг 3.8).

Листинг 3.8. Обработчик нажатия кнопки

procedure TForm1.Button1Click(Sender: TObject);

var

 I: Cardinal;

begin

 for I:= 0 to Panel1.ControlCount — 1 do

 Panel1.Controls[I].Tag:= 1;

end;

На первый взгляд кажется, что при нажатии на кнопку ничего не должно происходить, т. к. на панели никаких визуальных компонентов нет, и цикл for не должен выполниться ни разу. Тем не менее нажатие на кнопку вызывает исключение Access violation.

При нулевом количестве компонентов на панели выражение Panel1.ControlCount — 1 должно давать значение -1. Но поскольку переменная цикла имеет тип Сardinal, эта комбинация битов интерпретируется как 4 294 967 295, верхняя граница оказывается больше нижней, и цикл начинает выполняться, обращаясь к несуществующим элементам управления. Отсюда и ошибка.

Ошибка исчезнет, если тип переменной I изменить на Integer — в этом случае верхняя граница цикла получит корректное значение -1, и цикл действительно не выполнится ни разу. Если на панели будет находиться хотя бы один компонент, ошибки тоже не будет, потому что верхняя граница цикла не выйдет из диапазона неотрицательных чисел.

Получается, что в ситуации, когда использование беззнакового типа кажется вполне безобидным (действительно, индексы списка не могут быть отрицательными), нас подстерегает "подводный камень", связанный с тем. что верхняя граница цикла может оказаться отрицательной и будет неявно приведена к большому положительному числу. Поэтому в цикле предпочтительнее переменная знакового типа Integer, а если по каким-то причинам приходится использовать переменную типа Cardinal, то необходимо внимательно следить за тем, какие значения принимают границы типа.

Примечание

Строго говоря, аналогичная проблема может возникнуть и со знаковыми типами, если границы цикла for переходят допустимый диапазон этих чисел, просто циклы, переменная которых принимает значения вблизи границ диапазона типа Integer, встречаются гораздо реже.