C++标准从未支持可变长度数组（VLA），std::array和原生数组均要求长度为编译期常量；应使用std::vector或std::span处理运行时长度数据，模板无法接收真正的VLA。
可变长度数组不能作为模板参数
直接说结论：std::array 和原生 C 风格数组（如 int[N]）都要求长度是编译期常量，而“可变长度数组”（VLA）本身是 C99 扩展、C++ 标准根本不支持——所以你没法用多参数模板“接收”一个真正的 VLA。
常见错误现象是写类似 template<typename t size_t n> void f(T (&arr)[N])</typename>，然后传入 int arr[n];（n 是运行时变量），这时编译器会报错：error: array bound is not an integer constant。
真正能用的只有以下两类：
-
std::array<t n></t>：N必须是字面量常量表达式（如42、sizeof(int)），模板能推导N - 原生数组引用（
T(&)[N]）：只接受编译期确定大小的栈数组，不接受new int[n]或函数形参里声明的int arr[]
想传运行时长度的数据，该用什么
如果你要的是“调用时长度不确定、但希望模板能适配不同长度”，实际需求几乎总是：用 std::vector 或 std::span（C++20）。
立即学习“C++免费学习笔记（深入）”；
std::vector 是最通用解法，模板可按值或引用接收：
template<typename T>
void process(const std::vector<T>& v) {
// v.size() 是运行时值，但模板参数 T 仍可推导
}std::span 更轻量，适合只读/非拥有场景（且避免拷贝）：
template<typename T>
void process(std::span<const T> s) {
// s.size() 同样是运行时，但模板不依赖长度作为参数
}注意：std::span 不能从裸指针 + 长度自动构造（除非显式写 std::span{ptr, len}），也不能从 std::vector 隐式转换（需 vec 成员函数或构造）。
强行用模板参数传长度？只适用于编译期已知场景
如果长度确实在编译期可知（比如模板实例化时就固定了），多参数模板完全可用：
template<typename T, size_t N>
void print_array(const T (&arr)[N]) {
for (size_t i = 0; i < N; ++i) std::cout << arr[i] << ' ';
}调用必须满足长度是常量表达式：
- ✅
int a[5] = {}; print_array(a);—— 推导出T=int, N=5 - ✅
std::array<double, 3> b; print_array(b.data()); - ❌
int n = 5; int c[n]; print_array(c);——n不是常量表达式，失败
性能上无额外开销，N 完全在编译期折叠；但和“可变长度”毫无关系，只是语法上看起来像“多参数”而已。
为什么不用 auto&& + range-based for 解决多数问题
大多数所谓“需要多参数模板处理数组”的场景，其实只需要泛型迭代：
template<typename Rng>
void iterate(Rng&& r) {
for (auto&& x : r) { /* ... */ }
}这个签名能接受：std::vector、std::array、C 风格数组（int[10]）、std::span、甚至自定义容器，只要支持 begin()/end()。
它绕开了所有长度参数、内存布局、所有权问题，也避免了用户误传 VLA 导致的编译失败。真正难处理的从来不是“怎么写模板”，而是“怎么让调用方不传非法输入”——而用范围抽象后，非法输入根本进不来。
容易被忽略的一点：C 风格数组退化为指针后，begin()/end() 无法工作；所以传之前得包一层 std::span 或用 std::array 替代原始数组。
