如果我有一个模板函数,例如:
template<typename T> void func(const std::vector<T>& v)
有没有什么方法可以在函数中确定T是否是指针,或者我必须使用另一个模板函数来确定,即:
template<typename T> void func(const std::vector<T*>& v)
谢谢
wz3gfoph1#
事实上,模板可以做到这一点,只需部分模板专门化:
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
xqk2d5yq2#
C++ 11有一个很好的内置指针检查函数:std::is_pointer<T>::value这将返回一个布尔值bool。从http://en.cppreference.com/w/cpp/types/is_pointer开始
std::is_pointer<T>::value
bool
#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'; }
2ekbmq323#
从C++17开始,有一个更短的内置结构std::is_pointer_v<T>:
std::is_pointer_v<T>
#include <type_traits> int main() { class A {}; static_assert( not std::is_pointer<A>::value && not std::is_pointer_v<A>); // equivalent to above, but shorter return 0; }
3条答案
按热度按时间wz3gfoph1#
事实上,模板可以做到这一点,只需部分模板专门化:
如果在函数中你做的事情只对指针有效,你最好使用一个单独函数的方法,因为编译器会把函数作为一个整体进行类型检查。
但是,您应该为此使用boost,它也包括:http://www.boost.org/doc/libs/1_37_0/libs/type_traits/doc/html/boost_typetraits/reference/is_pointer.html
xqk2d5yq2#
C++ 11有一个很好的内置指针检查函数:
std::is_pointer<T>::value
这将返回一个布尔值
bool
。从http://en.cppreference.com/w/cpp/types/is_pointer开始
2ekbmq323#
从C++17开始,有一个更短的内置结构
std::is_pointer_v<T>
: