Ich habe mich früher schon einmal gefragt, ob man bei einem template die möglichen Typen einschränken kann. Wenn ich z.B. in einer Templateklasse dem Nutzer nur die Möglichkeiten int, double und long zur Verfügung stellen möchte.

Ist das möglich?

PS:
Habe bei google unter dem Suchbegriff "C++ templates type restrictions" nichts dergleichen gefunden.

template <class T>
void restricted(const T& t)
{
  BOOST_STATIC_ASSERt(boost::is_same<T, double>::value || boost::is_same<T, int>::value);
}

Um mehrere Typen zu überprüfen bieten sich die Type-Traits von boost auch an, wie zb boost::is_integral oder boost::is_pointer

#include <iostream>
#include <typeinfo.h>

template <typename T>
void func(T &t)
{
	std::cout<< typeid(T).name() <<std::endl;
	std::cout<< typeid(t).name() <<std::endl;
}

int main()
{
	int a = 10;

	func<int>(a);
}

Ich glaube da gibt es auch was in Boost.

EDIT:
Ja, siehe Post über mir

@ SeppJ
Für gewisse Klassen macht es keinen Sinn gewissen Typen zu verwenden. Den Nutzer der Klasse also einschränken, so dass dieser weniger Fehler machen kann (habe nur im Effective C++ gelesen, dass man Fehler auf Seite des Clients möglichst vermeiden sollte).

Durch Overloading kann es halt vorkommen, dass anschliessend einiges an Code doppelt vorkommt. Von daher hätte ich es schön gefunden, wenn man templates auf einige Typen beschränken kann.
Kann aber gut sein, dass das nicht wirklich viel Sinn ergibt.

@ Kóyaánasqatsi
Bin jetzt nicht ganz sicher ob es das ist, was ich wirklich möchte. Ich teste es dann mal kurz.

Thx für eure Antworten

*Edit
@ Maxi
Hatte zuerst deinen Post übersehen ^^
Ich glaube das ist es, wonach ich gesucht habe. Kenne mich mit Boost leider (noch) nicht aus.

Thx

Kurze Gegenfrage: Wozu soll das gut sein?

Schonmal was von Concepts gehört?

Ich kann das Video zum Vortrag von Doug Gregor empfehlen -- obwohl es schon 3 Jahre alt ist und nicht mehr 100%ig dem aktuellsten Entwurf enspricht. Leider hat das Standardisierungskomitee es nicht geschafft, concepts für die nächste Version von C++ zu standardisieren. -- Vielleicht klappt's beim nächsten Mal.

C++0x bietet allerdings Möglichkeiten, zumindest teilweise Concepts zu emulieren.

SeppJ schrieb:

Templates sind ja gerade dazu da, damit man sich nicht einschränken muss.

Würde ich so nicht sagen. Du kannst in einem std::vector auch nur Objekte ablegen, die sich kopieren lassen. Und Concepts wäre eine Möglichkeit gewesen, diese Bedingung -- welche bisher nur in Form von Dokumentation vorhanden ist -- auf der Ebenbe der Programmiersprache zu formalisieren. Das dürfte dem Compiler auch kürzere und leichter verständlichere Fehlermeldungen entlocken.

Gruß,
SP

[...]

Klar kenne ich concepts, aber: Es ist ja auch schon heute nicht möglich, einen vector mit nicht kopierbaren Objekten zu verwenden. Ok, die Fehlermeldung die man dann bekommt ist total kryptisch, da könnten concepts helfen. Außerdem sähe man bei Concepts sofort die Mindestanforderungen ohne eine Doku zu benötigen. Aber extra irgendwas zu basteln, so dass ich den vector nur mit der Art von Objekt verwenden kann, die ich jetzt für sinnvoll erachte, schränkt doch alle anderen später unnötig ein. Wenn die Templateparameter nicht den Anforderungen entsprechen gibt es auch heute schon eine Fehlermeldung und wenn die Templateparameter den Anforderungen genügen und der Programmierer sie benutzen will, dann wird das schon irgendwie Sinn machen sie zu verwenden. Wer bin ich, dass ich diese Entscheidung treffe?

Gerade hier ist das doch ein gutes Beispiel: Der Threadersteller will sein Template auf int, double und long beschränken. Warum er char, short und float ausklammern will, wird seine Gründe haben, ich spekulier mal sie sind ihm zu ungenau. Aber was, wenn ich mit einer eigenen Klasse für extra große Zahlen komme? Oder mit einer C++ Erweiterung die long long kennt? Alles was int, double und long können, können solche Klassen/Typen sinnvollerweise auch. Warum sollte ich sie nicht verwenden dürfen?
Eine sinnvollere Beschränkung in diesem Fall wäre es, die Genauigkeit zu prüfen. Da kann man beispielsweise verlangen, dass der Templateparameter einen Eintrag in numeric_limits hat, der irgendwelche Mindestvoraussetzungen erfüllt. Erfüllen sie es nicht, kann man ja zumindest versuchen, dass mit einem static_assert die resultierende Fehlermeldung nicht ganz so kryptisch ist, wie sonst üblich.

Wer bin ich, dass ich diese Entscheidung treffe?

conecepts sind keine einschränkung, concepts erlauben nur gute Fehlermeldungen.
das ist alles.

Und das wirklich tolle an concepts sind concept maps

PS:
und natürlich spezialisierungen auf bestimmte concepts. das ist auch was tolles.