🚀 go-pugleaf

"Serve La." wrote:
> 
> "Sjoerd Schreuder" <sa_schreuder@wanadoo.nl> wrote in message
> news:3C738757.357F8C3C@wanadoo.nl...
> > Maar laat ik het simpel houden: ik beweer dat C++ net zo optimaliseerbaar
> > is als C. Jij zegt van niet. Kun je een tegenvoorbeeld geven waar een
> > C++ compiler minder kan optimaliseren dan een C compiler?
> 
> Ik weet er wel een. In het gebruik van polymorphing over meerdere functies.
> 
> class B, C en D erven van A en je hebt een aantal functies void f1(A *a),
> void f2(A *a), void fn(A *a).

Hier krijg ik al mijn bedenkingen: C heeft geen inheritance, dus hoe kan
een C compiler dat ooit optimaliseren? Hooguit kun je het nabouwen in C...

> Het is voor een compiler heel moeilijk om daar tijdens compile time op te
> optimaliseren en niet telkens die vtbl weer opnieuw te laden (bv).
> In gewoon C zou je met een tag kunnen werken of zo, maar in ieder geval
> kunnen dan wel al statisch alle codepaden achterhaald worden.

In C++ kun je toch ook met zo'n tag werken?

Overigens, als het statisch achterhaald kan worden, kun je in C++ met
templates gaan werken. Templates geven ook de gelegenheid alles
compile-time te optimaliseren.

> Ik hoop dat ik een beetje duidelijk ben.....er is trouwens inmiddels
> succesvol onderzoek gedaan naar het optimaliseren van polymorphing, het heet
> type inference (misschien al van gehoord). De taal ML past het al toe in de
> praktijk

Meestal zijn die optimalisaties gebaseerd op full source analyses,
want je moet wel kunnen afleiden wat alle mogelijke subtypen zijn.
Helaas maakt het gebruikelijke C en C++ model dat heel lastig en zie
je het nog nauwelijks. IBM's Visual Age heeft wel een afwijkend model
(alle code in een database), maar ik heb er nog niet mee kunnen werken
dus dat is puur 'van-horen-zeggen'.

Maar goed om te weten dat er nog steeds onderzoek in die richting
wordt gedaan.

> Op deze link is meer te vinden (heel veel pagina's zijn wel weg, maar
> sommige werken nog)
> http://cui.unige.ch/OSG/research/Hop/types.html

Sjoerd Schreuder