C++ std::is_pointer与is_reference辨析 _ 模板元编程类型识别【干货】-C++-PHP中文网

std::is_pointer仅判断类型是否为T*（含cv限定符），不关心值是否解引用或有效；std::is_reference对T&和T&&均返回true，区分左右值需用is_lvalue_reference等专用trait。

c++ std::is_pointer与is_reference辨析 _ 模板元编程类型识别【干货】

std::is_pointer 识别的是“指针类型”，不是“指向指针的值”

很多人一看到 int* 就觉得“这是个指针”，但 std::is_pointer 只对类型本身做静态判断，不关心变量是否被解引用、是否为空、是否有效。它只认模板参数是不是形如 T*（含 cv 限定符）的类型。

常见错误现象：std::is_pointer::value 返回 true（因为 &x 是 int* 类型），但 std::is_pointer::value 返回 false（因为 *p 是 int 类型）。

std::is_pointer::value → true
std::is_pointer::value → true（二级指针也是指针类型）
std::is_pointer::value → false
std::is_pointer<:remove_pointer_t>>::value → false（先去掉指针，剩下 int）

std::is_reference 判断的是“引用类型”，且严格区分左值/右值引用

std::is_reference 对 T& 和 T&& 都返回 true，但它不区分引用类别——要区分得用 std::is_lvalue_reference 或 std::is_rvalue_reference。

容易踩的坑：函数返回类型为引用时，decltype 的行为会影响判断结果。比如 auto&& x = func(); 中，若 func() 返回 int&，则 decltype(x) 是 int&；但若 func() 返回 int，decltype(x) 是 int&&（因为是纯右值绑定）。

std::is_reference::value → true
std::is_reference::value → true
std::is_reference::value → true
std::is_reference::value → false（数组不是引用）

is_pointer 和 is_reference 在模板偏特化中不能互换

这两个类型特征常用于 SFINAE 或 if constexpr 分支，但它们的语义边界非常清晰：指针可为空、可重绑定、有地址；引用必须绑定、不可空、无独立地址。混用会导致逻辑错位。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

典型误用场景：想对“所有间接访问类型”统一处理，就试图用 is_pointer || is_reference 当作“间接类型”标志——这不对。std::shared_ptr、std::optional、甚至 T* 和 T& 的解引用行为、生命周期语义完全不同。

需要转发语义？优先看 std::is_reference_v + 引用折叠规则
需要判断能否做 nullptr 检查？只信 std::is_pointer_v
写通用容器迭代器 traits？别只靠这两个，还要结合 std::iterator_traits 和 std::is_same

注意 cv 限定符和引用折叠对判断结果的影响

cv 限定符（const/volatile）不影响 is_pointer 和 is_reference 的结果，但引用折叠会改变实际类型——尤其在模板参数推导中。

例如：函数模板 template void f(T&&) 接收 int& 时，T 被推导为 int&，经引用折叠后 T&& 变成 int&，此时 std::is_reference_v 是 true，但 std::is_reference_v 也是 true（因为折叠后仍是引用）。