Rekordy 1

Definicja.

Typ strukturalny nazywamy typem

rekordowym, jeżeli zawiera pewną ilość
składowych, które mogą być różnych typów.

Dostęp do składowych zmiennej typu

rekordowego uzyskuje się przez podanie
nazwy zmiennej, po której piszemy kropkę i
następnie nazwę odpowiedniej składowej typu.
Taką formę zapisu nazywa się

wybraną

składową

(

selected component

).

Rekordy 2

W notacji EBNF mamy definicje:

record_type_definition ::= record

component_list

end record

component_list ::= component_declaration

{component_declaration}

component_declaration ::= component_identifier

: subtype_mark

subtype_mark :: type_name | subtype_name

selected_component ::=

record_variable.component_identifier

Rekordy 3

Słowniczek

Record type definition

– definicja typu

rekordowego

Component list

– lista składowych

Component declaration

– deklaracja składowej

Component identifier

– identyfikator składowej

Subtype mark

– oznaczenie typu

Selected component

– wybrana składowa

Rekordy 4

Przykład.

type Complex is

record
Re : Float;
Im : Float;
end record;

..
Liczba : Complex;
Liczba.Re := 0.0;
Liczba.Im := 1.0;

Rekordy 5

W ogólnym przypadku ilość operatorów

zdefiniowanych wstępnie dla typu rekordowego
jest ograniczona do dwóch operatorów
relacyjnych:

• operatora równości

=

• operatora nierówności /=

Definicja.

Dwa rekordy są równe jeżeli wszystkie

składowe w jednym rekordzie są równe
odpowiednim składowym w drugim rekordzie.

Nazwy składowych umieszczone na liście

składowych rekordu

muszą być unikalne

wewnątrz definicji typu rekordowego

.

Rekordy 6

Nadawanie wartości domyślnych przy definicji

rekordu

Nadawanie wartości domyślnych przy deklaracji

typu rekordowego jest

wyłącznie

własnością tych

typów. Inne typy i podtypy nie mają tej własności.

Agregaty rekordowe

Literały rekordowe nazywamy agregatami

rekordowymi.

Definicja.

Zespół wartości składowych rekordu

ujęty w nawiasy okrągłe nazywamy agregatem
rekordowym.

Rekordy 7

Przykład.

type Osoba is record
Pierwsze_Imie : String (1 .. 10) :=

(others => ' ');

Drugie_Imie : String (1 .. 10) :=

(others => ' ');

Nazwisko : String (1 .. 20) := (others

=> ' ');

end record;
Student : Osoba;

Rekordy 8

Student := (Pierwsze_Imie => "Anna ",

Drugie_Imie => "Maria ",
Nazwisko => "Zdolna ");

Ten agregat rekordowy jest agregatem, w

którym wartości są

związane przez nazwę

z

odpowiednimi składowymi rekordu. W tym
przypadku mówimy o

agregacie nazywanym

.

W takim agregacie kolejność nadawania
wartości składowym rekordu

nie musi

być

taka sama jak w definicji typu rekordowego.

Rekordy 9

Drugi rodzaj agregatu nosi nazwę

agregatu

pozycyjnego

.

Student := ("Anna ",

"Maria ",
"Zdolna ");

W tym przypadku

musi

być taka sama kolejność

nadawania wartości jak w definicji typu
rekordowego.

Program.

Rekordy

Rekordy 10

Literatura podstawowa

Morawski, M., A. M. Zajączkowski.

(2003).
Wstęp do programowania w języku
Ada’95. Rozdział 5.3.