Templateparameter einbuchstabig benennen und dann typedefen?

[Eisflamme]

Hi,

Wieso schreibt man template<class T, class U>, um dann T und U doch nur wieder zu typedefen? Ein Vorteil ist wohl, dass man bei einer Klasse jederzeit über den Scopeoperator nochmal den Typ abfragen kann. Aber gibt es noch andere?

Und was mache ich, wenn ein Templateparameter typisiert ist, also z.B. int X. Kann ich dann static const int WieAuchImmerDasHeissenSoll = X; machen oder was empfiehlt ihr da?

Wieder so ne Miniaturfrage, aber ich hoffe, das ist ok.

Viele Grüße
Eis

[drakon]

Das mit dem typedef kannst du noch brauchen, wenn du dich nicht zu fest an den Parameter binden willst. Also wenn du z.B eine Implementierung hast, welche zuerstmal einfach direkt den Parameter nimmt, aber später vielleicht mit einem anderen Typen, der den Parametertypen wrappt, ersetzen willst.
Es schafft eine weitere Indirektion, welche ab und zu hilfreich sein kann.

Den typisierten Parameter kannst du dann ganz normal wie eine konstante Variable benutzen und zuweisen wie du willst.

[Michael E.]

Mach Folgendes mal ohne typedef:

template<class T>
struct vector
{
    typedef T ElementType;
};

cout << vector<int>::ElementType;

[drakon]

Eisflamme schrieb:

Ein Vorteil ist wohl, dass man bei einer Klasse jederzeit über den Scopeoperator nochmal den Typ abfragen kann. Aber gibt es noch andere?

...

[Nexus]

Michael E. schrieb:

Mach Folgendes mal ohne typedef:

template<class T>
struct vector
{
    typedef T ElementType;
};

cout << vector<int>::ElementType;

Externe Type-Traits:

template <class Container>
struct ElementType;

template <typename T>
struct ElementType< vector<T> >
{
    typedef T Type;
};

Ist vor allem geeignet als Workaround für Designs wie hier.

[rüdiger]

Man kann ja Templateparameter sinnvoll benennen und trotzdem typedefen

typename<typename Foo, typename Bar>
struct xy {
  typedef Foo foo_type;
  typedef Bar bar_type;
};

oä

[hustbaer]

Ich denke es macht besonders bei Spezialisierungen Sinn:

template <class T> struct Foo
{
	typedef T Bar;
	Bar DoSomething();
};

template <class T> struct Foo<std::vector<T> >
{
	typedef std::vector<T> Bar;
	Bar DoSomething(); // ohne typedef müsste man hier T zu std::vector<T> ändern
};

[Michael E.]

Nexus schrieb:

Michael E. schrieb:

Mach Folgendes mal ohne typedef:

template<class T>
struct vector
{
    typedef T ElementType;
};

cout << vector<int>::ElementType;

Externe Type-Traits:

template <class Container>
struct ElementType;

template <typename T>
struct ElementType< vector<T> >
{
    typedef T Type;
};

Naja, ohne Typedef Aber richtig, in der eigentlichen Klasse ist kein Typedef mehr

[Nexus]

Michael E. schrieb:

Naja, ohne Typedef

Wenn du mir so kommst... Nimm das! :p

int

[Eisflamme]

Okay, ich verstehe. Dankeschoen!