非类型模板参数允许在编译时传入值,提升性能与灵活性。通过整数、布尔、指针等参数,实现编译期计算(如阶乘)、固定大小容器(如Array)、条件编译日志(Logger)及回调绑定(Task),结合constexpr与if constexpr优化代码生成,避免运行时开销。C++20前限制浮点与字符串,要求常量表达式,C++20起支持字面量类类型,增强元编程能力。

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










