3. Zeiger Template Methode / qsort

Zeiger Template Methode / qsort

  • Administrator

    Kronos_m schrieb:

    Gibt es eine Möglichkeit abzufragen, welcher Datentyp an ein template<class T> übergeben wurde. Sprich, um was für einen Datentypen handelt es sich bei 'T' und kann ich darauf prüfen mit einer if-Abrfage z.B.?

    Kommt ganz darauf an, was du erreichen möchtest. Es geht zur Laufzeit und zur Kompilezeit. Zur Kompilezeit wäre natürlich vorzuziehen, da es dann nicht die Performance des Programmes beeinflusst.

    Grüssli

    0
  • K

    Dravere schrieb:

    Es geht zur Laufzeit und zur Kompilezeit

    Zur Kompilezeit reicht aus, denke ich! Wie kann ich das umsetzen?

    0
  • Administrator

    Kronos_m schrieb:

    Zur Kompilezeit reicht aus, denke ich! Wie kann ich das umsetzen?

    Ich hätte gerne noch den Grund gewusst, bei solchen Sachen ist das immer wichtig, da die Leute schnell zu viele Unterscheidungen einbauen, was am Ende eher hinderlich ist. Aber gut, zum Beispiel beim Funktor für die Sortierung, kannst du das einfach durch Überladung machen:

    struct MySort
{
  template<typename T>
  bool operator ()(T const& lhs, T const& rhs)
  {
    return lhs < rhs;
  }

  // Überladung:
  bool operator ()(MyClass const& lhs, MyClass const& rhs)
  {
    return lhs.compare(rhs) < 0;
  }
};

    Es gibt noch andere Möglichkeiten, es kommt eben ganz darauf an, was du machen möchtest 😉

    Grüssli

    0
  • K

    Ja, danke 🙂

    Ich denke Überladen ist da wohl die passende Lösung.
    Hatte erst an etwas abstrakteres gedacht:

    if ( T = int ) { ... }

    Aber das geht vermutlich nicht, nehme ich an 🙄

    Es geht wie du schon erkannt haben wirst immer noch um die Sortierfunktion.

    Danke 👍

    0
  • K

    Hab noch was vergessen:

    Dravere schrieb:

    struct MySort
{
  template<typename T>
  bool operator ()(T const& lhs, T const& rhs)
  {
    return lhs < rhs;
  }

  // Überladung:
  bool operator ()(MyClass const& lhs, MyClass const& rhs)
  {
    return lhs.compare(rhs) < 0;
  }
};

    Es gibt noch andere Möglichkeiten, es kommt eben ganz darauf an, was du machen möchtest 😉

    Wenn er den Funktor aufruft. Woher weiß er denn, dass er z.B. die Überladung mit MyClass aufrufen muss? Schließlich könnte er doch auch die andere Variante nehmen, was er auch tun würde, wenn die letztere Überladung fehlt. Konnte ich mich einigermaßen verständlich ausdrücken? 😕

    Viele Grüße

    0
  • N

    Kronos_m schrieb:

    Hatte erst an etwas abstrakteres gedacht:

    if ( T = int ) { ... }

    Aber das geht vermutlich nicht, nehme ich an 🙄

    Nein, das geht so nicht. if -Abfragen werden zur Laufzeit ausgewertet. Templatespezialisierung statt Überladung wäre hier übrigens auch eine Möglichkeit. Ach ja, und denk dran: == ist der Gleichheitsoperator, nicht =.

    Kronos_m schrieb:

    Wenn er den Funktor aufruft. Woher weiß er denn, dass er z.B. die Überladung mit MyClass aufrufen muss? Schließlich könnte er doch auch die andere Variante nehmen, was er auch tun würde, wenn die letztere Überladung fehlt. Konnte ich mich einigermaßen verständlich ausdrücken? 😕

    Der Compiler versucht immer, die Version aufzurufen, die am meisten spezialisiert ist. Hier hast du eine allgemeine für T und eine spezielle für MyClass . Wenn du ein MyClass -Objekt übergibst, wird also die entsprechende Überladung ausgewählt. Das Gleiche hast du zum Beispiel auch mit Basis- und abgeleiteten Klassen.

    0
  • ?

    Kronos_m schrieb:

    Wenn er den Funktor aufruft. Woher weiß er denn, dass er z.B. die Überladung mit MyClass aufrufen muss?

    Man kann die "overload resolution"-Regeln schlecht in einem Satz zusammenfassen. Und wenn, das würde das etwa so aussehen: "Der Compiler wählt den am besten passenden/speziellsten Kandidaten aus."

    Details können in einem schlauen C++ Buch nachgelesen werden. Hier spielt so einiges eine Rolle.... (template/non-template, conversions, partial ordering)

    Gruß,
    SP

    0
  • K

    Ich habe jetzt mal ein paar Sachen durchprobiert. Hat auch ganz gut geklappt, jetzt hänge ich aber wieder an einer Kleinigkeit, bei der ich nicht verstehe, wieso er das nicht ausführen kann...

    LordJaxom schrieb:

    Callables können in C++ aber nicht nur Funktionszeiger, sondern auch Funktoren sein. Einen Funktor nennt man ein Objekt einer Klasse, welche den operator() implementiert hat. Dadurch kann man dieses Objekt ohne Methodenangabe aufrufen, wie eine freie Funktion.

    Daraufhin habe ich mir folgendes überlegt:

    #pragma once
