c++++模板参数分为类型参数和非类型参数。类型参数用于抽象数据类型，使模板能接受不同类型的输入，适用于变量类型、返回值或通用容器；非类型参数传递具体值，必须是编译时常量表达式，如整型、指针或引用，c++17支持auto推导，c++20部分支持浮点数。两者关键区别在于类型参数影响实例化类型，而非类型参数影响行为或大小且需编译期确定。使用时优先选类型参数，若需编译期数值则用非类型参数，并注意其限制与生命周期问题。
C++模板参数的类型可以分为两大类：类型参数（type parameters）和非类型参数（non-type parameters）。理解它们的区别和使用场景，能帮助我们写出更灵活、高效的泛型代码。
类型参数：用于抽象数据类型
类型参数是我们最常见的一种模板参数形式，它的作用是让模板能够接受不同的数据类型作为输入，从而实现通用逻辑。
比如：
立即学习“C++免费学习笔记（深入）”；
template<typename T> class Vector { // ... };
这里的 T 就是一个类型参数，你可以用 int、double、自定义类等任何合法类型来实例化这个模板。
常见使用方式包括：
- 用作变量类型
- 作为函数返回值或参数类型
- 构造通用容器或算法
需要注意的是，类型参数不能是某些特殊类型，例如带有特定限定符的数组、引用等，除非在模板内部做了特殊处理。
非类型参数：传递具体值而非类型
非类型参数允许我们将具体的值作为模板参数传入。这些值必须是编译时常量表达式。
例如：
template<int N> class Array { int data[N]; };
在这个例子中，N 是一个非类型参数，表示数组的大小。这样可以在编译时就确定数组长度，避免运行时动态分配带来的性能开销。
常见支持的非类型参数包括：
但要注意，并不是所有类型的值都能作为非类型参数使用。例如浮点数就不被允许，直到 C++20 才开始部分支持。
类型参数 vs 非类型参数：关键区别
| 对比项 | 类型参数 | 非类型参数 |
|---|---|---|
| 表示内容 | 数据类型 | 具体值 |
| 实例化影响 | 生成不同类型的类或函数 | 通常不改变结构，只影响行为或大小 |
| 编译期要求 | 无特别限制 | 必须是常量表达式 |
| 灵活性 | 更高，适用于多种类型 | 适合固定模式下的变化 |
举个例子，当你想写一个通用的排序函数，类型参数更适合；而如果你要定义一个固定大小的数组类，非类型参数会更合适。
使用建议与注意事项
- 优先使用类型参数，除非你确实需要在编译期决定某些具体数值。
- 注意非类型参数的值必须在编译时已知，否则无法通过编译。
- 使用非类型参数时，尽量避免复杂的类型，比如指针或引用，除非你清楚其生命周期和绑定关系。
- C++20 中引入了 consteval 和 constinit 等特性，使得非类型参数的使用更加灵活，但也增加了理解成本。
基本上就这些。掌握这两类模板参数的用法，能让你在写模板代码时更有底气。
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
