20、if constexpr：编译期条件分支，简化模板元编程的利器

说实话，C++模板元编程在很长一段时间里，都被大家戏称为「黑魔法」。为什么？因为你想在编译期做条件判断，得靠模板特化、SFINAE、std::enable_if 这些奇技淫巧。代码写出来又长又绕，调试起来更是让人头大。

但 C++17 带来的 if constexpr，彻底改变了这个局面。我个人觉得，这是 C++17 对模板元编程最实在的贡献。它让你能用最自然的 if-else 语法，在编译期做分支选择。说白了，就是把元编程从「黑魔法」变成了「白魔法」。

20.1 编译期分支的痛点

先回忆一下，没有 if constexpr 的时候，我们怎么在编译期做条件判断？

假设你想写一个函数，判断一个类型是不是指针。如果是指针，就解引用；如果不是，就直接返回值。用传统的 SFINAE 写法，大概是这样：

template<typename T>
auto process(T&& t) -> decltype(*t, void())
{
    return *t;
}

template<typename T>
auto process(T&& t) -> decltype(t, void())
{
    return t;
}

嗯，看着就累。而且一旦逻辑复杂起来，这种写法几乎不可维护。我在项目中遇到过类似的情况，当时要处理五六种不同的类型变体，代码量直接翻了三倍，还特别容易写错。

20.2 if constexpr 的基本用法

有了 if constexpr，上面的代码可以写成这样：

template<typename T>
auto process(T&& t)
{
    if constexpr (std::is_pointer_v<std::decay_t<T>>)
    {
        return *t;
    }
    else
    {
        return t;
    }
}

你看，就是一个普通的 if-else。区别在于，if constexpr 的条件必须在编译期求值。如果条件为真，编译器只编译 if 分支；如果为假，只编译 else 分支。另一个分支的代码，即使语法上不合法，也不会被实例化。

20.3 与普通 if 的本质区别

你可能会问：普通 if 也能做到啊，运行时判断不就行了？

不一样。普通 if 的两个分支都会被编译，只是运行时选择执行哪一个。而 if constexpr 在编译期就决定了哪个分支被保留，另一个分支根本不会参与编译。

举个例子：

template<typename T>
void foo(T t)
{
    // 普通 if：两个分支都要编译
    if (std::is_pointer_v<T>)
    {
        t->bar();  // 如果 T 不是指针，编译报错
    }
    
    // if constexpr：只编译匹配的分支
    if constexpr (std::is_pointer_v<T>)
    {
        t->bar();  // 只有 T 是指针时才编译
    }
}

我曾经在一个大型项目里，就是因为没搞清楚这个区别，用普通 if 去判断类型特性，结果编译出一堆莫名其妙的错误。后来换成 if constexpr，问题迎刃而解。

20.4 在模板元编程中的典型应用

if constexpr 最常见的场景，就是替代 SFINAE 和 enable_if。我们来看几个实际例子。

20.4.1 类型分派

template<typename T>
std::string type_name()
{
    if constexpr (std::is_same_v<T, int>)
        return "int";
    else if constexpr (std::is_same_v<T, double>)
        return "double";
    else if constexpr (std::is_same_v<T, std::string>)
        return "string";
    else
        return "unknown";
}

这种写法，比用模板特化清晰多了。你想想看，如果类型有十几种，用特化得写十几个模板，而用 if constexpr 就是一个链式判断。

20.4.2 递归模板的终止条件

传统的变参模板递归，终止条件要靠特化：

// 传统写法
template<typename T>
T sum(T t) { return t; }

template<typename T, typename... Args>
T sum(T t, Args... args) { return t + sum(args...); }

// if constexpr 写法
template<typename T, typename... Args>
auto sum(T t, Args... args)
{
    if constexpr (sizeof...(args) == 0)
        return t;
    else
        return t + sum(args...);
}

我个人习惯用第二种。少写一个模板，逻辑也更直观。不过要注意，递归调用本身还是模板实例化，if constexpr 只是帮你省掉了终止特化。

20.4.3 编译期断言与安全检查

template<typename T>
void serialize(const T& data)
{
    static_assert(std::is_trivially_copyable_v<T>, 
                  "T must be trivially copyable");
    
    if constexpr (sizeof(T) <= 64)
    {
        // 小对象，栈上处理
        char buffer[sizeof(T)];
        memcpy(buffer, &data, sizeof(T));
    }
    else
    {
        // 大对象，动态分配
        auto buffer = std::make_unique<char[]>(sizeof(T));
        memcpy(buffer.get(), &data, sizeof(T));
    }
}

20.5 避坑指南

用 if constexpr 也不是完全没坑。我踩过几个，分享给你：

20.6 性能与代码体积

从性能角度看，if constexpr 几乎没有运行时开销。因为分支选择在编译期就完成了，生成的目标代码里只有一条路径。

从代码体积看，它反而可能减少膨胀。传统 SFINAE 写法会为每个重载生成独立的函数，而 if constexpr 只生成一个函数，内部通过编译期分支选择不同的逻辑路径。

对比项	传统 SFINAE	if constexpr
代码可读性	差，需要模板特化/重载	好，自然 if-else
编译速度	较慢，多个模板实例	较快，分支被丢弃
调试难度	高，错误信息晦涩	低，错误信息清晰
适用场景	所有编译期分支	函数体内的分支

20.7 知识体系图

下面这张图，帮你理清 if constexpr 在整个编译期编程中的位置：

20.8 总结

if constexpr 是我在 C++17 中最常用的特性之一。它让模板元编程从「写出来自己都看不懂」变成了「写出来别人也能看懂」。如果你还在用 SFINAE 和 enable_if 做编译期分支，我建议你尽快切换到 if constexpr。代码会变得更短、更清晰、更容易维护。

当然，它也不是万能的。有些场景下，比如需要做重载决议时，SFINAE 仍然是必要的。但绝大多数日常的编译期条件判断，if constexpr 都是更好的选择。

嗯，这一章就到这里。记住一句话：能用 if constexpr 解决的问题，就别折腾 SFINAE。

---

公众号:蓝海资料掘金营，微信deep3321