c++中的非类型模板参数（NTTP）有什么用_c++中非类型模板参数(NTTP)使用指南

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

非类型模板参数（Non-Type Template Parameters, NTTP）允许你在编译时将值作为模板参数传入，这些值可以是整数、指针、引用、枚举值等。与类型模板参数不同，NTTP 不是类型，而是具体的值。这种机制让 C++ 模板更灵活，能实现高效的静态多态和编译期计算。

提高性能：编译期确定大小或行为

NTTP 常用于在编译期固定容器大小或配置行为，避免运行时开销。

例如，定义一个固定大小的数组：

template 
class Array {
    T data[N];
public:
    constexpr int size() const { return N; }
    T& operator[](int i) { return data[i]; }
};

使用方式：

Array arr; // 编译期确定大小为10

这里 N 是非类型参数，编译器为每个不同的 N 生成独立类型，无需动态分配内存，性能高且安全。

实现编译期计算和元编程

NTTP 可结合 constexpr 和模板递归，在编译期完成计算。

比如计算阶乘：

template 
struct Factorial {
    static constexpr int value = N * Factorial::value;
};
template <>
struct Factorial<0> {
static constexpr int value = 1;
};

调用 Factorial::value 在编译期得到 120，不产生运行时代价。

控制类或函数的行为开关

用布尔值作为 NTTP，可以在编译期启用或关闭某些功能。

template 
class Logger {
public:
    void log(const char* msg) {
        if constexpr (DebugMode) {
            printf("Debug: %s\n", msg);
        }
    }
};

实例化：

Logger  debug_logger;  // 输出日志
Logger release_logger; // 无输出，代码被优化掉

if constexpr 结合 NTTP 能精准控制代码生成，适合配置不同构建模式。

传递函数或变量地址

NTTP 支持指针和引用，可用于绑定全局函数或变量。

例如，包装一个回调函数：

void default_handler() { /* ... */ }
template 
class Task {
public:
void run() { Handler(); }
};

使用：

Task task;
task.run(); // 调用 default_handler

这种方式避免函数指针调用开销，编译器可内联展开。

基本上就这些。NTTP 的核心价值在于把“值”变成模板的一部分，让编译器生成更高效、更定制化的代码。只要值能在编译期确定，就可以作为非类型模板参数使用。注意限制：浮点数、字符串字面量（C++20 前）不能作为 NTTP，且参数必须是常量表达式。C++20 开始支持字面量类类型的 NTTP，进一步扩展了能力。