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

std::is_pointer和std::is_reference各自独立判断指针与引用类型，不互斥也不覆盖所有非基础类型；前者仅识别t*及其cv变体，后者仅识别直接的&或&&，二者均不穿透类型，合用时不能替代remove_pointer_t/remove_reference_t进行类型剥离。

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

std::is_pointer 和 std::is_reference 不是互斥判断，而是各自独立检查不同语义；一个类型可以同时不是指针、也不是引用，也可以既是（不可能）——但常见误判恰恰出在“以为它们覆盖了所有非基础类型”。

std::is_pointer 只认 T* 及其 cv 修饰变体

它不识别成员指针（如 int A::*）、不识别 std::nullptr_t、也不把引用当指针。哪怕你写 const int*&，std::is_pointer_v<const int></const> 仍是 false，因为顶层是引用，不是指针。

返回 true 的典型： int*、void*、char* const volatile、int (*)()（函数指针）
返回 false 的典型：int&、int&&、int[10]、int A::*、std::nullptr_t、decltype(nullptr)
注意 cv 限定只作用于指针本身，不影响判定： int* const 和 int* 都返回 true

std::is_reference 只认 & 和 &&，且不穿透

它检测的是类型是否**直接**为左值或右值引用，不会自动剥离引用再查底层。所以 std::is_reference_v<int></int> 是 true，但 std::is_reference_v<int></int> 是 false（这是个语法错误），而 std::is_reference_v<decltype></decltype> 是否为 true 取决于 ptr 类型——如果 ptr 是 int*，*ptr 是 int&，那结果就是 true。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

std::is_lvalue_reference_v<t></t> 和 std::is_rvalue_reference_v<t></t> 更精确，可分开用
std::is_reference_v<int></int> 返回 true，但 std::is_lvalue_reference_v<int></int> 是 false
对 auto&& x = expr; 这类万能引用，std::is_reference_v<decltype></decltype> 总是 true，但具体是左还是右，得看 expr 的值类别

二者合用时常见逻辑陷阱

很多人想“排除指针和引用后得到‘裸’类型”，直接写 !std::is_pointer_v<t> && !std::is_reference_v<t></t></t> ——这会漏掉数组、函数类型、类类型等合法非指针非引用类型；更危险的是，它不能替代 std::remove_pointer_t 或 std::remove_reference_t 做类型转换。

正确剥离指针：用 std::remove_pointer_t<t></t>，而不是靠 is_pointer 判断后手动写 T::element_type
正确剥离引用：优先用 std::remove_reference_t<t></t>，它对 T&、T&&、T 都安全，而 is_reference 只是告诉你“要不要剥”
若需判断“是否为原始数据载体”，应组合多个 trait：std::is_arithmetic_v<t> || std::is_enum_v<t> || std::is_class_v<t></t></t></t>，而非仅靠 pointer/reference