模板结合constexpr、consteval和非类型模板参数可实现编译期计算。1. constexpr模板函数支持编译期求值；2. 非类型模板参数需常量表达式，用于如Factorial等元编程；3. C++20 consteval强制编译期执行；4. NTTP扩展至浮点和字面类型；5. 类模板中constexpr成员支持零开销抽象。组合使用提升性能。
在C++中，模板与常量表达式结合使用可以实现编译期计算和类型安全的优化。要让模板支持常量表达式，主要依赖 constexpr、consteval（C++20）以及非类型模板参数（NTTP）等机制。
使用 constexpr 在模板中定义常量表达式函数
你可以编写一个模板函数，并将其标记为 constexpr，这样它就可以在编译期求值，前提是传入的参数是常量表达式。
template <typename T> constexpr T square(T x) { return x * x; } <p>// 编译期使用 constexpr int val = square(5); // OK: 编译期计算</p>
这个函数对任意支持乘法运算的类型都有效，只要调用时参数是常量表达式，就能在编译期完成计算。
非类型模板参数中的常量表达式
C++允许将整数、指针、浮点数（C++20起）等作为模板参数，这些参数必须是常量表达式。
立即学习“C++免费学习笔记（深入）”；
template <int N> struct Factorial { static constexpr int value = N * Factorial<N - 1>::value; }; <p>template <> struct Factorial<0> { static constexpr int value = 1; };</p><p>// 使用 constexpr int fact5 = Factorial<5>::value; // 编译期计算 120</p>
这种递归模板结构利用了编译期已知的整型模板参数，实现了编译期阶乘计算。
C++20 的 consteval 和更灵活的 NTTP
C++20 引入了 consteval，确保函数只能在编译期求值，可用于模板中强制编译期执行。
consteval int compile_time_square(int x) { return x * x; } <p>template <int N> constexpr int squared = compile_time_square(N);</p>
此外，C++20 支持浮点数和类类型作为非类型模板参数（需满足字面类型要求），进一步扩展了常量表达式的使用场景。
在类模板中使用 constexpr 成员
类模板可以包含 constexpr 静态成员或成员函数，便于编译期计算。
template <int Size> class Buffer { public: static constexpr int size_squared() { return Size * Size; } }; <p>constexpr int buf_size = Buffer<4>::size_squared(); // 16</p>
这种方式适合构建配置化、零开销的抽象，比如固定尺寸容器的元信息计算。
基本上就这些。通过组合模板与 constexpr、非类型模板参数和 C++20 新特性，可以实现强大的编译期计算能力，提升性能并减少运行时开销。