🚀 go-pugleaf

On Mon, 29 Sep 2003 11:07:47 +0200, Christian R wrote:

> Dag iedereen,
> 
> Ik moet hier voor school een stuk cursus leren dat gaat over de
> Generalisatierelatie en het Liskov substitutie principe (LSP), maar ik
> snap het niet zo goed.
> Een bepaald stuk schrijft hier:
> Het Liskov substitutie principe voor instanties, stelt dat overal waar
> we een instantie van een superklasse kunnen gebruiken, we eveneens een
> instantie van een subklasse zouden kunnen gebruiken. Anders gezegd: een
> subklasse moet minstens de interface(s) van zijn superklasse(n)
> ondersteunen.
> Dit stukje begrijp ik heel goed. Eronder staat geschreven: We hebben
> eerder gezien dat een object steeds een (directe) instantie is van zijn
> voorbrengende klasse.
> Dit is iets wat ik denk te snappen. Maar wat ik maar niet kan snappen is
> het volgende:
> Door het LSP kunnen we een object echter ook als een (indirecte)
> instantie van alle superklassen van deze voortbrengende klasse
> beschouwen.

Stel we hebben een klasse A, daarvan afgeleid een klasse B, en daar nog
eens van afgeleid een klasse C. c is een object, een directe instantie
van klasse C. Dan is c ook een indirecte instantie van klassen B en A.

> Ook snap ik niet wat de toekenningen willen zeggen, dit zegt
> me: Het LSP is belangrijk bij toekenningen, waarvan er drie vormen
> bestaan.
> - Eenvoudige toekenning: LValue = RValue

Twee objecten a en b, je kent de waarde van a toe aan b. b = a in C++.

> - Doorgeven van parameters aan een boodschap.

In C++: object->func(a)

> - Teruggeven van een antwoord op een vraag.

Weerom in C++: b = object->func(a)



-- 
"Codito ergo sum"
Roel Schroeven