模板類函數T：如何找出T是否是指針？

Question

作爲後續this question：我需要這樣一類函數決定：

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

T是否是一個指針或沒有。

在上面引用的問題中，答案是使用部分模板專業化。據我發現，這是不可能的類功能。這是真的？如果是這樣，還有另一種發現T是否是指針的方法嗎？

Answer 1

不需要專門的成員函數。在那個答案中使用了獨立結構。你仍然可以在類成員函數中使用它。

// 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; 
} 
}; 

在另一方面，你可以超載功能：

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

看看boost::is_pointer。

Answer 3

看一看Boost.TypeTraits，連同Boost EnableIf。