[Prog] Comp-eigenschappen: gevaar//// versoepeling type-chec

[Krikke]

1.Zijn er compatibiliteitseigenschappen die potentieel "gevaarlijk" zijn, dus onverwachte resultaten kunnen opleveren? Zo ja, geef van elk mogelijk gevaar een voorbeeld.

2.Compatibiliteitsregels geven soms aanleiding tot "versoepeling" van de type-checking. Som zo volledig mogelijk de in Oberon aanwezige compatibiliteitsregels op, en geef aan waarom de "versoepeling" nuttig of belangrijk is.

Any idea?

Zijn toch ook wel belangrijke vrage

vooral 2, wa moet ge daar allemaal geve?...

[Arutha]

Die van pointer extensies en record extensies zeker.
Normaal kunde zoiets ni aan elkaar gelijk stelle nu wel.
U basis en extensie hebben compleet andere type specificaties en toch mag da wel. 't geeft fameus wa flexibiliteit na OO toe.
Polymorfisme is daar op gebouwd volges mij

[Yo_rik]

Zo'n gevaarlijke regel is de type-inclusie: ge kunt een LONGINT toekennen aan een REAL, hierbij kan veel nauwkeurigheid verloren gaan.

[EagleEye812]

Da weet ik niet :p maar in de cursus staat wel iets fout/onvolledig bij de compatibiliteitsregels van expressies

die tabel van operators:

+ - * numeric numeric smallest numeric type including both operands
/ numeric numeric smallest real type including both operands

+ - * numeric numeric smallest numeric type including both operands
/ numeric numeric smallest numeric type including both operands

da moet dan real zijn e

[Krikke]

bij deling?
/

als ge 4/2 doet krijgt ge toch gwn shortint? (of was't iets anders da ge bedoelde? )

[EagleEye812]

bij deling?
/

als ge 4/2 doet krijgt ge toch gwn shortint? (of was't iets anders da ge bedoelde? )

nope, da wordt een real

Code: Select all

	PROCEDURE Test*;
		VAR
			a: INTEGER;
	BEGIN
		a := 4 / 2;
	END Test;

pos 248 err 113 incompatible assignment

[j0lle]

Laten we dit even verder verduidelijken met een paar een-
voudige voorbeelden. Veronderstel:
s: SHORTINT;
i: INTEGER;
l: LONGINT;
r: REAL;
lr: LONGREAL;
dan krijgen volgende uitdrukkingen het weergegeven type:

l MOD s LONGINT
1.0 / s REAL
i - lr LONGREAL
i * r REAL
r DIV i COMPILATIEFOUT!
1 / lr LONGREAL

[Krikke]

1.0 / s REAL

owki
thx, sweer een extra vraag die em WEL mag stelle

[EagleEye812]

Dit is inderdaad de tabel da ge moet leren (uit report.text)

In dit tabelleke staan keiveel fouten in de cursus.