Vorlage mit Standardwert von Methodenzeiger Argumente

Question

diese spezielle Containerklasse betrachten, die Typen, die beiden Schlüssel und Wert darin enthalten, so

template<typename K, typename T, K (T::*method)() const> 
class Container 
{ 
//... 
}; 

K ist die Art eines Schlüssels speichert, ist T eine Art von Wert und der Methodenzeiger wird verwendet, um den Schlüssel von dem Wert abzurufen.

Es funktioniert gut, aber ich würde einen Standard für die Methode Zeiger enthalten mögen, so dass, wenn es nicht vom Anrufer angegeben wurde es operator K() const wie so wäre:

template<typename K, typename T, K (T::*method)() const = &T::operator K const> 

aber nicht kompiliert dort unter Angabe ist no member operator const K on A (<- my class I test this with), wenn ich versuche, es zu instanziieren (und es gibt so eine Methode). Ist es sogar möglich, den Standardwert eines Methodenzeiger-Template-Arguments zu haben? Wenn ja, wie lautet die korrekte Syntax?

EDIT: Neben der Lösung unten gibt es einen „Fix“ für die Fälle, wenn T ein Zeiger ist, die neue C std::remove_pointer<T>::type ++ 11-Funktion verwendet, so:

template<typename K, typename T, K (std::remove_pointer<T>::type::*method)() const = &std::remove_pointer<T>::type::operator K> 

Answer 1

Der Name der Funktion ist nur operator K. Seine Qualifikation ist nicht Teil des Namens. Versuchen Sie:

template <typename K, 
      typename T, 
      K (T::*method)() const = &T::operator K> 
//         ^^^^^^^^^^^^^^