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

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

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

2025-12-16

浏览次数：次

返回列表

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

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

非类型模板参数是 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); // 编译期算出结果

指针/引用非类型参数：绑定编译期地址

可用于将全局对象、函数地址、字符串字面量地址等“固化”进模板实例：

Python精要参考 pdf版

这本书给出了一份关于python这门优美语言的精要的参考。作者通过一个完整而清晰的入门指引将你带入python的乐园，随后在语法、类型和对象、运算符与表达式、控制流函数与函数编程、类及面向对象编程、模块和包、输入输出、执行环境等多方面给出了详尽的讲解。如果你想加入 python的世界，D*id M beazley的这本书可不要错过哦。 (封面是最新英文版的,中文版貌似只译到第二版)

9 查看详情 Python精要参考 pdf版

template<const char* S>
struct StringLiteral {
    static constexpr const char* value = S;
};
<p>// OK：字符串字面量地址是编译期常量
using Hello = StringLiteral<"hello">;

注意：S 必须指向具有静态存储期的对象（如字面量、全局变量）。局部变量地址不可用。

函数指针也行：

void foo() {}
template<void (*F)()>
struct Caller { static void call() { F(); } };
Caller<foo>::call(); // 编译期绑定，无虚调用开销

和类型参数一起用：泛型 + 定制化

非类型参数常与类型参数组合，实现更精细的泛型设计：

template<typename T, size_t N>
class Stack {
    T data[N];
    size_t top = 0;
public:
    constexpr bool push(const T& x) { 
        if (top < N) { data[top++] = x; return true; } 
        return false; 
    }
};

这里 T 决定元素类型，N 决定容量 —— 两者共同定义一个具体栈类型，如 Stack<int></int> 和 Stack<double></double> 互不相关，各自独立编译，无运行时分支或动态分配。