Pok-12-wyk-Slajd18
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Wyrażenia określające typy – typ rekordowy
Rekordy to struktury danych zawierające jedno lub więcej pól (które w odróżnieniu od produkcji – mają nazwy), każde pole ma określony typ.
Z technicznego punktu widzenia nazwy pól powinny być elementami konstruktora, ale łatwiej jest je przechowywać razem z powiązanymi z nimi typami.
Istnieją języki (np. MASM), które pozwalają używać pól anonimowych (bez nazwy), do których nie można się odwołać, a służą one do rezerwacji pamięci lub wyrównywania rozłożenia w pamięci innych pól.
W przykładzie przedstawiono deklarację typu rekordowego r1, który zawiera dwa pola. Nowe wyrażenie określające typ będzie więc iloczynem kartezjańskim dwóch iloczynów kartezjańskich poszczególnych nazw pól rekordu i ich typów.