Ада-95. Компилятор GNAT



         

"Сюрпризы" численных типов


Достаточно часто распространены случаи, когда программист, который только начинает знакомиться с языком программирования Ада, попадается в ловушку численных типов.

Рассмотрим следующий пример программы:

with Ada.Text_IO;

procedure Numeric is

type My_Integer_Type is new Integer range 1..5;

My_Integer_Variable : My_Integer_Type := 2; Standard_Integer_Variable : Integer := 2; Result_Variable : Integer;

begin

Result_Variable := Standard_Integer_Variable * My_Integer_Variable;

Ada.Text_IO.Put_Line ("Result_Variable = " & Result_Variable'Img); end Numeric;

Хотя на первый взгляд все выглядит достаточно логично, данная программа компилироваться не будет.

Причиной ошибки будет тип My_Integer_Type, или точнее - отсутствие описания знака операции умножения "*", который одновременно воспринимает левый операнд, стандартного целочисленного типа Integer, и правый операнд, целочисленного типа My_Integer_Type.

Такое поведение компилятора Ады продиктовано требованиями строгой именной эквивалентности типов.

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

Вполне естественно, что подобный вариант решения проблемы малопривлекателен, а подобная строгость типизации может показаться чрезмерной даже приверженцам языка Паскаль.

Следует заметить, что существует альтернативный вариант, который гораздо проще и удобнее.

Следует описать My_Integer_Type не как тип, производный от типа Integer, а как подтип типа Integer с ограниченным диапазоном значений.

После таких изменений наш пример программы будет иметь слудующий вид:

with Ada.Text_IO;

procedure Numeric is

subtype My_Integer_Type is Integer range 1..5;

My_Integer_Variable : My_Integer_Type := 2; Standard_Integer_Variable : Integer := 2; Result_Variable : Integer;

begin

Result_Variable := Standard_Integer_Variable * My_Integer_Variable;

Ada.Text_IO.Put_Line ("Result_Variable = " & Result_Variable'Img); end Numeric;

В данном случае процедура Numeric будет успешно откомпилирована компилятором.




Содержание  Назад  Вперед