Template-Funktion T: Wie kann man herausfinden, ob T ein Zeiger ist?

Question

Als Follow-up zu this question: Ich muss in einer Klasse Funktion wie folgt entscheiden:

template< typename T > bool Class::Fun <T*> (T& variable) {...} 

ob T ein Zeiger oder nicht.

In der oben genannten Frage war die Antwort, partielle Template-Spezialisierung zu verwenden. Soweit ich herausgefunden habe, ist das für Klassenfunktionen nicht möglich. Ist das wahr? Wenn ja, gibt es eine andere Möglichkeit herauszufinden, ob T ein Zeiger ist?

Answer 1

Keine Notwendigkeit, Mitgliedsfunktion zu spezialisieren. In dieser Antwort verwendete eigenständige Struktur. Sie können es immer noch in den Memberfunktionen der Klasse verwenden.

// stand-alone helper struct 
template<typename T> 
struct is_pointer { static const bool value = false; };  
template<typename T> 
struct is_pointer<T*> { static const bool value = true; }; 

// your class 
class Class{ 
public: 
template<typename T> 
void Fun(T& variable) { 
    std::cout << "is it a pointer? " << is_pointer<T>::value << std::endl; 
} 
}; 

Auf der anderen Seite, könnten Sie Überlastung Funktion:

class Class { 
public: 
template<typename T> 
void Fun(T& variable) { 
    std::cout << "is it not a pointer! " << std::endl; 
} 
template<typename T> 
void Fun(T*& variable) { 
    std::cout << "is it a pointer! " << std::endl; 
} 
}; 

Answer 2

Werfen Sie einen Blick auf boost::is_pointer.

Answer 3

Werfen Sie einen Blick auf Boost.TypeTraits, zusammen mit Boost EnableIf.