🚀 go-pugleaf

Am 25. Okt. 1995 schrieb Bernd Eggink (admin@rzaix13.uni-hamburg.de):

> Eric Schmidt (e_schmid@informatik.uni-kl.de) wrote:

> >  Hallo, ich wuerde gerne wissen ob folgende Deklaration in C++ erlaubt ist :

> >  class A
> >  {
> >    template<class T1> virtual test(T1 *to) = 0;
> >  }

> >  class B : public A
> >  {
> >    template<class T1> test(T1 *to) {...........}
> >  }

> Ist nicht erlaubt. Nur nicht-virtuelle Memberfunktionen sind erlaubt.
> Grund: Es hinge vom Aufrufverhalten ab, ob fuer die Klasse A eine
> vtab erzeugt werden muss oder nicht. Der Compiler kann aber bei Anlage
> der Klasse A nicht voraussehen, ob die Funktion test jemals aufgerufen
> wird (dann waere die Klasse polymorph) oder nicht (dann wird die
> Funktion auch nicht generiert und die Klasse waere nicht poymorph).

Das ist noch kein Grund! Es kommt ja noch auf die Definition des
Begriffs "polymorph" an. Sinnvollerweise definiert man ihn so, daß jede
Klasse, die eine virtuelle Definition enthält, polymorph ist, unabhängig
davon, ob die Definition dann schließlich generiert wird. Nach dieser
Definition wäre die obige Klasse "A" dann polymorph.


Karl-Heinz Krause