为什么C＆＃x2B;＆＃x2B;模板阵列长度扣除需要像“ f（t（＆amp; a）[n]”？

Question

使用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 。我的问题是关于语法的。

在长度的声明中，为什么该参数应该像（＆amp; 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'

为什么需要额外的＆amp; < / code>以及围绕数组标识符的一对括号，在此背后的模板规则 /语法规则是什么？

感谢详细的解释。

Answer 1

在此函数声明中，

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){ return N; }

另一方面，此调用中用作参数表达式的数组

length(fd)

被隐式转换为指向其第一个元素的指针。

因此，编译器无法推断模板非类型参数N的值。

当将参数声明为参考时，则不会发生这种调整和隐式转换。该参考用作数组的别名。

请注意，使用C函数 printf 您需要使用转换说明器 zu 而不是<<而不是 size_t size_t size_t size_t size_t ，请注意这一点代码> lld 。