一：概述：
模板元编程（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;
}
