模板结合constexpr、consteval和非类型模板参数可实现编译期计算。1. constexpr模板函数支持编译期求值；2. 非类型模板参数需常量表达式，用于如Factorial等元编程；3. C++20 consteval强制编译期执行；4. NTTP扩展至浮点和字面类型；5. 类模板中constexpr成员支持零开销抽象。组合使用提升性能。
在C++中，模板与常量表达式结合使用可以实现编译期计算和类型安全的优化。要让模板支持常量表达式，主要依赖 constexpr、consteval（C++20）以及非类型模板参数（NTTP）等机制。
使用 constexpr 在模板中定义常量表达式函数
你可以编写一个模板函数，并将其标记为 constexpr，这样它就可以在编译期求值，前提是传入的参数是常量表达式。
templateconstexpr T square(T x) { return x * x; } // 编译期使用 constexpr int val = square(5); // OK: 编译期计算
这个函数对任意支持乘法运算的类型都有效，只要调用时参数是常量表达式，就能在编译期完成计算。
非类型模板参数中的常量表达式
C++允许将整数、指针、浮点数（C++20起）等作为模板参数，这些参数必须是常量表达式。
立即学习“C++免费学习笔记（深入）”；
templatestruct Factorial { static constexpr int value = N * Factorial ::value; }; template <> struct Factorial<0> { static constexpr int value = 1; };
// 使用 constexpr int fact5 = Factorial<5>::value; // 编译期计算 120
这种递归模板结构利用了编译期已知的整型模板参数，实现了编译期阶乘计算。
C++20 的 consteval 和更灵活的 NTTP
C++20 引入了 consteval，确保函数只能在编译期求值，可用于模板中强制编译期执行。
【极品模板】出品的一款功能强大、安全性高、调用简单、扩展灵活的响应式多语言企业网站管理系统。 产品主要功能如下： 01、支持多语言扩展（独立内容表，可一键复制中文版数据） 02、支持一键修改后台路径； 03、杜绝常见弱口令，内置多种参数过滤、有效防范常见XSS； 04、支持文件分片上传功能，实现大文件轻松上传； 05、支持一键获取微信公众号文章（保存文章的图片到本地服务器）； 06、支持一键
consteval int compile_time_square(int x) {
return x * x;
}
template
constexpr int squared = compile_time_square(N);
此外，C++20 支持浮点数和类类型作为非类型模板参数（需满足字面类型要求），进一步扩展了常量表达式的使用场景。
在类模板中使用 constexpr 成员
类模板可以包含 constexpr 静态成员或成员函数，便于编译期计算。
templateclass Buffer { public: static constexpr int size_squared() { return Size * Size; } }; constexpr int buf_size = Buffer<4>::size_squared(); // 16
这种方式适合构建配置化、零开销的抽象，比如固定尺寸容器的元信息计算。
基本上就这些。通过组合模板与 constexpr、非类型模板参数和 C++20 新特性，可以实现强大的编译期计算能力，提升性能并减少运行时开销。
