C++如何使用std::is_pointer判断是否为指针-C++-PHP中文网

std::is_pointer仅静态判断类型是否为t（含cv限定符），不关心值是否解引用或有效；常见误判是传入decltype(p)得int而返回false，正确应传decltype(p)。

c++如何使用std::is_pointer判断是否为指针

std::is_pointer 的基本用法和常见误判

std::is_pointer 是类型 trait，只对「类型本身」做静态判断，不关心变量值或运行时行为。它返回 std::true_type 或 std::false_type，必须用 ::value 或 v2（C++17 起推荐用 std::is_pointer_v<t></t>）取布尔结果。

正确写法：std::is_pointer_v<int></int> → true；std::is_pointer_v<int></int> → false
常见错误：传入解引用后的类型，比如 std::is_pointer_v<decltype></decltype> → 实际是 int，结果为 false，不是你想查的「ptr 是否指针」
注意：函数指针、成员指针都算指针，std::is_pointer_v<void></void> 和 std::is_pointer_v<int></int> 都为 true

在模板中做 SFINAE 或 if constexpr 分支

真正用 std::is_pointer 的地方，通常是想根据类型是否为指针，走不同逻辑路径。直接用 if constexpr 最简洁安全：

template<typename t>
void handle(T t) {
    if constexpr (std::is_pointer_v<t>) {
        std::cout (t) <ul>
<li>别用 <code>enable_if</code> 手动 SFINAE，除非你要重载函数且需要编译期排除——现在 <code>if constexpr</code> 更直观、不易出错</li>
<li>注意：<code>std::is_pointer_v<t></t></code> 永远是 <code>false</code>，引用不是指针；<code>std::is_pointer_v<t></t></code> 才是 <code>true</code>
</li>
<li>如果传入的是智能指针如 <code>std::shared_ptr<int></int></code>，<code>std::is_pointer_v</code> 返回 <code>false</code>——它只认原生指针，不识别包装器</li>
</ul>
<h3>容易被忽略的 cv 限定符影响</h3>
<p><code>const int*</code>、<code>int* const</code>、<code>volatile char*</code> 全部被 <code>std::is_pointer_v</code> 判为 <code>true</code>，但 <code>int const*</code> 和 <code>const int*</code> 等价，而 <code>int* const</code> 是「指向 int 的 const 指针」，类型仍是指针。</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架"><img
														src="https://img.php.cn/upload/skill/000/000/081/178988956499722.jpg" alt="C++ 算法竞赛自动化测试数据生成与校验框架" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="overflowclass">C++ 算法竞赛自动化测试数据生成与校验框架</a>
													<p class="overflowclass">根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。</p>
												</div>
												<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div>
<ul>
<li>
<code>std::is_pointer_v<int const></int></code> → <code>true</code>
</li>
<li>
<code>std::is_pointer_v<int></int></code> → <code>false</code>（引用不是指针）</li>
<li>
<code>std::is_pointer_v<int></int></code> → <code>false</code>（数组不是指针，哪怕能隐式转成指针）</li>
<li>如果你在类型擦除或泛型容器里做 dispatch，记得先用 <code>std::remove_cvref_t</code> 去掉顶层 cv 和引用，再判断，否则 <code>const T*</code> 和 <code>T*</code> 会被当成不同分支</li>
</ul>
<h3>替代方案：什么时候不该用 std::is_pointer</h3>
<p>如果你实际想判断「能否像指针一样解引用」或「是否持有地址语义」，<code>std::is_pointer</code> 就太窄了。比如 <code>std::unique_ptr<int></int></code>、<code>std::string_view</code>、自定义迭代器都支持 <code>*p</code>，但 <code>std::is_pointer_v</code> 对它们全返回 <code>false</code>。</p>
<ul>
<li>要检查解引用能力，用 <code>decltype(*std::declval<t>())</t></code> + <code>std::is_void_v</code> 排除无效表达式，或更稳妥地用 Concepts（C++20）定义 <code>indirectly_readable</code>
</li>
<li>若目标是区分「原始资源持有者」和「视图/代理」，靠 <code>std::is_pointer</code> 不够，得结合 <code>std::is_constructible_v<t std::nullptr_t></t></code>、<code>std::is_convertible_v<t void></t></code> 等组合判断</li>
<li>最常被踩的坑：把 <code>std::is_pointer</code> 当作「是否为空可判断」或「是否需 delete」的依据——它完全不提供这些信息</li>
</ul>
<p>类型是否为指针这件事，表面简单，但一进模板元编程或泛型抽象，就容易滑向过度依赖单一 trait 的陷阱。真正难的不是怎么调用 <code>std::is_pointer_v</code>，而是想清楚你到底要区分什么语义。</p></t></typename>

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！