为什么 C++ 模板数组长度推导需要像 “f（T （&a）[N]” ？

问：

使用 C++ 模板知道 C 样式数组的长度，我们需要这个：

#include<stdio.h>
template<class T,size_t N>
size_t length(T (&a)[N]){ return N; }
int main() {
    int fd[2];
    printf("%lld\n", length(fd));;
    return 0;
}

它有效，打印.我的问题是关于语法的。2

在 的声明中，为什么参数应该像 一样，而不起作用？length(&a)[N]a[N]

如果我更改为

template<class T,size_t N>
size_t length(T a[N]){ return N; }

GCC会说：

template argument deduction/substitution failed:
couldn't deduce template parameter 'N'

为什么这里需要一个额外的数组标识符和一对大括号，这背后的模板规则/语法规则是什么？&

欣赏详细的解释。