🚀 go-pugleaf

Matthias Werner wrote:
> 
> hi,
> 
> ich kam in eine Situation, in der es mir guenstig erschien, eine
> Memberfunction zu schreiben, die fuer alle moeglichen verschiedene Argumente
> jeweils aehnlichen Code besitzt, also:
> 
> class X {
> ...
>  X& f(int);
>  X& f(double);
>  X& f(void*);
> ...
> };
> 
> wobei die Implementationen von X::f jeweils nur geringfuegig voneinander
> abweichen.
> MMN wuerde eine elegante (und typensiche) Implementation darin bestehen,
> dass f als Funktionstemplate deklariert wird.
> Wuerde f global sein, so waere dies kein Problem.
> 
> template <class I> X& f(I i);
> 
> Jedoch geben meine Compiler (gcc 2.5.8 und BC 3.1) Fehlermeldungen
> an beim Versuch
> 
> class X {
> ...
>  template <class I> X& f(I);
> ...
> };
> 
> zu deklarieren.
> Warum ist dies nicht moeglich? Diese Moeglichkeit wird bei Stroustrup
> zumindest nicht explizit ausgeschlossen.
> Ein Klassentemplate wuerde auch mir viele Klassen mit jeweils einer
> Memberfunktion liefern, anstatt eine Klasse, deren Memberfunktion
> fuer verschiedene Typen ueberladen wird.
> Habe ich etwas am Template-Konzept falsch verstanden?
> 

Nein,
sogenannte 'member-templates' sind im zukuenftigen Standard
enthalten (Auch wenn Dir das momentan wenig helfen wird ...)

	Enno