c++中的非类型模板参数是什么_c++编译期整数与类型【泛型】

admin 百科 2025-12-16 15

非类型模板参数是编译期可确定的常量值，如整数、指针、引用、枚举等，用于触发编译期计算、数组大小推导和特化选择；C++20起支持浮点数字面量和字面量类类型。

c++中的非类型模板参数是什么_c++编译期整数与类型【泛型】-第1张图片-佛山资讯网

非类型模板参数是 C++ 模板机制中一类特殊的模板参数，它不接收类型（如 typename T），而是直接接收**编译期可确定的常量值**，比如整数、指针、引用、枚举值等。它的核心价值在于：让模板在编译期就能“看到”具体数值，从而触发编译期计算、数组大小推导、特化选择、甚至实现零开销抽象。

哪些值能当非类型模板参数？

必须是编译期常量，且满足“常量表达式”（constexpr）要求。常见合法类型包括：

整型（int、size_t、long long 等）——最常用
枚举类型（有作用域或无作用域）
指向对象或函数的指针（含 nullptr）
左值引用（到对象或函数）
std::nullptr_t（C++11 起）
浮点数（C++20 起支持，但需字面量形式，如 3.14）

⚠️ 注意：不能是浮点变量、字符串字面量（如 "abc"）、类类型对象（即使 constexpr 构造也不行，C++20 前）。C++20 开始放宽限制，允许某些字面量类类型作为非类型模板参数（需满足严格条件）。

整数非类型参数：编译期尺寸与策略控制

这是最典型用法，例如固定大小数组、缓冲区长度、算法展开深度：

立即学习“C++免费学习笔记（深入）”；

template<size_t N>
struct FixedString {
    char data[N + 1]; // 编译期知道 N，可静态分配
    constexpr FixedString(const char (&s)[N+1]) {
        for (size_t i = 0; i < N; ++i) data[i] = s[i];
        data[N] = '\0';
    }
};

登录后复制

调用时写 FixedString s{"hello"};，N 不是运行时变量，而是模板实参，参与类型系统 —— FixedString 和 FixedString 是两个完全不同的类型。

再比如控制循环展开：

template<int N>
constexpr int factorial() {
    if constexpr (N <= 1) return 1;
    else return N * factorial<N-1>();
}
static_assert(factorial<4>() == 24); // 编译期算出结果

登录后复制