C++ 模板元编程（Template Metaprogramming，TMP）是一种在编译期间执行计算的技术，它利用 C++ 模板系统来实现。TMP 的要点包括：
编译时计算：TMP 主要在编译期间执行计算，这意味着它可以避免运行时的性能损失。通过将计算转移到编译时，可以提高程序的执行效率。
泛型编程：TMP 可以实现泛型编程，即编写与数据类型无关的代码。通过模板特化和递归模板，可以实现对不同类型数据的处理。
类型推导：TMP 可以利用 C++ 的类型推导特性，自动推导出变量的类型。这可以减少代码的冗余，并提高代码的可读性。
编译时断言：TMP 可以在编译期间进行断言检查，以确保程序的正确性。如果某个条件在编译时满足，那么它将在整个程序运行期间始终满足。
递归模板：递归模板是 TMP 的核心概念之一。通过递归模板，可以在编译期间执行复杂的计算和数据处理。
特化与偏特化：模板特化和偏特化允许你为特定类型提供特定的实现。这可以使 TMP 更加灵活，以适应不同类型的需求。
编译时数组：TMP 可以利用编译时数组来存储和处理数据。编译时数组的大小是在编译时确定的，因此可以避免运行时的内存分配和释放开销。
SFINAE（Substitution Failure Is Not An Error）：SFINAE 是一种在模板元编程中处理替换失败的技术。通过 SFINAE，可以在编译期间选择性地启用或禁用某些模板实现，以实现更复杂的编程需求。
编译时函数：TMP 可以实现编译时函数，即在编译期间执行的函数。这可以提高程序的执行效率，因为函数调用可以在编译时完成。
C++11 及更高版本的支持：C++11 引入了更多的模板特性，如可变模板参数、初始化列表等，这些特性为 TMP 提供了更强大的支持。
总之，C++ 模板元编程是一种强大的编程技术，它允许在编译期间执行复杂的计算和数据处理。通过熟练掌握 TMP 的要点，可以实现更高效、更灵活的代码。