4.2 类型萃取与 SFINAE：编译期查账

4.2 类型萃取与 SFINAE：编译期查账

本节摘要：type traits 是编译期的资质审查题库——is_integral、is_pointer、is_move_constructible 逐项核对类型的账目素质；if constexpr 让不合格分支在开票前整段裁剪；enable_if 把资质要求写进签名，资质不足直接弃标。三者合起来，泛型代码得以"查着账写"，替代手写类型分派的臃肿重载。

上一节看到票面行为由类型资质决定，本节把"查资质"这件事本身工具化。位置上，它承接 4.1 的实例化机制——查账发生在开票之前；往下走，4.3 的 Concepts 是同一需求的现代化妆版，理解 SFINAE 的原理才能明白 Concepts 到底省掉了什么。

先看一笔账

用 traits 加 if constexpr 写一个"按类型资质分票"的审计函数，一个模板服务多种类型、行为各就各位：

#include <cstdio>
#include <string>
#include <type_traits>

template <typename T>
void audit(const T& v) {
    if constexpr (std::is_pointer_v<T>) {
        // 指针票：空不空是头等大事
        std::printf("指针票：值为 %p，需自行防空\n", reinterpret_cast<const void*>(v));
    } else if constexpr (std::is_integral_v<T>) {
        // 整数票：检查溢出风险
        std::printf("整数票：值 %lld，宽度 %zu 字节\n",
                    static_cast<long long>(v), sizeof(T));
    } else if constexpr (std::is_floating_point_v<T>) {
        std::printf("浮点票：精度与比较语义需单独审计\n");
    } else {
        static_assert(std::is_same_v<T, std::string>, "未审计的类型，拒绝开票");
        std::printf("字符串票：长度 %zu\n", v.size());
    }
}

int main() {
    int x = 42;
    audit(x);                    // 整数票
    audit(&x);                   // 指针票
    audit(3.14);                 // 浮点票
    audit(std::string("ok"));    // 字符串票
    // audit(3.14f);             // 换 float：三档都不中，静态断言拦下
    return 0;
}
​

输出确定：

整数票：值 42，宽度 4 字节
指针票：值为 00000000…（地址值随运行变化），需自行防空
浮点票：精度与比较语义需单独审计
字符串票：长度 2
​

三个机制各司其职。traits 是题库：std::is_integral_v 之类在编译期算出 true 或 false，标准库备了上百题（有没有某成员、可不可以移动、移动是否 noexcept）。if constexpr 是裁剪刀：条件在编译期判定，不中的分支整段不出现在票面里—— unlike 普通 if，连语法检查都跳过（不会因为指针分支写了 v.size() 而报错），这是它能分票的关键。static_assert 是拒票章：进入兜底分支说明类型未列入审计范围，当场拒绝开票，错误信息一行见底。

一、SFINAE 与 enable_if：把资质写进签名

if constexpr 在函数体内分票，还有一类需求要在签名层面决定开不开票——重载决议阶段就把不合格的调用送给别的候选或直接拒绝。这就是 SFINAE（替换失败不是错误）的应用场景：模板参数替换中出现的无效构造不算硬错误，只是把该候选从重载集合里划掉。

std::enable_if 是标准库给出的 SFINAE 开关：

#include <cstdio>
#include <type_traits>

// 只对整数类型开票：非整数调用时，这个候选因替换失败被划掉
template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
T checked_double(T v) {
    return v * 2;
}

// 兜底候选：任何类型都能匹配，给出明确报错路径
struct NotAllowed {
    template <typename T>
    NotAllowed(T) {
        std::printf("该类型不在服务范围\n");
    }
};

int main() {
    std::printf("整数开票：%d\n", checked_double(21));
    // checked_double(1.5);   // 浮点：整数候选划掉，若无兜底则编译错误
    return 0;
}
​

输出：

整数开票：42
​

放开被注释的浮点调用，编译器会报"没有匹配的重载"——enable_if 在签名层就把票拒了，根本走不到函数体。这套机制语义精确，但可读性差：typename = std::enable_if_t<...> 这类写法把审计条款藏在密文里，报错信息也常常绕。C++20 的 Concepts（下一节）把同样的意思写成一句人话，生产代码里 SFINAE 正在被逐步替换——但读懂它仍是维护存量代码的必修课，第 2 章的智能指针内部、容器的实现里全是这类查账逻辑。

二、案例：容器扩容的资质审计

背景：本章主线的路由模块改造成模板后，团队担心一件事：路由表容器扩容搬元素时，有的元素类型走移动、有的走拷贝，行为差异没人说得清。

操作：写一个小的资质清单核查：对每个元素类型，用 std::is_move_constructible 与 std::is_nothrow_move_constructible 打印资质；再给容器扩容加计数钩子（4.1 的开票思路），数清扩容时移动与拷贝各发生多少次。

结果：清单暴露出一个自定消息类型既没写移动构造、成员里的字符串又让隐式移动退化了——每次扩容全量深拷贝。给它补上移动构造并标 noexcept，扩容流水立刻全部变成移动。

解读：traits 的价值在这单案子里具象化了：它把"这个类型账目素质如何"从猜测变成一行可打印的事实。泛型代码审计可以把资质清单标准化：可拷贝吗、可移动吗、移动 noexcept 吗、可比较吗——四问打完，票面行为基本可预测。

变式：std::move_if_noexcept 是这套查账思想的成品封装——容器搬元素时它自动决定 move 还是 copy，与 vector 的策略一致。写自己的泛型搬运逻辑时直接用它，别手写 traits 分支重新发明轮子。

💡 关键直觉：traits 是"编译期的 if"，但它比运行期 if 更强的地方在于裁剪——不合格的分支连代码都不存在。查账查得越早，票面越干净：签名层（enable_if）早于函数体（if constexpr），函数体早于运行期 if。

本节要点回顾

• traits 是资质题库：编译期算出类型的各项属性，标准库上百题覆盖常见审查。
• if constexpr 裁剪票面：不中分支整段不实例化，分支间语法不互相牵连。
• static_assert 拒票：未审计类型当场拒绝，错误信息可控。
• SFINAE 是签名层开关：替换失败把候选划出重载集，enable_if 是其标准封装。
• SFINAE 可读性差：语义正确但密文难读，新代码优先 Concepts，存量代码必须能读懂。
• 资质四问：可拷贝、可移动、移动 noexcept、可比较——泛型票面行为的预测器。

查账工具齐了，下一节上制度化的门禁：Concepts 把资质要求写成类型系统里的一等公民，不合格的调用在报错时给一句人话——SFINAE 时代的密文审计条款，从此有了官方白话版。