Xác định xem Type là một con trỏ trong một mẫu chức năng

Question

Nếu tôi có một hàm mẫu, ví dụ như thế này:

template<typename T> 
void func(const std::vector<T>& v) 

Có cách nào tôi có thể xác định trong phạm vi chức năng dù T là một con trỏ, hoặc sẽ tôi phải sử dụng một mẫu chức năng cho điều này, ví dụ:

template<typename T> 
void func(const std::vector<T*>& v) 

Cảm ơn

Answer 1

Trên thực tế, các mẫu có thể làm điều đó, với một phần mẫu chuyên môn:

0.123.

template<typename T> 
struct is_pointer { static const bool value = false; }; 

template<typename T> 
struct is_pointer<T*> { static const bool value = true; }; 

template<typename T> 
void func(const std::vector<T>& v) { 
    std::cout << "is it a pointer? " << is_pointer<T>::value << std::endl; 
} 

Nếu trong hàm bạn làm mọi thứ chỉ hợp lệ với con trỏ, tốt hơn bạn nên sử dụng phương thức của hàm riêng biệt, vì kiểu trình biên dịch kiểm tra toàn bộ hàm.

Bạn nên, tuy nhiên, sử dụng tăng cho điều này, nó bao gồm điều đó quá: http://www.boost.org/doc/libs/1_37_0/libs/type_traits/doc/html/boost_typetraits/reference/is_pointer.html

Answer 2

C++ 11 có một tấm séc ít con trỏ đẹp được xây dựng trong

Từ http://en.cppreference.com/w/cpp/types/is_pointer

#include <iostream> 
#include <type_traits> 

class A {}; 

int main() 
{ 
    std::cout << std::boolalpha; 
    std::cout << std::is_pointer<A>::value << '\n'; 
    std::cout << std::is_pointer<A*>::value << '\n'; 
    std::cout << std::is_pointer<float>::value << '\n'; 
    std::cout << std::is_pointer<int>::value << '\n'; 
    std::cout << std::is_pointer<int*>::value << '\n'; 
    std::cout << std::is_pointer<int**>::value << '\n'; 
}