langsam zieht die Verwendung von TR1 etc. stark an. Der Header <type_traits> stellt seit TR1 und boost ein template is_const zur Verfügung, mit dem man feststellen können soll, ob ein Typ const ist.

Nun möchte ich testen, ob die Signatur einer Member-Funktion const und/oder volatile ist, was jedoch nicht wie erwartet funktioniert:

cout << is_const<void (dummy::*)() const>::value;

Diese Anweisung gibt mir "0" zurück auf der Konsole. Wie teste ich richtig, ob ein const -Qualifier vorhanden ist?

Bin für jeden Tipp dankbar

cout << is_const<void (dummy::*)() const>::value;

Diese Anweisung gibt mir "0" zurück auf der Konsole.

Der Funktionszeiger an sich ist ja auch nicht const, sondern nur die Funktion. Genauso wird

cout << is_const<char const *>::value;

auch 0 bzw false ausgeben, wohingegen

cout << is_const<char * const>::value;

1 bzw true liefern wird. is_const gibt Dir die "top-level-constness" zurück.

/rant/ schrieb:

Wie teste ich richtig, ob ein const -Qualifier vorhanden ist?

Musst Du mal gucken. Vielleicht klappt ja schon so etwas wie is_const<remove_pointer<XXX>::type>::value. Bin mir da bei nicht-statischen Elementfunktionen nicht sicher, ob das so geht.

Im Notfall bastelst Du Dir Deine eigene Traitsklasse.

C++0x:

template <typename F> 
struct is_const_mem_fun_pointer: public false_type
{};

template <class T, typename R, typename ... A>
struct is_const_mem_fun_pointer<R (T::*)(A...) const> : public true_type
{};

template <class T, typename R, typename ... A>
struct is_const_mem_fun_pointer<R (T::*)(A...) const volatile> : public true_type
{};

Bei C++03 wirds schwieriger, da musst du dir für alle Parameterzahlen eigene Spezialisierungen schreiben *wärgs*. Siehe hier:

http://www.boost.org/doc/libs/1_37_0/boost/type_traits/detail/is_mem_fun_pointer_impl.hpp

PS: Ich warte sehnlichst auf bessere Untersützung für Variadic Templates. Das würde mein Leben so viel angenehmer machen. decltype und solche Dinge funktionieren super, aber das braucht man auch kaum