std::is_integral 在函数模板重载中不参与重载决议，需用 if constexpr 或 sfinae 实现编译期分支；它仅对裸整型返回 true，cv 限定、引用、数组、指针均使其失效，须配合 remove_cv_t 等辅助 trait 归一化。
std::is_integral 在函数模板重载中的实际选择逻辑
直接用 std::is_integral<t>::value</t> 做 if 判断，无法触发编译期特化——它只是个运行时可读的常量，不会影响函数重载决议。真正起作用的是让编译器“看不见”不匹配的重载版本。
常见错误是写成这样：
template<typename t>
void process(T v) {
if (std::is_integral<t>::value) { /* ... */ }
else { /* ... */ }
}
</t></typename>
这会导致所有类型都走同一个函数体，失去特化意义。正确做法是用 SFINAE 或 C++17 的 if constexpr 切分路径：
-
if constexpr (std::is_integral_v<t>) { ... }</t>：C++17 起最简洁，分支在编译期彻底丢弃，无运行时开销 -
std::enable_if_t<:is_integral_v>>* = nullptr</:is_integral_v>：SFINAE 方式，适用于 C++11/14，但函数签名变复杂 - 避免在类模板中对
std::is_integral做静态断言替代特化——它不能阻止实例化，只报错，不满足“选择”需求
std::is_pointer 必须配合偏特化或 SFINAE 才能生效
std::is_pointer 本身不参与重载决议，单独调用 std::is_pointer<t>::value</t> 永远只是 true 或 false。想让指针类型走专属逻辑，得靠模板机制把它“筛出来”。
比如你想对指针类型做解引用处理，而其他类型直接传值：
- 类模板可用偏特化：
template<typename t> struct handler { void run(T); };</typename>→ 全特化template<typename t> struct handler<t> { void run(T*); };</t></typename> - 函数模板不能偏特化，只能全特化或 SFINAE：
template<typename t> void handle(T*, std::enable_if_t<:is_pointer_v>>* = nullptr)</:is_pointer_v></typename>是错的（T*已经是具体类型），应改为template<typename t> void handle(T t, std::enable_if_t<:is_pointer_v>>* = nullptr)</:is_pointer_v></typename> - 注意
std::is_pointer_v<int></int>是true，但std::is_pointer_v<int></int>也是true——它只认最外层是否为指针，不递归判断
混用 is_integral 和 is_pointer 时的优先级陷阱
当一个类型同时满足多个 trait（比如 int* 满足 std::is_pointer，但不满足 std::is_integral），看似没冲突；但若你写了两个 SFINAE 重载，且约束条件有重叠可能（例如误用 std::is_arithmetic 和 std::is_pointer），编译器会因“多个可行函数”报错 ambiguous overload。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
安全做法是明确互斥条件：
- 用
if constexpr分支时，顺序即优先级：if constexpr (std::is_pointer_v<t>)</t>放前面，后面再跟else if constexpr (std::is_integral_v<t>)</t> - 用 SFINAE 时，避免用
std::is_same或std::is_convertible引入隐式转换干扰，它们会让重载集变得不可预测 - 特别注意
std::nullptr_t：它既不是指针（std::is_pointer_v<:nullptr_t></:nullptr_t>为false），也不是整型，但能隐式转成任意指针类型——若未显式覆盖，可能意外落入指针重载分支
为什么 std::is_integral_v 是 false，但你可能以为它是
数组类型不是整型，std::is_integral_v<int></int> 返回 false，这是初学者高频误判点。同理，std::is_integral_v<int></int>、std::is_integral_v<const int></const> 也都是 false——std::is_integral 只对“裸整型”返回 true，cv 限定、引用、数组、指针都会让它失效。
若需支持带 cv 限定的整型，应先用 std::remove_cv_t<t></t> 归一化：
if constexpr (std::is_integral_v<:remove_cv_t>>) { ... }
</:remove_cv_t>
但注意：这不能解决数组问题；若要捕获“元素为整型的数组”，得组合 std::is_array_v<t></t> 和 std::is_integral_v<:remove_extent_t>></:remove_extent_t>。
trait 判断永远只看一层结构，没有自动“穿透”能力。写模板时，别假设类型语义，只信任 trait 的字面含义。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
