C++模板推导C风格数组长度为何需使用T(&a)[N]语法？

核心根源：数组作为函数形参的默认退化规则 #

这是从C语言继承来的历史规则：当数组以值传递的方式作为函数形参时，编译器会自动将数组类型调整为指向数组首元素的指针类型，数组本身携带的长度信息会在这个调整过程中完全丢失。
也就是说，如果你把形参写成T a[N]的形式，编译器实际处理函数签名时，会把它等价替换为T* a，形参本质是个指针，和模板参数N没有任何绑定关系。模板推导时根本找不到和N匹配的类型信息，自然会抛出“无法推导模板参数N”的编译错误。
以下两个函数声明在C++中是完全等价的，长度信息会被直接忽略：

void func(int arr[10]);
void func(int* arr); // 编译器实际处理的签名

引用符&的作用：阻断数组退化 #

要让模板拿到数组的长度信息，首先要避免数组传参时退化为指针，而数组的引用不会触发退化规则：当形参是数组的引用时，引用绑定的是原数组对象本身，而不是数组首元素的指针，数组的类型、长度信息都会被完整保留。
这里要注意一个容易踩的声明优先级坑：C声明语法中，数组下标运算符[]的优先级高于引用符&，如果直接写T &a[N]，编译器会把它解析为「存储T类型引用的数组」，而C从语法层面就不允许定义元素为引用的数组，属于非法写法。

括号的作用：明确声明优先级 #

这就是为什么必须给&a加一层括号，写成T (&a)[N]的形式：括号强制改变了声明的结合顺序，让整个声明的语义变成a是一个引用，它引用的对象是长度为N、元素类型为T的数组。
这个时候形参的类型是实打实的数组引用，不存在指针调整，当你把C风格数组传入函数时，模板推导会自动完成两个匹配：

• 模板参数T匹配数组的元素类型
• 模板参数size_t N匹配数组的编译期固定长度
  比如你传入类型为int[2]的fd数组，编译器会自动推导出T=int、N=2，函数直接返回编译期常量N就能拿到数组长度，没有任何运行时开销。

常见错误写法对比 #

// 错误1：无引用，形参退化为T*，N无推导依据
template<class T,size_t N>
size_t length(T a[N]){ return N; }

// 错误2：漏写括号，语义为引用数组，C++语法本身不允许
template<class T,size_t N>
size_t length(T &a[N]){ return N; }

// 正确写法：数组引用，保留数组完整类型和长度信息
template<class T,size_t N>
size_t length(T (&a)[N]){ return N; }

内容的提问来源于stack exchange，提问作者gongliming7