非类型模板参数是在编译时传入的值，如整数、指针等，用于在编译期确定数组大小、缓冲区尺寸等，提升性能。
在C++中，函数模板不仅可以使用类型模板参数，还可以结合非类型模板参数（non-type template parameters）来实现更灵活和高效的代码。非类型模板参数允许你在编译时传入值（如整数、指针、引用等），从而让模板根据这些固定值生成特定的代码。
什么是非类型模板参数
非类型模板参数是模板参数的一种，它不是类型，而是一个在编译时已知的值。常见类型包括：
整型（int, size_t, char 等） 指针或引用（指向函数或对象） std::nullptr_t 浮点类型（C++20 起支持）
例如：
template
void print_array_size(int (&arr)[N]) {
std::cout }
函数模板与非类型参数的结合使用
将非类型参数用于函数模板，可以在编译期决定行为，提升性能并减少运行时开销。
立即学习“C++免费学习笔记（深入）”；
示例1：编译期数组操作
template
void fill_array(T (&arr)[N], const T& value) {
for (size_t i = 0; i arr[i] = value;
}
}
这里 T 是类型参数，N 是非类型参数。编译器会为每个不同大小的数组生成独立版本，便于优化循环展开。
示例2：固定大小缓冲区处理
template
void process_data() {
char buffer[BufferSize];
// 根据 BufferSize 做不同处理
if constexpr (BufferSize > 1024) {
std::cout } else {
std::cout }
}
利用 if constexpr 结合非类型参数，可在编译期裁剪代码路径。
限制与注意事项
使用非类型模板参数时需注意以下几点：
参数必须在编译时确定，不能是变量（除非用 constexpr） 浮点数作为非类型参数需 C++20 支持 字符串字面量或动态地址不能作为模板参数 模板实例化会为每个不同的非类型值生成新函数，可能增加代码体积
例如，下面的写法是非法的：
int n = 5;
// 错误：n 不是编译期常量
// func();
实用场景
这类技术常用于：
静态数组封装 编译期配置（如缓冲区大小、重试次数） 策略模式中的编译期选择 高性能计算中循环展开控制
基本上就这些。合理使用函数模板结合非类型参数，可以写出既通用又高效的代码。关键是理解编译期与运行期的区别，以及模板实例化的机制。
以上就是C++函数模板与非类型模板参数结合的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1475727.html
微信扫一扫 
支付宝扫一扫 
