🚀 go-pugleaf

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.

Bedoelt men niet de 'is-a '-relaties?
Ik vermoed dat men bedoelt, dat men aan een pointer (bv baseclass *Ptr) een
object van een derived class kan toewijzen.
bv baseclass *Ptr = new derived_object

Dit is toegelaten omdat een object van een derived class ook te beschouwen
is als een object van de baseclass. 
(baseclass == superclass && derived class == subclass)

> 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
> -          Doorgeven van parameters aan een boodschap.
> -          Teruggeven van een antwoord op een vraag.
> 
> Meer heb ik er niet over. Heb ook al gezocht op het internet, maar dit
> maakt me ook niet wijzer.
> Kan me dit aub iemand uitleggen in gewone woorden?
> Alvast bedankt.
> 
> Christian.

-- 
Blood, sweat & tears