std::array作为函数模板参数时类型推导失败，因编译器无法自动推导非类型模板参数n；正确写法是显式声明template并传入const std::array&引用。
std::array 作为函数模板参数时，类型推导失败的常见原因
直接把 std::array 当作函数模板参数传入，编译器往往推不出 T 和 N —— 因为它是带两个非类型模板参数的类模板（std::array<t n></t>），而普通函数模板形如 template<typename t> void f(T)</typename> 只能推导类型，无法自动拆解出 N 这个整型非类型参数。
典型报错是：could not deduce template argument for 'std::array' 或推导出错（比如把 std::array<int></int> 错误推成 std::array<int></int>）。
- 根本问题：C++17 之前，函数模板不支持对非类型模板参数（如数组长度
N）做自动推导 - C++17 引入了「类模板参数推导（CTAD）」，但仅作用于构造函数，不影响函数模板调用时的参数推导
- 所以你写
foo(arr)，哪怕arr是std::array<int></int>，foo的模板声明若没显式暴露N，就卡住
正确写法：显式声明两个模板参数（T 和 N）
最稳妥、兼容所有 C++ 标准（C++11 起）的方式，是让函数模板同时接受元素类型 T 和长度 N：
template<typename t std::size_t n>
void process(const std::array<t n>& arr) {
// 可安全使用 arr.size(), arr[0], for-range 等
}</t></typename>
调用时完全无需指定模板实参，编译器能从实参完整推导出两者：
-
std::array<double> a = {1.1, 2.2, 3.3}; process(a);</double>→ 推出T=double,N=5 - 即使数组未初始化或只部分初始化，只要类型匹配，推导仍成立
- 注意：必须用
const std::array<t n>&</t>或std::array<t n>&</t>引用，避免值传递触发拷贝（std::array拷贝开销取决于T，且无移动语义优化）
想只写一个模板参数？用 auto + C++20 概念约束
C++20 起可以用 auto 参数配合 std::ranges::range 或自定义概念，绕过显式写 N，但代价是失去长度信息：
template<:ranges::range r>
void process(R&& r) {
// r.size() 不一定可用（比如 std::vector 有，但普通数组没有）
// 无法在编译期知道元素个数，不能做栈上固定大小操作
}</:ranges::range>
更实用的是结合 std::is_array_v 或专用概念（需自己定义）来限定为 std::array：
- 例如用
requires std::is_same_v<:remove_cvref_t>, std::array<...>></...></:remove_cvref_t>—— 但这样又得展开...，不如第一种直接 - 真正省事的场景极少；多数需要
N的地方（比如展开循环、SFINAE 分支、constexpr 计算），还是得显式暴露N
容易忽略的坑：N 是非类型模板参数，不能是变量
下面这段代码是非法的：
int n = 3; std::array<int n> arr; // ❌ 编译错误：n 不是常量表达式</int>
因此，函数模板里出现的 N 必须来自编译期已知长度——也就是实参 std::array 的模板参数本身。这意味着：
- 你不能把运行时读入的长度塞进
std::array模板参数中 - 如果上游数据长度不确定，别硬套
std::array；改用std::vector或指针+长度对（T*+size_t）更实际 - 模板参数
N的类型是std::size_t，不是int，写错会导致匹配失败（比如误写template<typename t int n></typename>）
最常被忽略的一点：当你在模板内部对 N 做 constexpr 计算（比如 static_assert(N > 0)），确保所有调用点的 N 真的是字面量或 constexpr 表达式——否则 SFINAE 或 static_assert 会直接让整个重载失效或报错。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
