Frage zu C++ Templates.

[Malagant]

Was macht folgender Codeausschnitt?

template<typename T> 
typename T::ElementT at (T const& a, int i) 
{ 
    return a[i]; 
} 

void f (int* p) 
{ 
    int x = at(p, 7); 
}

Die generelle Funktionsweise von Templates ist mir klar, aber Zeile 2 überfordert mich etwas. Wäre nett, wenn jemand mal ausformulieren könnte, was dort eigentlich steht.

 

[Whcttyh]

T ist irgendein container, welcher elemente vom typ T::ElementT enthält. at liefert so eins zurück.

 

[RRA^StArFiRe]

für "ElementT" fehlt dir aber noch ne typedef oder struct oder sowas, oder?

ach nee, is ja typename... hm obwohl, das bezieht sich doch aber nur aufs T x_X

 

[Malagant]

Der Code-Ausschnitt stammt aus dem Buch "C++ Templates: The Complete Guide" von David Vandevoorde und Nicolai M. Josuttis.

Das Problem laut den Autoren ist, daß T zu int* aufgelöst wird, wodurch im Rückgabetyp T::ElementT das T ebenfalls durch int* ersetzt wird, was dann kein C++-konformer Code mehr sein soll.

Soweit sehe ich das ja noch ein, aber wo kommt das ElementT überhaupt her, und was macht der typename davor?

 

[MegaVolt]

ElementT müsste vorher deklariert werden (in der Klasse T, da über T::ElementT darauf zugegriffen wird)
Die Methode geht dann davon aus, dass T im wesentlichen ein array ist, auf dessen i-te Stelle dann zugegriffen wird.

 

[ViperDK]

ist jetzt zugegebenermassen etwas ot aber kennt der aktuelle c++ standard etwas vergleichbares wie die "where" bedingung bei C# generics? laenger kein c++ mehr angefasst

also in c# kann ich sagen ich will ne generische klasse und der typ T muss einen default constructor haben und nen interface implementieren... was so aussieht

public interface ICanDoShit
{
   void DoShit();
}

public class MyGenericClass<T> 
    where T : ICanDoShit, new()
{
    public T CreateSome()
    {
        T t = new T();
        t.DoShit();
        return t;
    }
}

 

[Whcttyh]

Soweit sehe ich das ja noch ein, aber wo kommt das ElementT überhaupt her, und was macht der typename davor?

ElementT dürfte irgendein typedef sein, welches in der klasse steht, von der du ein objekt an at übergibst. typename ist notwendig, weil der compiler nicht weiss, dass das ein typ ist.

 

[The_Company]

Sind Templates nicht nur glorifiziertes Copy/Paste mit suchen/ersetzen?
Also alle "T" werden durch den Typen des ersten Parameters ersetzt und fertig.

Wie C Macros halt, nur ein bisschen skilliger.

 

[MegaVolt]

Original geschrieben von The_Company
Sind Templates nicht nur glorifiziertes Copy/Paste mit suchen/ersetzen?
Also alle "T" werden durch den Typen des ersten Parameters ersetzt und fertig.

Wie C Macros halt, nur ein bisschen skilliger.

genau skilliger halt
VIEL skilliger