c++中的模板元编程入门_c++编译期计算与技巧【高级】

模板元编程（TMP）是C++在编译期利用模板进行计算和类型推导的技术，依赖模板特化、递归实例化、SFINAE及constexpr等特性，用于零开销抽象与强约束接口。

模板元编程（TMP）是 C++ 在编译期利用模板机制进行计算和类型推导的技术，它不生成运行时代码，而是在编译阶段完成逻辑判断、数值计算、类型构造等任务。核心在于：所有运算必须在编译期可确定，依赖于模板特化、递归实例化、SFINAE 和 C++11 后的 constexpr、变量模板、折叠表达式等特性。

从最简例子理解编译期整数计算

传统函数在运行时求阶乘，而模板元编程可在编译期算出结果：

template
  struct factorial {
    static constexpr int value = N * factorial::value;
  };

template
  struct factorial {
    static constexpr int value = 1;
  };

static_assert(factorial::value == 120, "compile-time check");

说明：通过类模板递归展开 + 全特化终止，编译器在实例化 factorial 时就推导出常量值 120。注意 C++14 起推荐用变量模板简化写法：

立即学习“C++免费学习笔记（深入）”；

template
  constexpr int factorial_v = N * factorial_v;
template
  constexpr int factorial_v = 1;

类型计算与 trait 构建技巧

编译期类型判断、提取、转换是 TMP 的高频用途。例如实现一个只对指针类型启用的函数：

• 用 std::is_pointer_v<t></t> 判断类型属性（C++17 变量模板）
• 配合 std::enable_if_t 做 SFINAE 约束（C++14）：

template
  std::enable_if_t<:is_pointer_v>, int>
  process_ptr(T p) { return static_cast(reinterpret_cast(p)); }

更现代写法（C++20）可用 requires 约束：

template
  int process_ptr(T p) requires std::is_pointer_v { /* ... */ }

标签： 工具 ai c++ 标准库