#include <cstdlib>
#include <algorithm>

template <class T> class List
{
private:
	T* list;
	unsigned int count;
	template<class POD> friend int compare_POD(const void* a, const void* b);
public:
//...
	// comparison for sort method
	template<class T> bool operator() (T a, T b) {return a < b;};
//...
};
//...
template <class T> void List<T>::sort(void)
{
	//qsort(this->list, this->count, sizeof(T), &compare_POD<T>);
	std::sort(list, (list + this->count), this);
}
// friend of member
template <class POD> int compare_POD(const void* a, const void* b)
{
	if ( (*(POD*)a - *(POD*)b) < 0 )
		return -1;
	else
		return 1;
}
//...

    In der List<T>::sort() Methode rufe ist std::sort() auf. als dritten Parameter übergebe ich den Funktor(?) this, der eine Addresse auf das Objekt darstellt. Ich überlade den operator() und bin somit davon ausgegangen, dass er die Methode automatisch aufruft. Stattdessen erhalte ich die Fehlermeldung:

    1>c:\winxp\programme\microsoft visual studio 8\vc\include\algorithm(2823) : error C2064: Ausdruck ergibt keine Funktion, die 2 Argumente übernimmt
1>c:\winxp\programme\microsoft visual studio 8\vc\include\algorithm(2823) : fatal error C1903: Weiterverarbeitung nach vorherigem Fehler nicht möglich; Kompilierung wird abgebrochen.
1>Das Buildprotokoll wurde unter "file://d:\Dokumente und Einstellungen\Nico\Eigene Dateien\Visual Studio 2005\Projects\C++\List\Debug\BuildLog.htm" gespeichert.
1>List - 3 Fehler, 0 Warnung(en)

    Anscheinend rufe ich die std::sort() Methode falsch auf, kann mir jemand sagen, wie ich das korrigieren kann?

    0
  • ?

    Kronos_m, schafft Dir doch endlich ein schlaues C++ Buch an und lerne selbständig. Dieses "Versuch-und-Irrtum"-Ratespiel ist doch total unproduktiv.

    Kronos_m schrieb:

    Daraufhin habe ich mir folgendes überlegt:
    [cpp]#pragma once
    #include <cstdlib>
    #include <algorithm>

    template <class T> class List
    {
    private:
    T* list;
    unsigned int count;
    [...]
    public:
    [...]
    // comparison for sort method
    template<class T> bool operator() (T a, T b) {return a < b;};
    [...]
    };

    [...]

    template <class T> void List<T>::sort(void)
    {
    std::sort(list, (list + this->count), this);
    }

    [/cpp]

    #pramga once ist nicht Standard-konform ==> Wegschmeißen.

    this ist ein Zeiger vom Typ List<T>* und kein Funktionszeiger/Funktor.

    Dein operator() template hat absolut gar nichts mit dem Rest der Klasse zu tun ==> Wegschmeißen. Es gibt übrigends zwei std::sort Versionen. (hint hint)

    Du scheinst viele der Beiträge hier ignoriert zu haben. Du kannst jetzt nicht erwarten, dass man sich wiederholt bzw Dir noch helfen will.

    Gruß,
    SP

    0
  • K

    Sebastian Pizer schrieb:

    #pramga once ist nicht Standard-konform ==> Wegschmeißen.

    Hat meine Entwicklungsumgebung automatisch eingefügt, beim erstellen der Klasse (MVS2005). Werde es dann mal rausnehmen.

    Sebastian Pizer schrieb:

    this ist ein Zeiger vom Typ List<T>* und kein Funktionszeiger/Funktor.

    Wusste nicht, dass das nicht geht. Da es beim struct mit dem Objektnamen geklappt hat.

    Sebastian Pizer schrieb:

    Dein operator() template hat absolut gar nichts mit dem Rest der Klasse zu tun ==> Wegschmeißen.

    Soll die compare Funtkion sein. Wie auch in meinem Beispiel auf Seite 3.

    Sebastian Pizer schrieb:

    Es gibt übrigends zwei std::sort Versionen.

    Das weiß ich. Übe doch nur, getreu dem Motto man lernt nie aus.

    Sebastian Pizer schrieb:

    Du scheinst viele der Beiträge hier ignoriert zu haben. Du kannst jetzt nicht erwarten, dass man sich wiederholt bzw Dir noch helfen will.

    Nein, habe ich nicht. Habe auf Grund der vielen guten Hinweise auch schon einiges ausprobiert und geschafft.

    Dann will ich mal nicht weiter stören...
    Grüße

    PS.: Danke noch mal für die zahlreichen nützlichen Infos.

    0
  • M

    Kronos_m schrieb:

    Sebastian Pizer schrieb:

    this ist ein Zeiger vom Typ List<T>* und kein Funktionszeiger/Funktor.

    Wusste nicht, dass das nicht geht. Da es beim struct mit dem Objektnamen geklappt hat.

    Hats nicht. Schau nochmal genau hin.

    0
Anmelden zum Antworten