Определите, является ли Type указателем в шаблонной функции

Question

Если у меня есть функция шаблона, например, такая:

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

Можно ли как-нибудь определить в функции, является ли T указателем, или мне придется использовать для этого другую шаблонную функцию, например:

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

Спасибо

Answer 1

Действительно, шаблоны могут делать это с частичной специализацией шаблонов:

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

Если в функции вы делаете вещи, действительные только для указателей, вам лучше использовать метод отдельной функции, так как компилятор проверяет тип функции в целом.

Вы должны, однако, использовать boost для этого, он также включает это: http://www.boost.org/doc/libs/1_37_0/libs/type_traits/doc/html/boost_typetraits/reference/is_pointer.html

Answer 2

C ++ 11 имеет небольшую встроенную функцию проверки указателя: std::is_pointer<T>::value

Возвращает логическое значение bool.

С 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';
}