C++17 中的 `if constexpr` 与模板元编程

if constexpr 是 C++17 新增的一个关键字，用于在编译期根据条件选择代码路径。它与传统的 if 语句不同，if constexpr 在编译时就会求值，且不满足条件的分支在编译期被完全排除，不会参与编译。这样可以让模板编程变得更安全、更简洁。

1. 基本语法

template <typename T>
void print(const T& value) {
    if constexpr (std::is_integral_v <T>) {
        std::cout << "Integral: " << value << '\n';
    } else if constexpr (std::is_floating_point_v <T>) {
        std::cout << "Floating point: " << value << '\n';
    } else {
        std::cout << "Other type\n";
    }
}

• `std::is_integral_v ` 和 `std::is_floating_point_v` 在编译期返回布尔值。
• 只会编译与 if constexpr 条件匹配的分支，其他分支被忽略。

2. 与 if 的区别

如果使用普通 if，未满足分支中可能包含无法编译的代码，例如对非数值类型调用 std::sqrt，编译器会报错。if constexpr 可以解决这个问题。

3. 示例：实现 max 函数

template <typename T>
T my_max(const T& a, const T& b) {
    if constexpr (std::is_arithmetic_v <T>) {
        return a > b ? a : b;               // 只对算术类型编译
    } else {
        // 假设自定义类型支持比较操作符
        return (a < b) ? b : a;
    }
}

• 对于内置算术类型，编译器生成比较代码。
• 对于自定义类型，编译器使用自定义比较逻辑。

4. 与 std::conditional_t 的配合

if constexpr 与 std::conditional_t 常结合使用，构建更复杂的编译期决策。

template <typename T>
struct Serializer {
    using type = std::conditional_t<
        std::is_arithmetic_v <T>,
        std::string,                     // 归档为字符串
        std::vector<std::byte>           // 归档为字节流
    >;
};

5. 小技巧

• 避免使用 std::is_same 进行类型匹配：在模板实例化时，is_same 会返回布尔值，但不适合在 if constexpr 中使用。相反，使用 std::is_same_v<T, int> 等形式更简洁。
• 多分支链：只要每个分支都是 if constexpr，编译器会按顺序求值，找到第一个为真的分支。

6. 结语

if constexpr 为 C++ 模板编程提供了强大的编译期条件分支机制。它让模板代码更加安全、可读且易于维护。掌握 if constexpr 的使用后，你可以在实现通用库时，轻松处理各种类型的差异，而不必担心编译错误。