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

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

穿越時空

发布： 2025-12-16 17:59:18

原创

163人浏览过

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

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

模板元编程（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 { /* ... */ }

Gaga

曹越团队开发的AI视频生成工具

1151

查看详情

自定义 trait 示例：提取容器的 value_type（忽略 const/volatile/引用修饰）：

template
struct remove_cvref { using type = std::remove_cv_t<:remove_reference_t>>; };

template
using container_value_t = typename Container::value_type;

constexpr 函数与编译期容器雏形

C++14 起 constexpr 函数支持循环、局部变量、条件分支，使编译期逻辑更接近运行时风格：

constexpr int fib(int n) {
if (n return fib(n-1) + fib(n-2);
}
static_assert(fib(10) == 55);

结合字面量类型（literal type），可构造编译期数组：

template
  struct array {
    int data[N];
    constexpr array(std::initializer_list il) : data{} {
      size_t i = 0;
      for (auto x : il) if (i     }
  };

constexpr auto arr = array{1, 2, 3}; // 编译期构造