Pok-12-wyk-Slajd14
Wyrażenia określające typy - nazwy typów
Kolejnym wyrażeniem określającym typ jest nazwa typu. Większość współczesnych języków imperatywnych pozwala nadawać nazwy wyrażeniom określającym typ. Co za tym idzie nazwa typu jest również wyrażeniem określającym typ.
Konsekwencje zdefiniowania nowego typu zależą jednak od systemu typów danego języka (a czasami nawet od konkretnej implementacji). W przypadku języków takich, jak Pascal czy Ada poprawność posługiwania się nowo zdefiniowanym typem jest kontrolowana.
W przypadku języka C definicja nowego typu wprowadza tylko synonim dla któregoś z typów podstawowych i nie wynika z tego żadna istotna kontrola typów.
Korzystając z przedstawionego przykładu można zdefiniować zmienną wyliczeniową typu Colour :
enum Colour c;
a następnie przypisać do niej dowolną arbitralną wartość całkowitą – np. 15 !
co wynika z faktu, że w języku C typ wyliczeniowy jest po prostu synonimem typu całkowitego, a etykiety w deklaracji – stałymi.
