C++ 模板专题 - 静态分支(if)

一：概述：

        模板元编程（Template Metaprogramming，简称 TMP）是一种在 C++ 中使用模板进行编程的技术，它允许在编译时执行计算、生成代码，提供类似脚本语言的功能。TMP 常用于生成高效的代码，避免运行时的计算开销。在高性能编程、类型处理、泛型编程等领域，模板元编程非常有用。

        模板元编程的一个使用场景就是进行编译器条件分支判断，称为“静态 if”。它允许我们在模板中根据条件编译选择不同的代码分支，而不需要实例化不符合条件的代码，这不仅可以提升编译性能，也可以简化模板代码逻辑。

二：示例

        例如，在C++17之前，可以这样实现一个简单的编译期分支选择：

#include <iostream>
using namespace std;

template <bool Condition, typename Then, typename Else>
struct StaticIf {
    using type = Then;
};

template <typename Then, typename Else>
struct StaticIf<false, Then, Else> {
    using type = Else;
};

// 使用方法
int main() {
    using Type = StaticIf<(sizeof(int) > 2), int, double>::type;
    Type value = 42; // 根据条件选择类型
    cout << "Type size: " << sizeof(value) << endl;
    return 0;
}

        在 C++17 引入的 if constexpr 能够在编译期选择分支路径，避免不必要的模板实例化。用于编译期的条件判断，可以极大提升编译性能。

#include <iostream>
using namespace std;

template <typename T>
void printType() {
    if constexpr (is_integral<T>::value) {
        cout << "T is an integer type." << endl;
    } else if constexpr (is_floating_point<T>::value) {
        cout << "T is a floating-point type." << endl;
    } else {
        cout << "T is an unknown type." << endl;
    }
}

int main() {
    printType<int>();       // 输出: T is an integer type.
    printType<double>();    // 输出: T is a floating-point type.
    printType<string>();    // 输出: T is an unknown type.
    return 0;
}