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 简化写法。
实操建议:
立即学习“C++免费学习笔记(深入)”;