Proceduralni jezici - FESB

Strukturalna ekvivalencija
Dva tipa su strukturalno ekvivalentna ako imaju istu definiciju članova strukture . Strukturalna ekvivalencija se označava s
S, a definira se na sljedeći način:
(a) T S T
(b) Za deklaraciju oblika
Type T = Q;
T S Q
ako T i Q su definirani pomoću istih konstruktora tipa i na isti način.
To znači da u prijašnjem primjeru
type PackerSalaries = int[100];
type AssemblySizes = int[100];
PackerSalaries salary;
AssemblySizes size;
salary S size
pošto su oba niza s 100=100 i int S int.
C i C++ u kontroli tipova koriste strukturalnu ekvivalenciju osim za strukture i klase, kod kojih se koristi ekvivalencija po
imenu. Kod nizova ignorira se veličina niza. Java koristi strukturalnu ekvivalenciju za skalarne tipove. Kod nizova
zahtijeva ekvivalenciju po imenu, bez obzira na veličinu niza. Za klase koristi ekvivalenciju po imenu osim što se moţe
koristiti podklasa na mjestu gdje je definirana klasa.
43