std::is_pointer仅判断类型是否为指针,与变量值无关;必须配合decltype或模板参数使用,不能直接传变量,且不适用于智能指针、成员指针或引用类型。
std::is_pointer 不能判断变量是否为指针,只能检查类型
这是最常被误解的一点:std::is_pointer 接收的是类型(type),不是变量(value)。它在编译期对**类型名**做元编程判断,和运行时的变量值完全无关。比如你写 int* p = nullptr;,std::is_pointer::value 是 true;但 std::is_pointer::value 就是 false(因为 *p 类型是 int)。
常见错误现象:
- 试图传入变量名:
std::is_pointer—— 编译失败,::value
p不是类型 - 混淆
decltype(x)和decltype((x)):后者带括号会变成左值引用类型,std::is_pointer::value永远是false
正确用法:必须配合 decltype 或模板参数推导
要检查某个变量的“类型是否是指针”,必须先用 decltype 提取其类型,再喂给 std::is_pointer。C++17 起可直接用 std::is_pointer_v 简化写法。
实操建议:
- 检查裸指针变量:
std::is_pointer_v(p是int*类型) - 检查智能指针?不行——
std::unique_ptr不是指针类型,std::is_pointer_v>为false - 检查函数指针?可以——
void(*)()、int(*)(double)都满足std::is_pointer - 检查成员指针?不行——
int A::*属于std::is_member_pointer范畴
为什么不能靠它识别“实际指向东西”的指针?
std::is_pointer 是纯编译期类型特征,不关心值、不关心空与否、不关心是否有效。哪怕你写 int* p = (int*)0xdeadbeef;,std::is_pointer_v 仍是 true;而 std::shared_ptr sp; 的类型不是指针,即使它语义上管理堆内存。