非类型模板参数允许在编译时传入值，提升性能与灵活性。通过整数、布尔、指针等参数，实现编译期计算（如阶乘）、固定大小容器（如Array<double, 10>）、条件编译日志（Logger<true>）及回调绑定（Task<default_handler>），结合constexpr与if constexpr优化代码生成，避免运行时开销。C++20前限制浮点与字符串，要求常量表达式，C++20起支持字面量类类型，增强元编程能力。
非类型模板参数（Non-Type Template Parameters, NTTP）允许你在编译时将值作为模板参数传入，这些值可以是整数、指针、引用、枚举值等。与类型模板参数不同，NTTP 不是类型，而是具体的值。这种机制让 C++ 模板更灵活，能实现高效的静态多态和编译期计算。
提高性能：编译期确定大小或行为
NTTP 常用于在编译期固定容器大小或配置行为，避免运行时开销。
例如，定义一个固定大小的数组：
template <typename T, int N>
class Array {
T data[N];
public:
constexpr int size() const { return N; }
T& operator[](int i) { return data[i]; }
};
使用方式：
立即学习“C++免费学习笔记（深入）”；
Array<double, 10> arr; // 编译期确定大小为10
这里 N 是非类型参数，编译器为每个不同的 N 生成独立类型，无需动态分配内存，性能高且安全。
实现编译期计算和元编程
NTTP 可结合 constexpr 和模板递归，在编译期完成计算。
比如计算阶乘：
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>调用 Factorial<5>::value 在编译期得到 120，不产生运行时代价。
控制类或函数的行为开关
用布尔值作为 NTTP，可以在编译期启用或关闭某些功能。
template <bool DebugMode>
class Logger {
public:
void log(const char* msg) {
if constexpr (DebugMode) {
printf("Debug: %s\n", msg);
}
}
};
实例化：
Logger<true> debug_logger; // 输出日志 Logger<false> release_logger; // 无输出，代码被优化掉
if constexpr 结合 NTTP 能精准控制代码生成，适合配置不同构建模式。
传递函数或变量地址
NTTP 支持指针和引用，可用于绑定全局函数或变量。
例如，包装一个回调函数：
void default_handler() { /* ... */ }
<p>template <void(*Handler)()>
class Task {
public:
void run() { Handler(); }
};</p>使用：
Task<default_handler> task; task.run(); // 调用 default_handler
这种方式避免函数指针调用开销，编译器可内联展开。
基本上就这些。NTTP 的核心价值在于把“值”变成模板的一部分，让编译器生成更高效、更定制化的代码。只要值能在编译期确定，就可以作为非类型模板参数使用。注意限制：浮点数、字符串字面量（C++20 前）不能作为 NTTP，且参数必须是常量表达式。C++20 开始支持字面量类类型的 NTTP，进一步扩展了能力。
