template void f(t&)无法推导数组引用，因数组名传参时隐式转指针导致t被推为指针而非数组类型；正确方式是用t(&arr)[n]或std::array。
为什么 template<typename t> void f(T&)</typename> 无法推导数组引用
因为 C++ 模板参数类型推导时，T& 对数组类型会退化为指针——这是标准行为，不是 bug。比如传入 int arr[5]，编译器尝试把 T 推成 int[5]，但此时 T& 就是 int[5]&；而实际传参时，若你没显式写明引用绑定（比如用 arr 直接传），某些上下文会触发数组到指针的隐式转换，导致推导失败或推成 int*，进而使 T 变成 int* 而非 int[5]。
典型错误现象：error: no matching function for call to 'f'，或函数内部 sizeof(T) 返回指针大小而非数组大小。
- 数组名作为实参时，默认是“左值”，但类型推导不自动保留维度信息
-
const T&同样失效——加const不解决维度丢失问题 - 即使写
f<int>(arr)</int>显式指定，也会因语法限制报错：int[5]不是合法的模板实参（缺少 typedef 或别名）
用 std::array 替代原始数组是最稳妥的选择
std::array 是类型安全、可推导、支持拷贝/移动的容器，它的模板参数包含元素类型和长度，天然适配模板推导。
示例：
template<typename t size_t n>
void f(const std::array<t n>& arr) {
static_assert(N == 5); // 编译期可检查长度
}</t></typename>
调用 f(my_arr)（其中 my_arr 是 std::array<int></int>）能完美推导出 T=int, N=5。
- 无需额外
typedef，长度参与类型系统 - 兼容 STL 算法，内存布局与原始数组一致（无堆分配）
- 注意：不能用它直接绑定原始 C 风格数组，如
f(arr)（int[5]）会编译失败——必须先构造或转型
坚持用原始数组？必须显式写出维度模板参数
原始数组引用的唯一可靠推导方式，是让模板参数直接接收数组类型，即把维度作为非类型模板参数暴露出来：
template<typename t size_t n>
void f(T (&arr)[N]) {
// 此时 arr 是 int[5]&，N=5，T=int
}</typename>
这个签名能正确捕获数组长度，且只接受左值数组（拒绝指针或右值）。
- 不能写成
T& arr[N]或T arr[N]——前者语法非法，后者退化为指针 - 如果想同时支持
const数组，需重载或使用const T (&arr)[N] - 对多维数组（如
int a[3][4]），要写成template<size_t m size_t n> void f(int (&arr)[M][N])</size_t>，不能靠T自动套两层
万不得已用指针 + 长度参数，但失去类型安全
如果接口已固定、无法改模板签名，或需兼容 C API，就放弃推导，显式传长度：
template<typename t>
void f(T* ptr, size_t n) {
// 手动保证 ptr 指向至少 n 个 T
}</typename>
调用时写 f(arr, std::size(arr))（C++17 起）或 f(arr, 5)。
- 完全绕过类型推导问题，但丧失编译期长度检查
- 容易误传错长度，尤其在指针来自计算或转换时（如
&arr[2]） - 若原意是只读访问，记得加
const T*并在文档里强调长度含义
最易被忽略的一点：数组引用模板推导失败，往往不是因为你写错了，而是你在用 C 风格数组的同时，又期待现代 C++ 的类型推导能力——这两者天然是冲突的。要么换 std::array，要么接受显式维度参数，没有中间态能既保持原始数组语法又获得完整类型信息。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
