C++如何实现在编译期检查某个模板参数是否为指针类型-C++-PHP中文网

std::is_pointer 可在编译期判断模板参数是否为指针类型，支持t*、cv限定指针等，但不识别智能指针、引用、数组、nullptr_t及用户自定义指针类；需包含，推荐c++17用std::is_pointer_v。

c++如何实现在编译期检查某个模板参数是否为指针类型

用 `std::is_pointer` 在编译期判断模板参数是否为指针

直接用 std::is_pointer 配合 static_assert 或 SFINAE 就能完成编译期检查，不需要手写类型特征。它在 <type_traits></type_traits> 中定义，对所有标准指针（包括 T*、T const*、成员指针等）返回 true，对引用、数组、函数类型等返回 false。

常见错误是传入 T& 或 T[] 后误以为是指针——std::is_pointer<int>::value</int> 是 false，std::is_pointer<int>::value</int> 也是 false，这点很明确。

必须包含头文件：#include <type_traits></type_traits>
std::is_pointer 是变量模板（C++17 起），推荐写法：std::is_pointer_v<t></t>；C++11/14 用 std::is_pointer<t>::value</t>
它不识别智能指针（std::unique_ptr、std::shared_ptr），这些是类类型，std::is_pointer_v<:unique_ptr>></:unique_ptr> 为 false

在模板函数中强制要求指针类型

最常用场景是约束函数模板只接受指针，否则编译失败。用 static_assert 最直观，报错信息也清晰。

template <typename t>
void process_ptr(T ptr) {
    static_assert(std::is_pointer_v<t>, "T must be a pointer type");
    // ... 实际逻辑
}</t></typename>

调用 process_ptr(new int(42)) 没问题；但 process_ptr(42) 或 process_ptr(std::string{}) 会触发编译错误，消息就是上面字符串。

注意：T 是推导出的完整类型，比如传入 int*，则 T == int*，std::is_pointer_v<t></t> 为 true
如果希望支持 const int*、volatile char* 等带 cv 限定的指针，std::is_pointer 默认支持，无需额外处理
不要写成 static_assert(std::is_pointer_v<decltype>)</decltype> —— T 已经是类型，重复推导没必要

用 `std::enable_if` 实现重载或特化

当需要为指针和非指针提供不同实现时，SFINAE 更合适。比如写两个同名函数模板，一个只对指针启用，另一个处理其他类型。

C++ Code Review Master

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

下载

template <typename t>
auto deref(T t) -> std::enable_if_t<:is_pointer_v>, decltype(*t)> {
    return *t;
}

template <typename t>
auto deref(T t) -> std::enable_if_t, T> {
    return t;
}</typename></:is_pointer_v></typename>

这样 deref(int_ptr) 调用第一个版本，deref(42) 调用第二个。C++20 后可用 requires 替代，更简洁：

template <typename t>
auto deref(T t) requires std::is_pointer_v<t> {
    return *t;
}

template <typename t>
auto deref(T t) requires (!std::is_pointer_v<t>) {
    return t;
}</t></typename></t></typename>

SFINAE 方式在 C++11–17 中可靠，但错误信息可能不如 static_assert 友好
std::enable_if_t 必须出现在返回类型或模板参数中，不能放在函数体里
若两个重载都匹配（比如 T 是 void*），编译器仍会按偏序规则选择最特化的那个

容易忽略的边界情况：空指针常量与字面量

nullptr 是类型 std::nullptr_t，不是指针类型，std::is_pointer_v<:nullptr_t></:nullptr_t> 是 false。但它是可转换为任意指针类型的空指针常量。

这意味着：如果你写 process_ptr(nullptr)，模板参数 T 会被推导为 std::nullptr_t，导致 static_assert 失败——即使语义上它“代表”一个指针。

解决办法之一：加一个针对 std::nullptr_t 的重载，或在 static_assert 中放宽条件：std::is_pointer_v<t> || std::is_same_v<t std::nullptr_t></t></t>
整数字面量如 0 或 NULL（宏定义为 0 或 ((void*)0)）在现代 C++ 中已不鼓励用于空指针，且类型推导更不可控，应避免
成员指针（如 int (MyClass::*)）被 std::is_pointer 正确识别为 false，因为它不是对象指针——这是设计使然，不是 bug