模板结合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 新特性，可以实现强大的编译期计算能力，提升性能并减少运行时开销。
