🚀 go-pugleaf

LuWi <no@mail.com> wrote in message news:<5s8tdu8c6coe90esj0lvfuo0m3d0bammnt@4ax.com>...

> Dan moet je mij toch eens uitleggen hoe je polymorfisme en overerving

> doet in c :-)



er is 1 groot probleem (onvolkomenheid?) in C om dit op een perfect
vergelijkbare manier als in C++ te doen, nl: als je een pointer to
<type> hebt, kan je er niet een pointer to <struct containing a member
of type <type>> van maken (zover ik weet gaat dat in ansi C toch niet,
vertel het me als je een manier weet (zonder undefined behaviour plz
:-)).



stel je hebt dus een struct A en een struct B en je wil de situatie
"class B is een afgeleide van class A" nadoen. voor late binding heb
je dan dus een soort pointer nodig waarvan je zowel "pointer to struct
A" als "pointer to struct B" van kan maken. de manier die mij nog het
beste lijkt is om een extra struct te maken:



struct A_en_al_zijn_afgeleiden_gemeenschappelijk {

  void *object;

  struct vtable_voor_A vtable;

};



een aanroep van de "class A"-functie blabla werkt dan als volgt:



AofBpointer->vtable->blabla(AofBpointer/*->object*/, ...);



(AofBpointer is een (struct A_en_al_zijn_afgeleiden_gemeenschappelijk
*))



blabla moet dit dan ofwel naar (struct B *) ofwel naar (struct A *)
casten, afhankelijk van over welk run-time type het hier gaat (en dat
is dus bepaald door de creatie (dmv een "constructor") van het
"object", die de vtable moet initialiseren)



stel je had de pointer-operatie die ik in het begin vermelde dan kan
dit op een veel logischere manier (nl _perfect_ de manier waarop dit
in de meeste compilers bij C++ gebeurt) gekund.



overtuigd dat polymorphisme en evererving mogelijk zijn in C ? :-)



-- 

Nicolas Barbier

de niet-C++-gebruiker :-) (meestal toch niet)