Ada (798525), страница 10
Текст из файла (страница 10)
Например:Expensive_Bike: Bicycle;Expensive_Bike.FrameExpensive_Bike.ManufacturerExpensive_Bike.Front_BrakeExpensive_Bike.Rear_Brake:=:=:=:=Aluminium;Cannondale;Cantilever;Cantilever;if Expensive_Bike.Frame = Aluminium then ...Это идентично организации доступа к полям записи в таких языках программирования какПаскаль или Си.5.1.4 Агрегаты для записейТак же как и в случае массива, все множество значений элементов записи может присваиваться спомощью агрегата.
При этом агрегат должен предоставлять значения для всех компонентовзаписи даже в случаях когда некоторые компоненты обеспечены значениями по-умолчанию. Длязаписей различают агрегаты использующие позиционную, именованную и смешаннуюнотацию.Примером использования позиционного агрегата может служить следующее:Expensive_Bike := (Aluminium, Cannondale, Cantilever, Cantilever);При позиционной нотации порядок следования присваиваемых значений в агрегатесоответствует порядку следования полей в описании типа записи.Альтернативно позиционной нотации, показанной выше, для присваивания таких же значенийполям переменной Expensive_Bike можно применить агрегат использующий именованнуюнотацию.
В этом случае поля записи могут перечисляться в произвольном порядке:Expensive_Bike := (Rear_Brake => CantileverFront_Brake => Cantilever,Manufacturer => Cannondale,Frame=> Aluminium,);Для записей допускается смешивать в одном агрегате оба варианта нотации. При этом всепозиционные значения должны предшествовать именованным значениям. Такой вариантнотации будет смешанным.Также как и в случае агрегатов для массивов, в агрегатах для записей допускаетсяиспользование опции others. При этом, для опции others должен быть представлен хотя быодин компонент, а в случае когда для опции others предоставляется более одного компонента,все компоненты должны иметь один и тот же тип.Агрегаты являются удобным средством указания значений полей при описании переменных иконстант:Expensive_Bike :Bicycle := (Aluminium, Cannondale, Cantilever, Cantilever);Одинаковые значения могут присваиваться разным полям записи при использовании символа '|'.Expensive_Bike := (Frame=> Aluminium,Manufacturer=> Cannondale,Front_Brake | Rear_Brake => Cantilever);В заключение обсуждения применения агрегатов для записей рассмотрим следующийобобщающий пример:type SummaryisrecordField_1 : Boolean;Field_2 : Float;Field_3 : Integer;Field_4 : Integer;end record;Variable_1Variable_2: Summary := (True, 10.0, 1, 1);: Summary := (-- позиционная нотация-- именованная нотацияField_4 => 1Field_3 => 1,Field_2 => 10.0,Field_1 => TrueVariable_2);: Summary := (-- смешанная нотацияTrue, 10.0,Field_4 => 1,Field_3 => 1);-------------------------- использование символа '|'Variable_4 : Summary := (True, 10.0,Field_3|Field_4 => 1Variable_5);: Summary := (Field_1 => True,Field_2 => 10.0,Field_3|Field_4 => 1);-------------------------- использование othersVariable_6 : Summary := (True, 10.0, others => 1);Variable_7 : Summary := (Field_1 => True,Field_2 => 10.0,others => 1);5.1.5 Записи-константыЗаписи-константы могут быть созданы также как и обычные переменные.
В этом случаезначения всех полей записи должны быть инициализированы с помощью агрегата или значенийопределенных по-умолчанию.My_Bicycle : constant Bicycle := ( Hi_Tensile_Steel,Unknown,Front_Brake => Side_Pull,Rear_Brake=> Side_Pull );Присваивать новые значения полям записи-константы или самой записи-константе нельзя.Необходимо также заметить, что отдельные поля записи не могут быть описаны как константы.5.1.6 Лимитированные записиТип записи может быть описан как лимитированная запись.
В качестве примера, рассмотримследующие описания:typePersonislimitedrecordName: String(1..Max_Chs); -- строка имениHeight : Height_Cm := 0;Sex: Gender;-- рост в сантиметрах-- полend record;Mike: Person;Corrina : Person;В случае, когда тип записи является лимитированной записью, компилятор не позволяетвыполнять присваивание и сравнение экземпляров этого типа записи....Mike:= Corrina;-- ОШИБКА КОМПИЛЯЦИИ!!!-- для лимитированных записей присваивание запрещено...ifCorrina = Mikethen-- ОШИБКА КОМПИЛЯЦИИ!!!-- для лимитированных записей сравнение запрещеноPut_Line("This is strange");end if;.
. .В результате, при компиляции показанного выше кода, будут выдаваться сообщения об ошибкекомпиляции.5.2 Вложенные структурыВ качестве компонентов записи можно использовать составные типы. Например, полем записиможет быть массив или какая-либо другая запись. Таким образом, Ада предоставляетвозможность построения описаний сложных структур данных. Однако, описания таких структурданных обладают некоторыми характерными особенностями на которые необходимо обратитьвнимание.5.2.1 Поля типа массивВ случаях когда какой-либо компонент записи необходимо описать как массив необходимоучесть, что такой компонент не может быть указан как анонимный массив. Это означает, что типмассива для такого компонента записи должен быть предварительно описан.typeIllegal isrecordSimple_Field_1: Boolean;Simple_Field_2: Integer;Array_Field : array (1..10) of Float; -- использование-- анонимного массива-- ЗАПРЕЩЕНО!!!end record;typeSome_Arrayis array (1..10) of Float;-- предварительно описанный-- тип массиваtypeLegal isrecordSimple_Field_1: Boolean;Simple_Field_2: Integer;Array_Field : Some_Array;-- компонент предварительно-- описанного типа массивend record;Также следует учесть, что в качестве компонентов записей не допускается использованиенеограниченных массивов.
Рассмотрим следующий пример:typeSome_Arrayis array (Integer range <>) of Float; -- неограниченныйtypeSome_Record is-- массивrecordField_1: Boolean;Field_2: Integer;Field_3: Some_Array (1..10); -- описание компонента записи-- задает ограничение индексаend record;Здесь, тип Some_Array - это неограниченный массив.
Поэтому, при описании поля Field_3записи Some_Record указывается ограничение значений индекса для массива - (1..10).После этого, компонент Field_3 становится ограниченным массивом.Для доступа к индивидуальному компоненту поля Field_3 какой-либо переменной типаSome_Record можно использовать:. .
.Some_Var : Some_Record;. . .Some_Var.Field_3(1) := 1;Для инициализации всех значений какой-либо переменной типа Some_Record можноиспользовать агрегаты. В качестве демонстрации, приведем несколько примеров.Some_Var_1 :Some_Var_2 :Some_Record := (False, 0, (1, 2, 3, 4, 5, 6, 7, 8, 9, 10));Some_Record := (Field_1 => False,Field_2 => 0,Field_3 => (1, 2, 3, 4, 5, 6, 7, 8, 9, 10));Some_Var_3 :Some_Record := (Field_1 => True,Field_2 => 10,Field_3 => (others => 0));Из приведенных примеров видно, что для инициализации простых полей Field_1 и Field_2записей Some_Var_1, Some_Var_2, Some_Var_3 типа Some_Record используютсяобычные литералы соответствующего типа, а для инициализации поля Field_3, котороеявляется массивом, используется агрегат массива.
Таким образом, для инициализации подобныхструктур необходимо использовать вложенные агрегаты.5.2.2 Поля записей типа StringЧастным случаем использования массивов в качестве компонентов записей являются строкиString. Тип String, по сути, является предопределенным неограниченным массивомсимволов, поэтому для строк, при описании полей записи, допускается как предварительноеописание какого-либо строкового типа или подтипа, так и непосредственное использование типаString.
Например:typeName_Stringsubtype Address_StringtypePersonis new String(1..10);is String(1..20);isrecordFirst_Name: Name_String;Last_Name : Name_String;Address : Address_String;Phone: String(1..15);end record;В приведенном выше примере описания типа записи Person, для описания полейFirst_Name и Last_Name используется самостоятельный строковый тип Name_String,производный от типа String. Для описания поля Address, используется подтипAddress_String. Следует заметить, что тип Name_String и подтип Address_String, обаописывают ограниченные строки (или массивы символов).
При описании поля Phoneнепосредственно использован тип String. В этом случае, для типа String, указываетсяограничение для значений индекса - (1..15).Для строковых полей, вместо агрегатов массива допускается использование строковыхлитералов. Например:Chief : Person := (First_Name => "Matroskin ",Last_Name => "Kot",Address=> "ProstokvashinoPhone=> "8-9-222-333",");5.2.3 Вложенные записиБывают случаи, когда компонент записи сам является записью, или, говоря иначе, требуетсяиспользование вложенных записей.
Например:typePoint is recordX : Integer;Y : Integer;end recordtype Rect is recordLeft_Hight_Corner : Point;Right_Low_Corner : Point;end recordP : Point := (100, 100);R : Rect;В этом случае, доступ к полям переменной R типа Rect может быть выполнен следующимобразом:R.Left_Hight_Corner.X := 0;R.Left_Hight_Corner.Y := 0;R.Right_Low_Corner := P;Для указания всех значений можно использовать агрегаты.R_1 : Rect := ( (0, 0), (100, 100) );R_2 : Rect := (Left_Hight_Corner => (Y => 0, X => 0),Right_Low_Corner => (100, 100));Как видно из приведенных примеров, здесь используются вложенные агрегаты.5.3 ДискриминантыОсобенность всех ранее рассмотренных записей в том, что они всегда имеют строгоопределенные структуры.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
