spieleprogrammierer.de - Forum und Wiki zur Spieleprogrammierung und Spieleentwicklung

Stichwort: SFINAE und Boost enable_if

Siehe stackoverflow

EDIT: Danke BC, das e ist irgendwo zwischen Kopf und Tastatur abhanden gekommen

In D sähe die Syntax genau so aus wie dein Versuch: void foo(T : Bar)(T obj_of_bar) { }
Aber gut zu wissen, dass sowas in C++ auch möglich ist.

http://en.wikipedia.org/wiki/Substitutio…is_not_an_error

Die Frage ist, wieso man das wollen würde...

Och, in C# oder Java ist das schon 'ne ziemlich nützliche Sache. Du bekommst vom Compiler halt eine sehr direkte Beschreibung darüber, dass das nicht geht, was Du da machen willst, statt irgendeine wilde unverständliche Meldung darüber, dass irgendwo irgendein Call nicht geht, weil die Methode nicht existiert. Gerade bei MS-Compilern kommen da ja die schlimmsten Sachen bei raus ("Error in memory.h" anyone?).

Schon klar, generics unterscheiden sich dann aber doch fundamental von templates, die Lösung für diese Probleme mit templates wären concepts...

Wenn du den Template-Benutzer wirklich nur zwingen willst eine Klasse zu übergeben, die bestimmte Eigenschaften erfüllt (eben z.B. bestimmte Vererbungsbeziehungen) reicht vielleicht auch ein static_assert. Das gibt auch die schönsten Fehlermeldungen, erlaubt allerdings nicht z.B. eine andere Spezialisierung zu benutzen falls die Eigenschaften nicht erfüllt sind, wofür dann wiederum SFNIAE das Mittel der Wahl ist.

Für die Typeigenschaft "ist eine Basisklasse von" gibt es std::is_base_of im Header <type_traits>.

Die Frage ist nur eben: Wieso muss es überhaupt erst ein template sein, wenn du eigentlich eine Basisklasse willst!?

Mehr Sinn, würde vlt ein Concept Check machen.

Edit: Ups lesen sollte man können