Datatype: verschil tussen versies

Een type ''foo'' kan bijvoorbeeld worden gedefinieerd als ''int'':

 

typedef int foo;

 

Dit is geen primitief type, omdat het door de gebruiker is gedefinieerd, maar het is wel een enkelvoudig (''simple'') type.

Dat wil zeggen: de typen 'record', 'structs' en 'tupel' zijn het[[cartesisch product]] van hun samenstellende typen. Neem het volgende Pascal-fragment:

 

type

t = record

b: char

end;

 

Een variabele van type <code>t</code> kan alle waarden aannemen die bestaan uit een <code>integer</code> gevolgd door een <code>char</code>. Elk van deze waarden kan beschreven worden door een tupel <math>(x,y)</math> waarin <math>x</math> een integer is en <math>y</math> een char. Het verschil tussen records en structures enerzijds en tupels anderzijds, is dat bij de eerste de samenstellende waarden kunnen worden aangeduid met een naam. De samenstellende delen van tupels worden aangeduid met hun positie.

Wat als we twee typen definiëren die uit dezelfde samenstellende delen bestaan, zoals in onderstaand Pascal fragment?

 

type

t1 = record

b2: char

end;

 

Er zijn nu 2 typen gedefinieerd, die beide uit een tupel van een integer en char bestaan. Dat wil zeggen: voor iedere <math>(x,y)</math> waarvoor geldt <math>(x,y) \in T_1</math>, geldt ook <math>(x,y) \in T_2</math>. De typen <code>t1</code> en <code>t2</code> zijn ''structureel equivalent''. Toch staan niet alle talen het toe dat twee structureel equivalente typen door elkaar gebruikt worden. Het volgende Pascal-fragment zal een error opleveren:

 

var

v1, v2: t1;

v3 := v1;

end.

 

De reden hiervan is dat Pascal gebruikmaakt van ''name equivalence''.